From e7fbe756a3135afd39a1a89aee7b6549b70cc6f2 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 14 Dec 2010 14:36:05 +0000 Subject: work-around in Tree.expr2tree to make Paraphrase work --- src/runtime/haskell/PGF/Tree.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/runtime/haskell/PGF/Tree.hs') diff --git a/src/runtime/haskell/PGF/Tree.hs b/src/runtime/haskell/PGF/Tree.hs index cb2052cd7..62680e29e 100644 --- a/src/runtime/haskell/PGF/Tree.hs +++ b/src/runtime/haskell/PGF/Tree.hs @@ -61,7 +61,8 @@ expr2tree e = abs [] [] e | List.null as = Meta n | otherwise = error "meta variables of function type are not allowed in trees" app xs as (EAbs _ x e) = error "beta redexes are not allowed in trees" - app xs as (EVar i) = Var (xs !! i) + app xs as (EVar i) = if length xs > i then Var (xs !! i) else Meta i + ---- AR 14/12/2010: work-around needed in PGF.Paraphrase.fromDef app xs as (EFun f) = Fun f as app xs as (ETyped e _) = app xs as e -- cgit v1.2.3