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

Quickfix: Deactivated double desugaring/lifting to make KiCS2 compilable

In principle, these double phases should work without problems,
but they issue the error

"qualBindTopEnv _#case6" failed in function "Env.Value.bindFun"

so further investigation is needed
parent fe8b2606
......@@ -212,13 +212,13 @@ checkModule opts mdl = do
transModule :: Options -> CompEnv CS.Module -> IO (CompEnv IL.Module)
transModule opts mdl = do
desugared <- dumpCS DumpDesugared $ desugar False mdl
desugared <- dumpCS DumpDesugared $ desugar True mdl
simplified <- dumpCS DumpSimplified $ simplify desugared
lifted <- dumpCS DumpLifted $ lift simplified
desugared2 <- dumpCS DumpDesugared $ desugar True lifted
simplified2 <- dumpCS DumpSimplified $ simplify desugared2
lifted2 <- dumpCS DumpLifted $ lift simplified2
il <- dumpIL DumpTranslated $ ilTrans lifted2
-- desugared2 <- dumpCS DumpDesugared $ desugar True lifted
-- simplified2 <- dumpCS DumpSimplified $ simplify desugared2
-- lifted2 <- dumpCS DumpLifted $ lift simplified2
il <- dumpIL DumpTranslated $ ilTrans lifted
ilCaseComp <- dumpIL DumpCaseCompleted $ completeCase il
return ilCaseComp
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