From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Tue, 30 Aug 2011 06:38:05 +0000 (-0700)
Subject: comment out references to module not implemented yet
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=7623f639d3d11916ccae861491ff341d4779f9c9;p=ghc-base.git

comment out references to module not implemented yet
---

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