Commit 2d3e35d3 authored by Krzysztof Gogolewski's avatar Krzysztof Gogolewski
Browse files

Add a "forall" quantifier before rank-n-types

This is for compatibility with GHC Trac #4426
parent 9a1d72aa
......@@ -40,7 +40,7 @@ data RunTerm = RunTerm {
-- | Operations needed for terminal-style interaction.
data TermOps = TermOps {
getLayout :: IO Layout
, withGetEvent :: CommandMonad m => (m Event -> m a) -> m a
, withGetEvent :: forall m a . CommandMonad m => (m Event -> m a) -> m a
, evalTerm :: forall m . CommandMonad m => EvalTerm m
, saveUnusedKeys :: [Key] -> IO ()
}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment