X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FGArrowTutorial.hs;h=be7c93017cbb3864f970577317cf3b9e27c23457;hp=c614d0d3aac459cf37fcb1379d1e4d6b03de6e05;hb=HEAD;hpb=caa7ad74b99b34abc5181553e66423da6bdfee26 diff --git a/examples/GArrowTutorial.hs b/examples/GArrowTutorial.hs index c614d0d..be7c930 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 Control.GArrow +import GHC.HetMet.GuestLanguage hiding ( (-) ) import Control.Category import Control.Arrow import Prelude hiding ( id, (.) )