Commit 9aff37fb authored by Fredrik Wieczerkowski's avatar Fredrik Wieczerkowski
Browse files

Wire up new TypedFlatCurry generation

parent ed633083
......@@ -42,8 +42,7 @@ genUntypedAbstractCurry :: CompilerEnv -> CS.Module PredType -> AC.CurryProg
genUntypedAbstractCurry = GAC.genAbstractCurry True
-- |Generate typed FlatCurry
genTypedFlatCurry :: CompilerEnv -> CS.Module Type -> IL.Module
-> TFC.TProg
genTypedFlatCurry :: AFC.AProg FC.TypeExpr -> TFC.TProg
genTypedFlatCurry = GTFC.genTypedFlatCurry
-- |Generate type-annotated FlatCurry
......
......@@ -354,12 +354,12 @@ writeFlat opts env mdl il = do
liftIO $ FC.writeFlatCurry (useSubDir fcyName) fc
writeFlatIntf opts env fcyProg
where
tfcyName = typedFlatName (filePath env)
tfcyProg = genTypedFlatCurry env mdl il
tfcyTarget = TypedFlatCurry `elem` optTargetTypes opts
tafcyName = typeAnnFlatName (filePath env)
tafcyProg = genTypeAnnotatedFlatCurry env mdl il
tafcyTarget = TypeAnnotatedFlatCurry `elem` optTargetTypes opts
tfcyName = typedFlatName (filePath env)
tfcyProg = genTypedFlatCurry tafcyProg
tfcyTarget = TypedFlatCurry `elem` optTargetTypes opts
fcyName = flatName (filePath env)
fcyProg = genFlatCurry tfcyProg
fcyTarget = FlatCurry `elem` optTargetTypes opts
......
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