add support for <{..}> and ~~> syntax as well as typing for Kappa-calculus

[ghc-hetmet.git] / compiler / rename / RnExpr.lhs

diff --git a/compiler/rename/RnExpr.lhs b/compiler/rename/RnExpr.lhs
index 9b1f08e..35300e0 100644 (file)
--- a/compiler/rename/RnExpr.lhs
+++ b/compiler/rename/RnExpr.lhs
@@ -177,6 +177,13 @@ rnExpr (HsHetMetCSP c e)
   = do { (e', fv_e) <- updLclEnv (\x -> x { tcl_hetMetLevel = tail (tcl_hetMetLevel x) }) $ rnLExpr e
        ; return (HsHetMetCSP c e', fv_e)
        }
+rnExpr (HsKappa matches)
+  = rnMatchGroup LambdaExpr matches    `thenM` \ (matches', fvMatch) ->
+    return (HsKappa matches', fvMatch)
+rnExpr (HsKappaApp fun arg)
+  = rnLExpr fun                `thenM` \ (fun',fvFun) ->
+    rnLExpr arg                `thenM` \ (arg',fvArg) ->
+    return (HsKappaApp fun' arg', fvFun `plusFV` fvArg)