From: sof <unknown>
Date: Thu, 4 Sep 1997 19:55:23 +0000 (+0000)
Subject: [project @ 1997-09-04 19:55:23 by sof]
X-Git-Tag: Approximately_1000_patches_recorded~25
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=4e075de5a90d137e0fdbfd9145de69cd50053674

[project @ 1997-09-04 19:55:23 by sof]
wibble
---

diff --git a/ghc/compiler/typecheck/TcExpr.lhs b/ghc/compiler/typecheck/TcExpr.lhs
index 88832b1..b563125 100644
--- a/ghc/compiler/typecheck/TcExpr.lhs
+++ b/ghc/compiler/typecheck/TcExpr.lhs
@@ -335,8 +335,8 @@ tcExpr in_expr@(ExplicitList exprs) res_ty	-- Non-empty list
 
 tcExpr (ExplicitTuple exprs) res_ty
     -- ToDo: more direct way of testing if res_ty is a tuple type (cf. unifyListTy)?
-  = mapNF_Tc (\ _ -> newTyVarTy mkBoxedTypeKind) [1..len]	 `thenNF_Tc` \ ty_vars ->
-    unifyTauTy (mkTupleTy len ty_vars) res_ty                    `thenTc_`
+  = mapNF_Tc (\ _ -> newTyVarTy mkBoxedTypeKind) [1..len]	`thenNF_Tc` \ ty_vars ->
+    unifyTauTy (mkTupleTy len ty_vars) res_ty			`thenTc_`
     mapAndUnzipTc (\ (expr,ty_var) -> tcExpr expr ty_var)
                (exprs `zip` ty_vars) -- we know they're of equal length.
                							 `thenTc` \ (exprs', lies) ->