X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FhsSyn%2FHsMatches.lhs;h=151e499d5b3c5b1ab6765027a340751f38820f2d;hb=1b7a99e3e7f64c6f402e8aece32ba0b9a3703bfa;hp=94409c43f707335ff5c9a575c90ec610c7b677d9;hpb=18976e614fd90a8d81ced2c3e9cd8e38d72a1f40;p=ghc-hetmet.git

diff --git a/ghc/compiler/hsSyn/HsMatches.lhs b/ghc/compiler/hsSyn/HsMatches.lhs
index 94409c4..151e499 100644
--- 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