HaskFlattener: use pga_kappa a bit more, but not everywhere yet

[coq-hetmet.git] / examples / GArrowTutorial.hs

diff --git a/examples/GArrowTutorial.hs b/examples/GArrowTutorial.hs
index c614d0d..a993582 100644 (file)
--- 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, (.) )