Commit 27a85895 authored by simonpj's avatar simonpj
Browse files

[project @ 2003-09-23 15:10:23 by simonpj]

Comment only
parent 726bcf72
...@@ -1149,7 +1149,7 @@ match (TyVarTy v) ty tmpls k senv ...@@ -1149,7 +1149,7 @@ match (TyVarTy v) ty tmpls k senv
Nothing | typeKind ty `eqKind` tyVarKind v Nothing | typeKind ty `eqKind` tyVarKind v
-- We do a kind check, just as in the uVarX above -- We do a kind check, just as in the uVarX above
-- The kind check is needed to avoid bogus matches -- The kind check is needed to avoid bogus matches
-- of (a b) with (c d), where the kinds don't match -- of (a b) with (c d), where the kinds don't match
-- An occur check isn't needed when matching. -- An occur check isn't needed when matching.
-> k (extendSubstEnv senv v (DoneTy ty)) -> k (extendSubstEnv senv v (DoneTy ty))
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment