Skip to content

Instantly share code, notes, and snippets.

@Cynede
Created May 30, 2018 08:23
Show Gist options
  • Save Cynede/b78c5096e3677b0bc4c23891475270c0 to your computer and use it in GitHub Desktop.
Save Cynede/b78c5096e3677b0bc4c23891475270c0 to your computer and use it in GitHub Desktop.
[ 6 of 11] Compiling Command.REPL ( app/Command/REPL.hs, dist/build/purs/purs-tmp/Command/REPL.dyn_o )
app/Command/REPL.hs:344:28: error:
• No instance for (MonadException
(StateT PSCiState (ReaderT PSCiConfig IO)))
arising from a use of ‘getCommand’
There are instances for similar types:
instance [overlap ok] MonadException m =>
MonadException
(transformers-0.5.2.0:Control.Monad.Trans.State.Strict.StateT s m)
-- Defined in ‘System.Console.Haskeline.MonadException’
• In a stmt of a 'do' block: c <- getCommand
In the expression:
do c <- getCommand
case c of
Left err -> outputStrLn err >> go state
Right Nothing -> go state
Right (Just PasteLines) -> do ...
Right (Just QuitPSCi) -> do ...
Right (Just c') -> handleCommandWithInterrupts state c'
In an equation for ‘go’:
go state
= do c <- getCommand
case c of
Left err -> outputStrLn err >> go state
Right Nothing -> go state
Right (Just PasteLines) -> ...
Right (Just QuitPSCi) -> ...
Right (Just c') -> handleCommandWithInterrupts state c'
|
344 | c <- getCommand
| ^^^^^^^^^^
app/Command/REPL.hs:374:55: error:
• No instance for (MonadTrans InputT) arising from a use of ‘lift’
• In the first argument of ‘withInterrupt’, namely
‘(lift (handleCommand' state cmd))’
In the second argument of ‘handleInterrupt’, namely
‘(withInterrupt (lift (handleCommand' state cmd)))’
In a stmt of a 'do' block:
handleInterrupt
(outputStrLn "Interrupted.")
(withInterrupt (lift (handleCommand' state cmd)))
|
374 | (withInterrupt (lift (handleCommand' state cmd)))
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment