Skip to content

Couldn't match expected type 'BrickEvent n e0' #69

@tgrosinger

Description

@tgrosinger

I am working on am arm64 build of hledger-iadd for my hledger-multiarch project. I'm so close to having it compile successfully. It failed at the very end with this error. Please let me know if you have any suggestions.

The command I ran was stack install --allow-different-user hledger-iadd.

brick                            > Registering library for brick-0.73..
hledger-iadd                     > configure
hledger-iadd                     > Configuring hledger-iadd-1.3.17...
hledger-iadd                     > build
hledger-iadd                     > Preprocessing library for hledger-iadd-1.3.17..
hledger-iadd                     > Building library for hledger-iadd-1.3.17..
hledger-iadd                     > [ 1 of 13] Compiling AmountParser
hledger-iadd                     > [ 2 of 13] Compiling Brick.Widgets.BetterDialog
hledger-iadd                     > [ 3 of 13] Compiling Brick.Widgets.Border.Utils
hledger-iadd                     > [ 4 of 13] Compiling Brick.Widgets.Edit.EmacsBindings
hledger-iadd                     >
hledger-iadd                     > /tmp/stack-c805d8744a93ec26/hledger-iadd-1.3.17/src/Brick/Widgets/Edit/EmacsBindings.hs:86:36: error:
hledger-iadd                     >     • Couldn't match expected type ‘BrickEvent n e0’
hledger-iadd                     >                   with actual type ‘Event’
hledger-iadd                     >     • In the first argument of ‘E.handleEditorEvent’, namely ‘event’
hledger-iadd                     >       In a stmt of a 'do' block:
hledger-iadd                     >         newOrig <- E.handleEditorEvent event (edit ^. origEditor)
hledger-iadd                     >       In the expression:
hledger-iadd                     >         do newOrig <- E.handleEditorEvent event (edit ^. origEditor)
hledger-iadd                     >            return $ edit & origEditor .~ newOrig
hledger-iadd                     >     • Relevant bindings include
hledger-iadd                     >         edit :: Editor n
hledger-iadd                     >           (bound at src/Brick/Widgets/Edit/EmacsBindings.hs:71:25)
hledger-iadd                     >         handleEditorEvent :: Event -> Editor n -> EventM n (Editor n)
hledger-iadd                     >           (bound at src/Brick/Widgets/Edit/EmacsBindings.hs:71:1)
hledger-iadd                     >    |
hledger-iadd                     > 86 |     newOrig <- E.handleEditorEvent event (edit^.origEditor)
hledger-iadd                     >    |                                    ^^^^^

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions