From: Ian Lynagh <igloo@earth.li>
Date: Wed, 9 Feb 2011 18:44:59 +0000 (+0000)
Subject: Allow TH brackets to contain things of any kind
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=cb8fb4dc68b503474bd65c0a669d9018a3ce96fe;hp=43cc549d6b596a0ba33fff2b126e5149f07eca29

Allow TH brackets to contain things of any kind
You can now quasi-quote things with unboxed types, and unboxed tuples.
---

diff --git a/compiler/typecheck/TcSplice.lhs b/compiler/typecheck/TcSplice.lhs
index 1956e5b..f68239e 100644
--- a/compiler/typecheck/TcSplice.lhs
+++ b/compiler/typecheck/TcSplice.lhs
@@ -386,7 +386,7 @@ tc_bracket outer_stage (VarBr name) 	-- Note [Quoting names]
 	}
 
 tc_bracket _ (ExpBr expr) 
-  = do	{ any_ty <- newFlexiTyVarTy liftedTypeKind
+  = do	{ any_ty <- newFlexiTyVarTy openTypeKind
 	; _ <- tcMonoExprNC expr any_ty  -- NC for no context; tcBracket does that
 	; tcMetaTy expQTyConName }
 	-- Result type is ExpQ (= Q Exp)
@@ -407,7 +407,7 @@ tc_bracket _ (DecBrG decls)
 	; tcMetaTy decsQTyConName } -- Result type is Q [Dec]
 
 tc_bracket _ (PatBr pat)
-  = do	{ any_ty <- newFlexiTyVarTy liftedTypeKind
+  = do	{ any_ty <- newFlexiTyVarTy openTypeKind
 	; _ <- tcPat ThPatQuote pat any_ty $ 
                return ()
 	; tcMetaTy patQTyConName }