summaryrefslogtreecommitdiff
path: root/devel/compiler/TMacros.hs
diff options
context:
space:
mode:
Diffstat (limited to 'devel/compiler/TMacros.hs')
-rw-r--r--devel/compiler/TMacros.hs20
1 files changed, 0 insertions, 20 deletions
diff --git a/devel/compiler/TMacros.hs b/devel/compiler/TMacros.hs
deleted file mode 100644
index f06c34d6d..000000000
--- a/devel/compiler/TMacros.hs
+++ /dev/null
@@ -1,20 +0,0 @@
-module TMacros where
-
-import AbsTgt
-
-appVal :: Val -> [Val] -> Val
-appVal v vs = compVal vs v
-
-compVal :: [Val] -> Val -> Val
-compVal args = comp where
- comp val = case val of
- VRec vs -> VRec $ map comp vs
- VPro r p -> case (comp r, comp p) of
- (VRec vs, VPar i) -> vs !! fromInteger i
- (r',p') -> VPro r' p' ---- not at runtime
- VArg j
- | i < length args -> args !! i ---- not needed at runtime
- | otherwise -> val ---- not the right thing at compiletime either
- where i = fromInteger j
- VCat x y -> VCat (comp x) (comp y)
- _ -> val