[project @ 2000-10-23 09:03:26 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 94409c4..cb81b7c 100644 (file)
--- a/ghc/compiler/hsSyn/HsMatches.lhs
+++ b/ghc/compiler/hsSyn/HsMatches.lhs
@@ -13,12 +13,12 @@ module HsMatches where
 -- Friends
 import HsExpr          ( HsExpr, Stmt(..) )
 import HsBinds         ( HsBinds(..), nullBinds )
-import HsTypes         ( HsTyVar, HsType )
-
+import HsTypes         ( HsType )
 -- Others
 import Type            ( Type )
 import SrcLoc          ( SrcLoc )
 import Outputable
+import List
 \end{code}
 
 %************************************************************************
@@ -44,11 +44,11 @@ patterns in each equation.
 \begin{code}
 data Match id pat
   = Match
-       [HsTyVar id]                    -- Tyvars wrt which this match is universally quantified
-                                       --      emtpy 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 +131,4 @@ pprGRHS is_case (GRHS guarded locn)
     ExprStmt expr _ = last guarded     -- Last stmt should be a ExprStmt for guards
     guards         = init guarded
 \end{code}
+