X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcMonoType.lhs;fp=ghc%2Fcompiler%2Ftypecheck%2FTcMonoType.lhs;h=1d33e945b1991c774d0104c5fefb797983b8a904;hb=10fcd78ccde892feccda3f5eacd221c1de75feea;hp=21d554d45603bd2c69cca724fe2fd24d008e9046;hpb=723ab3364061d8b0d9fd622feaa1d31eb1281f6a;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcMonoType.lhs b/ghc/compiler/typecheck/TcMonoType.lhs
index 21d554d..1d33e94 100644
--- a/ghc/compiler/typecheck/TcMonoType.lhs
+++ b/ghc/compiler/typecheck/TcMonoType.lhs
@@ -49,7 +49,7 @@ import TyCon		( TyCon, isSynTyCon, tyConKind )
 import Class		( classTyCon )
 import Name		( Name )
 import NameSet
-import TysWiredIn	( mkListTy, mkTupleTy, genUnitTyCon )
+import TysWiredIn	( mkListTy, mkPArrTy, mkTupleTy, genUnitTyCon )
 import BasicTypes	( Boxity(..) )
 import SrcLoc		( SrcLoc )
 import Util		( lengthIs )
@@ -267,6 +267,10 @@ kcHsType (HsListTy ty)
   = kcLiftedType ty		`thenTc` \ tau_ty ->
     returnTc liftedTypeKind
 
+kcHsType (HsPArrTy ty)
+  = kcLiftedType ty		`thenTc` \ tau_ty ->
+    returnTc liftedTypeKind
+
 kcHsType (HsTupleTy (HsTupCon _ boxity _) tys)
   = mapTc kcTypeType tys	`thenTc_`
     returnTc (case boxity of
@@ -400,6 +404,10 @@ tc_type (HsListTy ty)
   = tc_type ty	`thenTc` \ tau_ty ->
     returnTc (mkListTy tau_ty)
 
+tc_type (HsPArrTy ty)
+  = tc_type ty	`thenTc` \ tau_ty ->
+    returnTc (mkPArrTy tau_ty)
+
 tc_type (HsTupleTy (HsTupCon _ boxity arity) tys)
   = ASSERT( tys `lengthIs` arity )
     tc_types tys	`thenTc` \ tau_tys ->