Restore old behaviour for typed FlatCurry generation

b94deb19 · Finn Teegen · 557f37ac · b94deb19
Commit b94deb19 authored Aug 20, 2018 by Finn Teegen
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

src/Modules.hs src/Modules.hs +2 -2

No files found.
--- a/src/Modules.hs
+++ b/src/Modules.hs
@@ -338,10 +338,10 @@ writeFlat opts env mdl il = do
  where
  tfcyName    = typedFlatName (filePath env)
  tfcyProg    = genTypedFlatCurry env mdl il
-  tfcyTarget  = TypedFlatCurry `elem` optTargetTypes opts
+  tfcyTarget  = TypeAnnotatedFlatCurry `elem` optTargetTypes opts
  tafcyName   = typeAnnFlatName (filePath env)
  tafcyProg   = genTypeAnnotatedFlatCurry env mdl il
-  tafcyTarget = TypeAnnotatedFlatCurry `elem` optTargetTypes opts
+  tafcyTarget = TypedFlatCurry `elem` optTargetTypes opts
  fcyName     = flatName (filePath env)
  fcyProg     = genFlatCurry tfcyProg
  fcyTarget   = FlatCurry `elem` optTargetTypes opts