diff options
| -rw-r--r-- | src/compiler/GF/Compile/Compute/ConcreteLazy.hs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/compiler/GF/Compile/Compute/ConcreteLazy.hs b/src/compiler/GF/Compile/Compute/ConcreteLazy.hs index 209c56a60..c120ab03a 100644 --- a/src/compiler/GF/Compile/Compute/ConcreteLazy.hs +++ b/src/compiler/GF/Compile/Compute/ConcreteLazy.hs @@ -291,6 +291,15 @@ computeTermOpt gr = comput True where comp = comput True look c = errr (lookupResDef gr c) + {- -- This seems to loop in the greek example: + look c = --trace ("look "++show c) $ + optcomp =<< errr (lookupResDef gr c) + where + optcomp t = if t==Q c + then --trace "looking up undefined oper" $ + return t + else comp [] t -- g or []? + -} ext x a g = (x,a):g -- extend environment with new variable and its value |