X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fparser%2FParser.y.pp;h=f9976b4985a7ca8c47f9d4beb3f754918b70c37c;hp=a8eb1f75151aa12e4e2c84c20cd74077519a0089;hb=389cca214f33a29646e08d57e3dca862140007b2;hpb=97a8fe8780307e95829034117efa98d2e27109cd

diff --git a/compiler/parser/Parser.y.pp b/compiler/parser/Parser.y.pp
index a8eb1f7..f9976b4 100644
--- a/compiler/parser/Parser.y.pp
+++ b/compiler/parser/Parser.y.pp
@@ -1078,6 +1078,10 @@ atype :: { LHsType RdrName }
 	| '[:' ctype ':]'		{ LL $ HsPArrTy  $2 }
 	| '(' ctype ')'		        { LL $ HsParTy   $2 }
 	| '(' ctype '::' kind ')'	{ LL $ HsKindSig $2 (unLoc $4) }
+	| '$(' exp ')'	      		{ LL $ HsSpliceTy (mkHsSplice $2 ) }
+	| TH_ID_SPLICE	      		{ LL $ HsSpliceTy (mkHsSplice 
+					         (L1 $ HsVar (mkUnqual varName 
+							        (getTH_ID_SPLICE $1)))) } -- $x
 -- Generics
         | INTEGER                       { L1 (HsNumTy (getINTEGER $1)) }