add missing MonadFail constraint for newer GHC

This commit is contained in:
Krasimir Angelov
2022-08-16 20:06:51 +02:00
parent 6c0e4bc08e
commit 3bdd9dc022

View File

@@ -43,7 +43,7 @@ instance (Monad m,HasPGF m,Fail.MonadFail m) => TypeCheckArg m where
(inferExpr pgf e)
Nothing -> fail "Import a grammar before using this command"
pgfCommands :: HasPGF m => Map.Map String (CommandInfo m)
pgfCommands :: (HasPGF m, MonadFail m) => Map.Map String (CommandInfo m)
pgfCommands = Map.fromList [
("aw", emptyCommandInfo {
longname = "align_words",