Remove dead function patSynTyDetails
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 16 Oct 2015 11:08:35 +0000 (12:08 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 16 Oct 2015 11:08:35 +0000 (12:08 +0100)
And that allows us to remove the nasty import of HsBinds,
which has no business in this module.

compiler/basicTypes/PatSyn.hs

index 081968a..503ebd8 100644 (file)
@@ -13,7 +13,7 @@ module PatSyn (
 
         -- ** Type deconstruction
         patSynName, patSynArity, patSynIsInfix,
 
         -- ** Type deconstruction
         patSynName, patSynArity, patSynIsInfix,
-        patSynArgs, patSynTyDetails, patSynType,
+        patSynArgs, patSynType,
         patSynMatcher, patSynBuilder,
         patSynExTyVars, patSynSig,
         patSynInstArgTys, patSynInstResTy,
         patSynMatcher, patSynBuilder,
         patSynExTyVars, patSynSig,
         patSynInstArgTys, patSynInstResTy,
@@ -31,7 +31,6 @@ import Util
 import BasicTypes
 import FastString
 import Var
 import BasicTypes
 import FastString
 import Var
-import HsBinds( HsPatSynDetails(..) )
 
 import qualified Data.Data as Data
 import qualified Data.Typeable
 
 import qualified Data.Data as Data
 import qualified Data.Typeable
@@ -286,13 +285,6 @@ patSynArity = psArity
 patSynArgs :: PatSyn -> [Type]
 patSynArgs = psArgs
 
 patSynArgs :: PatSyn -> [Type]
 patSynArgs = psArgs
 
-patSynTyDetails :: PatSyn -> HsPatSynDetails Type
-patSynTyDetails (MkPatSyn { psInfix = is_infix, psArgs = arg_tys })
-  | is_infix, [left,right] <- arg_tys
-  = InfixPatSyn left right
-  | otherwise
-  = PrefixPatSyn arg_tys
-
 patSynExTyVars :: PatSyn -> [TyVar]
 patSynExTyVars = psExTyVars
 
 patSynExTyVars :: PatSyn -> [TyVar]
 patSynExTyVars = psExTyVars