From: panne Date: Fri, 1 Oct 2004 19:23:47 +0000 (+0000) Subject: [project @ 2004-10-01 19:23:47 by panne] X-Git-Tag: Initial_conversion_from_CVS_complete~1548 X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=1749c26268dc04363409d996d3836db0ce74f438 [project @ 2004-10-01 19:23:47 by panne] Layout rule again... --- diff --git a/ghc/compiler/typecheck/TcBinds.lhs b/ghc/compiler/typecheck/TcBinds.lhs index f9bcc6d..d73594a 100644 --- a/ghc/compiler/typecheck/TcBinds.lhs +++ b/ghc/compiler/typecheck/TcBinds.lhs @@ -579,9 +579,9 @@ tcTySig sig1 (L span (Sig (L _ name) ty)) ; Just tenv -> do ; case check_tvs tenv tvs of Nothing -> bale_out - Just tvs' -> do + Just tvs' -> do { - { let subst = mkTvSubst tenv + let subst = mkTvSubst tenv theta' = substTheta subst theta tau' = substTy subst tau ; loc <- getInstLoc (SigOrigin rigid_info)