Commit 09ff8e4c authored by Finn Teegen's avatar Finn Teegen
Browse files

Fix generation of type-annotated FlatCurry

Fix #123
parent 38db527e
......@@ -199,9 +199,9 @@ data TargetType
| FlatCurry -- ^ FlatCurry
| AnnotatedFlatCurry -- ^ Annotated FlatCurry
| TypedFlatCurry -- ^ Typed FlatCurry
| AbstractCurry -- ^ AbstractCurry
| UntypedAbstractCurry -- ^ Untyped AbstractCurry
| Html -- ^ HTML documentation
| AbstractCurry -- ^ AbstractCurry
| UntypedAbstractCurry -- ^ Untyped AbstractCurry
| Html -- ^ HTML documentation
| AST -- ^ Abstract-Syntax-Tree after checks
| ShortAST -- ^ Abstract-Syntax-Tree with shortened decls
deriving (Eq, Show)
......
......@@ -105,7 +105,10 @@ compileModule opts m fn = do
((env, il), mdl'') <- transModule opts qmdl'
writeFlat opts env (snd mdl'') il
where
withFlat = any (`elem` optTargetTypes opts) [TypedFlatCurry, FlatCurry]
withFlat = any (`elem` optTargetTypes opts) [ AnnotatedFlatCurry
, TypedFlatCurry
, FlatCurry
]
loadAndCheckModule :: Options -> ModuleIdent -> FilePath
-> CYIO (CompEnv (CS.Module PredType))
......
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