From 1749c26268dc04363409d996d3836db0ce74f438 Mon Sep 17 00:00:00 2001 From: panne Date: Fri, 1 Oct 2004 19:23:47 +0000 Subject: [PATCH] [project @ 2004-10-01 19:23:47 by panne] Layout rule again... --- ghc/compiler/typecheck/TcBinds.lhs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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) -- 1.7.10.4