diff options
Diffstat (limited to 'devel/compiler/TMacros.hs')
| -rw-r--r-- | devel/compiler/TMacros.hs | 20 |
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 |
