[project @ 2000-10-03 08:43:00 by simonpj]

[ghc-hetmet.git] / ghc / compiler / hsSyn / HsMatches.lhs

diff --git a/ghc/compiler/hsSyn/HsMatches.lhs b/ghc/compiler/hsSyn/HsMatches.lhs
index 151e499..effa2f7 100644 (file)
--- a/ghc/compiler/hsSyn/HsMatches.lhs
+++ b/ghc/compiler/hsSyn/HsMatches.lhs
@@ -14,11 +14,12 @@ module HsMatches where
 import HsExpr          ( HsExpr, Stmt(..) )
 import HsBinds         ( HsBinds(..), nullBinds )
 import HsTypes         ( HsTyVarBndr, HsType )
-
 -- Others
 import Type            ( Type )
 import SrcLoc          ( SrcLoc )
 import Outputable
+import HsPat            ( InPat (..) )
+import List
 \end{code}
 
 %************************************************************************
@@ -44,11 +45,11 @@ patterns in each equation.
 \begin{code}
 data Match id pat
   = Match
-       [HsTyVarBndr id]                -- Tyvars wrt which this match is universally quantified
-                                       --      empty after typechecking
-       [pat]                           -- The patterns
-       (Maybe (HsType id))             -- A type signature for the result of the match
-                                       --      Nothing after typechecking
+       [id]                    -- Tyvars wrt which this match is universally quantified
+                               -- empty after typechecking
+       [pat]                   -- The patterns
+       (Maybe (HsType id))     -- A type signature for the result of the match
+                               --      Nothing after typechecking
 
        (GRHSs id pat)
 
@@ -131,3 +132,4 @@ pprGRHS is_case (GRHS guarded locn)
     ExprStmt expr _ = last guarded     -- Last stmt should be a ExprStmt for guards
     guards         = init guarded
 \end{code}
+