projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 2000-05-25 12:41:14 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
..
640c717
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 )
-- Friends
import HsExpr ( HsExpr, Stmt(..) )
import HsBinds ( HsBinds(..), nullBinds )
-import HsTypes ( HsTyVar, HsType )
+import HsTypes ( HsTyVarBndr, HsType )
-- Others
import Type ( Type )
-- Others
import Type ( Type )
@@
-44,7
+44,7
@@
patterns in each equation.
\begin{code}
data Match id pat
= Match
\begin{code}
data Match id pat
= Match
- [HsTyVar id] -- Tyvars wrt which this match is universally quantified
+ [HsTyVarBndr 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
-- emtpy after typechecking
[pat] -- The patterns
(Maybe (HsType id)) -- A type signature for the result of the match