Commit d688c189 authored by Björn Peemöller 's avatar Björn Peemöller
Browse files

Compiler option renamed

parent 765daba1
......@@ -105,7 +105,7 @@ data DumpLevel
| DumpSyntaxChecked -- ^ dump source code after syntax checking
| DumpPrecChecked -- ^ dump source code after precedence checking
| DumpTypeChecked -- ^ dump source code after type checking
| DumpRenamed -- ^ dump source after renaming
| DumpQualified -- ^ dump source after qualification
| DumpDesugared -- ^ dump source after desugaring
| DumpSimplified -- ^ dump source after simplification
| DumpLifted -- ^ dump source after lambda-lifting
......@@ -119,7 +119,7 @@ dumpLevel = [ (DumpParsed , "parsed", "parse tree" )
, (DumpSyntaxChecked, "sc" , "syntax checker output" )
, (DumpPrecChecked , "pc" , "precedence checker output")
, (DumpTypeChecked , "tc" , "type checker output" )
, (DumpRenamed , "rn" , "renamer output" )
, (DumpQualified , "qual" , "qualifier output" )
, (DumpDesugared , "ds" , "desugarer output" )
, (DumpSimplified , "simpl" , "simplifier output" )
, (DumpLifted , "lifted", "lifting output" )
......
......@@ -183,7 +183,7 @@ checkModule opts (env, mdl) = do
, (DumpSyntaxChecked, env2, CS.showModule sc)
, (DumpPrecChecked , env3, CS.showModule pc)
, (DumpTypeChecked , env4, CS.showModule tc)
, (DumpRenamed , env5, CS.showModule ql)
, (DumpQualified , env5, CS.showModule ql)
]
return (env5, ql, dumps)
where
......
Markdown is supported
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