From 1f315e01fbdde2911dddb3b0789418906febc51c Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Thu, 14 Feb 2002 14:01:40 +0000
Subject: [PATCH] [project @ 2002-02-14 14:01:40 by simonpj] Do tcSub the
 right way round for pattern type signatures

---
 ghc/compiler/typecheck/TcPat.lhs |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ghc/compiler/typecheck/TcPat.lhs b/ghc/compiler/typecheck/TcPat.lhs
index 51a04dd..0e57a0c 100644
--- a/ghc/compiler/typecheck/TcPat.lhs
+++ b/ghc/compiler/typecheck/TcPat.lhs
@@ -463,7 +463,7 @@ tcSubPat does the work
 tcSubPat :: TcSigmaType -> TcSigmaType -> TcM (PatCoFn, LIE)
 
 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
 	-- need to make a coercion on *patterns*
    if isIdCoercion co_fn then
-- 
1.7.10.4