This commit is contained in:
Daniel Gröber 2015-12-27 00:00:43 +01:00
parent 28a0d26fe3
commit bcab7a0395

View File

@ -56,11 +56,11 @@ data GhcModCommands =
| CmdSig FilePath Point
| CmdAuto FilePath Point
| CmdRefine FilePath Point Expr
| CmdTest FilePath
-- interactive-only commands
| CmdMapFile FilePath
| CmdUnmapFile FilePath
| CmdQuit
| CmdTest FilePath
deriving (Show)
commandsSpec :: Parser GhcModCommands