From ed1bae43e489cc20a6be9dd5e007bb7d7b6a95dc Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Thu, 9 Apr 2009 18:16:32 +0200
Subject: [PATCH] Import the Types.Data.Num module in eval_tfp_int.

This makes eval_tfp_int actually work, since now the proper instances are
in scope.
---
 CoreTools.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/CoreTools.hs b/CoreTools.hs
index 52006fb..1e65b0d 100644
--- a/CoreTools.hs
+++ b/CoreTools.hs
@@ -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
-- 
2.30.2