From af0230f8f08c45c6873edb3718d2f1d5639e9b36 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sun, 19 Jun 2011 18:59:24 -0700 Subject: [PATCH] remove GArrowInstances --- GHC/HetMet/GArrowInstances.hs | 27 --------------------------- base.cabal | 3 ++- 2 files changed, 2 insertions(+), 28 deletions(-) delete mode 100644 GHC/HetMet/GArrowInstances.hs 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 --- 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, -- 1.7.10.4