From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Mon, 20 Jun 2011 01:59:24 +0000 (-0700)
Subject: remove GArrowInstances
X-Git-Url: http://git.megacz.com/?p=ghc-base.git;a=commitdiff_plain;h=af0230f8f08c45c6873edb3718d2f1d5639e9b36

remove GArrowInstances
---

diff --git a/GHC/HetMet/GArrowInstances.hs b/GHC/HetMet/GArrowInstances.hs
deleted file mode 100644
index f301a95..0000000
--- a/GHC/HetMet/GArrowInstances.hs
+++ /dev/null
@@ -1,27 +0,0 @@
-{-# OPTIONS -XRankNTypes -XMultiParamTypeClasses -XNoMonomorphismRestriction -XTypeOperators -XFunctionalDependencies #-}
------------------------------------------------------------------------------
--- |
--- Module      :  GHC.HetMet.GArrowInstances
--- Copyright   :  none
--- License     :  public domain
---
--- Maintainer  :  Adam Megacz <megacz@acm.org>
--- Stability   :  experimental
--- Portability :  portable
-
-module GHC.HetMet.GArrowInstances (
-) where
-import Control.Category
-import GHC.HetMet.GArrow
-
--- Various GArrow instances which may confuse the instance-inference
--- mechanism if imported wholesale
-
-
--- If a GArrow offers constants, then Haskell literals can be used to
--- accomplish a GArrowLiteral implementation (the converse is not
--- true!)
---instance GArrowConstant g (**) u r t => GArrowLiteral g (**) u r t where
---  ga_literal = ga_constant
-
-
diff --git a/base.cabal b/base.cabal
index dbba7cc..e53a282 100644
--- a/base.cabal
+++ b/base.cabal
@@ -60,7 +60,8 @@ Library {
             GHC.HetMet.CodeTypes,
             GHC.HetMet.GArrow,
             GHC.HetMet.GArrowKappa,
-            GHC.HetMet.GArrowInstances,
+            GHC.HetMet.GArrowFullyEnriched,
+            GHC.HetMet.GuestLanguage,
             GHC.HetMet.Private,
             GHC.HetMet.Arrow,
             GHC.MVar,