X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=GHC%2FHetMet%2FGArrowFullyEnriched.hs;h=b24c6b6febf14974313968288e0fcdcb99b87d93;hb=7623f639d3d11916ccae861491ff341d4779f9c9;hp=33f3684c3b2fa1f7fb7a58bc6ebba3c95de6c00f;hpb=21997e4f1b33da70bfa26cbc9189496132d3f8c2;p=ghc-base.git

diff --git a/GHC/HetMet/GArrowFullyEnriched.hs b/GHC/HetMet/GArrowFullyEnriched.hs
index 33f3684..b24c6b6 100644
--- a/GHC/HetMet/GArrowFullyEnriched.hs
+++ b/GHC/HetMet/GArrowFullyEnriched.hs
@@ -58,7 +58,7 @@ module GHC.HetMet.GArrowFullyEnriched (
 ) where
 import Control.Category
 import GHC.HetMet.GArrow
-import GHC.HetMet.GArrowEnclosure
+--import GHC.HetMet.GArrowEnclosure
 import Prelude hiding ((.), id)
 
 data GArrow g (**) u => Polynomial g (**) u t x y
@@ -123,8 +123,8 @@ instance (GArrowSwap g (**) u, GArrowCopy g (**) u, GArrowDrop g (**) u)  => GAr
 --  ga_loopl = error "FIXME: GArrowFullyEnriched loopl not implemented"
 --  ga_loopr = error "FIXME: GArrowFullyEnriched loopl not implemented"
 
-instance GArrowEnclosure q g (**) u => GArrowEnclosure (Polynomial q (**) u t) g (**) u where
-  enclose f = N (enclose f)
+--instance GArrowEnclosure q g (**) u => GArrowEnclosure (Polynomial q (**) u t) g (**) u where
+--  enclose f = N (enclose f)
 
 --
 -- | Given an **instance-polymorphic** Haskell function @(g () a)->(g b c)@ we can produce