Import the Types.Data.Num module in eval_tfp_int.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 9 Apr 2009 16:16:32 +0000 (18:16 +0200)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Thu, 9 Apr 2009 16:16:32 +0000 (18:16 +0200)
This makes eval_tfp_int actually work, since now the proper instances are
in scope.

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