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

Solved bug for AbstractCurry output

parent 11ebd068
......@@ -167,14 +167,14 @@ checkModule :: Options -> CompilerEnv -> CS.Module -> (CompilerEnv, CS.Module)
checkModule opts env mdl = qualEnv
$ uncurry exportCheck
$ uncurry qual
$ (if withFlat then uncurry typeCheck else id)
$ (if withTypeCheck then uncurry typeCheck else id)
$ uncurry precCheck
$ uncurry (syntaxCheck opts)
$ kindCheck env mdl
qualEnv (e, m) = (qualifyEnv opts e, m)
withFlat = any (`elem` optTargetTypes opts)
[FlatCurry, FlatXml, ExtendedFlatCurry]
withTypeCheck = any (`elem` optTargetTypes opts)
[FlatCurry, ExtendedFlatCurry, FlatXml, AbstractCurry]
-- ---------------------------------------------------------------------------
-- Translating a module
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