From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Mon, 20 Jun 2011 02:07:07 +0000 (-0700)
Subject: update for GHC.HetMet package renaming
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=83ea5d8ef61c6a711a411a198f61f2a359ce0cba

update for GHC.HetMet package renaming
---

diff --git a/examples/CircuitExample.hs b/examples/CircuitExample.hs
index f4f5151..b8ca60b 100644
--- a/examples/CircuitExample.hs
+++ b/examples/CircuitExample.hs
@@ -1,8 +1,8 @@
 {-# OPTIONS_GHC -XModalTypes -ddump-types -XNoMonoPatBinds -XMultiParamTypeClasses -XTypeOperators #-}
 module CircuitExample
 where
-import GHC.HetMet.CodeTypes hiding ((-))
 import GHC.HetMet.GArrow
+import GHC.HetMet.GuestLanguage hiding ((-))
 import Control.Category
 import Prelude hiding ( id, (.) )
 
diff --git a/examples/DotProduct.hs b/examples/DotProduct.hs
index 6de0c01..4b36019 100644
--- a/examples/DotProduct.hs
+++ b/examples/DotProduct.hs
@@ -1,7 +1,7 @@
 {-# OPTIONS_GHC -XModalTypes -ddump-types -XNoMonoPatBinds -XFlexibleContexts #-}
 module DotProduct
 where
-import GHC.HetMet.CodeTypes hiding ((-))
+import GHC.HetMet.GuestLanguage hiding ((-))
 import Prelude hiding ( id, (.) )
 
 --------------------------------------------------------------------------------
diff --git a/examples/GArrowTutorial.hs b/examples/GArrowTutorial.hs
index c614d0d..a993582 100644
--- a/examples/GArrowTutorial.hs
+++ b/examples/GArrowTutorial.hs
@@ -3,8 +3,8 @@ module GArrowTutorial
 where
 import Data.Bits
 import Data.Bool (not)
-import GHC.HetMet.CodeTypes hiding ((-))
 import GHC.HetMet.GArrow
+import GHC.HetMet.GuestLanguage hiding ( (-) )
 import Control.Category
 import Control.Arrow
 import Prelude hiding ( id, (.) )