projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add support for <{..}> and ~~> syntax as well as typing for Kappa-calculus
[ghc-hetmet.git]
/
compiler
/
rename
/
RnTypes.lhs
diff --git
a/compiler/rename/RnTypes.lhs
b/compiler/rename/RnTypes.lhs
index
31382c2
..
88e3e26
100644
(file)
--- a/
compiler/rename/RnTypes.lhs
+++ b/
compiler/rename/RnTypes.lhs
@@
-168,6
+168,11
@@
rnHsType doc (HsModalBoxType ecn ty) = do
ty' <- rnLHsType doc ty
return (HsModalBoxType ecn' ty')
ty' <- rnLHsType doc ty
return (HsModalBoxType ecn' ty')
+rnHsType doc (HsKappaTy ty1 ty2) = do
+ ty1' <- rnLHsType doc ty1
+ ty2' <- rnLHsType doc ty2
+ return $ HsKappaTy ty1' ty2'
+
-- Unboxed tuples are allowed to have poly-typed arguments. These
-- sometimes crop up as a result of CPR worker-wrappering dictionaries.
rnHsType doc (HsTupleTy tup_con tys) = do
-- Unboxed tuples are allowed to have poly-typed arguments. These
-- sometimes crop up as a result of CPR worker-wrappering dictionaries.
rnHsType doc (HsTupleTy tup_con tys) = do