From: simonpj <unknown>
Date: Fri, 19 Dec 2003 10:39:54 +0000 (+0000)
Subject: [project @ 2003-12-19 10:39:54 by simonpj]
X-Git-Tag: Approx_11550_changesets_converted~170
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=fc13ed2ff4953be09d7d4fbe24ebab059254b724

[project @ 2003-12-19 10:39:54 by simonpj]
Accept unboxed tuples in type signatures
---

diff --git a/ghc/compiler/typecheck/TcMType.lhs b/ghc/compiler/typecheck/TcMType.lhs
index 41e556a..174f965 100644
--- a/ghc/compiler/typecheck/TcMType.lhs
+++ b/ghc/compiler/typecheck/TcMType.lhs
@@ -584,6 +584,7 @@ checkValidType ctxt ty
 	ubx_tup | not gla_exts = UT_NotOk
 		| otherwise    = case ctxt of
 				   TySynCtxt _ -> UT_Ok
+				   ExprSigCtxt -> UT_Ok
 				   other       -> UT_NotOk
 		-- Unboxed tuples ok in function results,
 		-- but for type synonyms we allow them even at