X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcMonoType.lhs;h=cf1231524127c00d1dd72fb9a4059977ead2e405;hb=75c431d16d01cb3b01f8d81d0520f43b4f9bac50;hp=cd1ba2b7fa2fc2682145fc6cfab9ef8e08153eab;hpb=ef2b170c6298b4826d3b56465a3c1438b5be7307;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcMonoType.lhs b/ghc/compiler/typecheck/TcMonoType.lhs
index cd1ba2b..cf12315 100644
--- a/ghc/compiler/typecheck/TcMonoType.lhs
+++ b/ghc/compiler/typecheck/TcMonoType.lhs
@@ -299,6 +299,9 @@ kcHsType ty@(HsOpTy ty1 (HsTyOp op) ty2)
     tcAddErrCtxt (appKindCtxt (ppr ty))	$
     kcAppKind op_kind  ty1_kind		`thenTc` \ op_kind' ->
     kcAppKind op_kind' ty2_kind
+
+kcHsType (HsParTy ty)		-- Skip parentheses markers
+  = kcHsType ty
    
 kcHsType (HsNumTy _)		-- The unit type for generics
   = returnTc liftedTypeKind
@@ -441,6 +444,9 @@ tc_type (HsOpTy ty1 (HsTyOp op) ty2)
     tc_type ty2 `thenTc` \ tau_ty2 ->
     tc_fun_type op [tau_ty1,tau_ty2]
 
+tc_type (HsParTy ty)		-- Remove the parentheses markers
+  = tc_type ty
+
 tc_type (HsNumTy n)
   = ASSERT(n== 1)
     returnTc (mkTyConApp genUnitTyCon [])