Import the Types.Data.Num module in eval_tfp_int.
[matthijs/master-project/cλash.git] / CoreTools.hs
index 52006fb8d624b14991d49526887a29ff84175ab6..1e65b0d6b0b95da582669c5774366e750bbc4c76 100644 (file)
@@ -42,7 +42,8 @@ eval_tfp_int ty =
           (HsBinds.HsValBinds $ (HsBinds.ValBindsIn binds) [])
           (SrcLoc.noLoc expr)
 
-    core <- toCore [] expr
+    let modules = map GHC.mkModuleName ["Types.Data.Num"]
+    core <- toCore modules expr
     execCore core 
 
 -- | Get the length of a SizedWord type