[project @ 2000-07-11 16:12:11 by simonmar]

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

diff --git a/ghc/compiler/hsSyn/HsMatches.lhs b/ghc/compiler/hsSyn/HsMatches.lhs
index 94409c4..151e499 100644 (file)
--- a/ghc/compiler/hsSyn/HsMatches.lhs
+++ b/ghc/compiler/hsSyn/HsMatches.lhs
@@ -13,7 +13,7 @@ module HsMatches where
 -- Friends
 import HsExpr          ( HsExpr, Stmt(..) )
 import HsBinds         ( HsBinds(..), nullBinds )
-import HsTypes         ( HsTyVar, HsType )
+import HsTypes         ( HsTyVarBndr, HsType )
 
 -- Others
 import Type            ( Type )
@@ -44,8 +44,8 @@ patterns in each equation.
 \begin{code}
 data Match id pat
   = Match
-       [HsTyVar id]                    -- Tyvars wrt which this match is universally quantified
-                                       --      emtpy after typechecking
+       [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