[project @ 1996-06-26 10:26:00 by partain]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcMatches.lhs

diff --git a/ghc/compiler/typecheck/TcMatches.lhs b/ghc/compiler/typecheck/TcMatches.lhs
index fed6045..3cd3df5 100644 (file)
--- a/ghc/compiler/typecheck/TcMatches.lhs
+++ b/ghc/compiler/typecheck/TcMatches.lhs
@@ -158,6 +158,9 @@ tcMatch (PatMatch pat match)
   = let binders = collectPatBinders pat
     in
     newMonoIds binders mkTypeKind (\ _ -> 
+       -- NB TypeKind; lambda-bound variables are allowed 
+       -- to unify with unboxed types.
+
        tcPat pat               `thenTc`   \ (pat',   lie_pat,   pat_ty) ->
        tcMatch match           `thenTc`   \ (match', lie_match, match_ty) ->
        returnTc (PatMatch pat' match',