Commit 1f315e01 authored by simonpj's avatar simonpj
Browse files

[project @ 2002-02-14 14:01:40 by simonpj]

Do tcSub the right way round for pattern type signatures
parent 1a6810f8
...@@ -463,7 +463,7 @@ tcSubPat does the work ...@@ -463,7 +463,7 @@ tcSubPat does the work
tcSubPat :: TcSigmaType -> TcSigmaType -> TcM (PatCoFn, LIE) tcSubPat :: TcSigmaType -> TcSigmaType -> TcM (PatCoFn, LIE)
tcSubPat sig_ty exp_ty tcSubPat sig_ty exp_ty
= tcSub exp_ty sig_ty `thenTc` \ (co_fn, lie) -> = tcSub sig_ty exp_ty `thenTc` \ (co_fn, lie) ->
-- co_fn is a coercion on *expressions*, and we -- co_fn is a coercion on *expressions*, and we
-- need to make a coercion on *patterns* -- need to make a coercion on *patterns*
if isIdCoercion co_fn then if isIdCoercion co_fn then
......
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