No longer any need to explicitly load module interface in 'toCore'
[matthijs/master-project/cλash.git] / CoreTools.hs
index 988825509cd33be0b85f4c58d058ce1ba8edf9dc..3a028195634a61100e47ae9322df72138688e8e9 100644 (file)
@@ -57,9 +57,7 @@ eval_tfp_int env ty =
     let letexpr = HsExpr.HsLet 
           (HsBinds.HsValBinds $ (HsBinds.ValBindsIn binds) [])
           (SrcLoc.noLoc expr)
-
-    let modules = map GHC.mkModuleName ["Types.Data.Num"]
-    core <- toCore modules expr
+    core <- toCore expr
     execCore core 
 
 normalise_tfp_int :: HscTypes.HscEnv -> Type.Type -> Type.Type
@@ -223,4 +221,4 @@ getLiterals :: CoreSyn.CoreExpr -> [CoreSyn.CoreExpr]
 getLiterals app@(CoreSyn.App _ _) = literals
   where
     (CoreSyn.Var f, args) = CoreSyn.collectArgs app
-    literals = filter (is_lit) args
\ No newline at end of file
+    literals = filter (is_lit) args