X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FCircuitExample.hs;h=f32d5ffc5cea63b067d4a5ac6e398fbae16dffc5;hp=b8ca60bbd891c412dd40bd2986b55c6c5dd9b0f2;hb=ec996e8cb550676d89d187061db7d018af9ec88d;hpb=83ea5d8ef61c6a711a411a198f61f2a359ce0cba diff --git a/examples/CircuitExample.hs b/examples/CircuitExample.hs index b8ca60b..f32d5ff 100644 --- a/examples/CircuitExample.hs +++ b/examples/CircuitExample.hs @@ -1,7 +1,7 @@ {-# OPTIONS_GHC -XModalTypes -ddump-types -XNoMonoPatBinds -XMultiParamTypeClasses -XTypeOperators #-} module CircuitExample where -import GHC.HetMet.GArrow +import Control.GArrow import GHC.HetMet.GuestLanguage hiding ((-)) import Control.Category import Prelude hiding ( id, (.) )