remove GArrowInstances

diff --git a/GHC/HetMet/GArrowInstances.hs b/GHC/HetMet/GArrowInstances.hs
deleted file mode 100644 (file)
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 (file)
--- 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,