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

Disabled type inference for FlatCurry

parent 6e5ee108
......@@ -22,7 +22,6 @@ import Curry.Base.Message
import Curry.Base.Pretty
import Curry.ExtendedFlat.Type
import Curry.ExtendedFlat.TypeInference
import qualified Curry.Syntax as CS
-- Base
......@@ -56,7 +55,7 @@ genFlatCurry :: Options -> ModuleSummary.ModuleSummary -> InterfaceEnv
genFlatCurry opts modSum mEnv tyEnv tcEnv mdl = (prog', messages)
where
(prog, messages) = run opts modSum mEnv tyEnv tcEnv False (visitModule mdl)
prog' = {- eraseTypes $ -} adjustTypeInfo $ patchPrelude prog
prog' = patchPrelude prog -- eraseTypes $ adjustTypeInfo $
-- transforms intermediate language code (IL) to FlatCurry interfaces
genFlatInterface :: Options -> ModuleSummary.ModuleSummary -> InterfaceEnv
......
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