X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FBiGArrow.hs;h=a6ecde4b885f288d4ada7246efdf0ec1ed30f8c7;hp=40ff343c9bf43a02b7d3f25691fabaf695733321;hb=ec996e8cb550676d89d187061db7d018af9ec88d;hpb=d5f12624745edf327b49e515a1ebb5aeb265b70c diff --git a/examples/BiGArrow.hs b/examples/BiGArrow.hs index 40ff343..a6ecde4 100644 --- a/examples/BiGArrow.hs +++ b/examples/BiGArrow.hs @@ -1,7 +1,7 @@ {-# OPTIONS_GHC -XModalTypes -XMultiParamTypeClasses -ddump-types -XNoMonoPatBinds -XFlexibleInstances -XGADTs -XUndecidableInstances -XDatatypeContexts #-} module BiGArrow where -import GHC.HetMet.GArrow +import Control.GArrow import Control.Category import Control.Arrow import Prelude hiding ( id, (.) )