From 2a10c21ad906f02ca2a8fae269193ecae9315beb Mon Sep 17 00:00:00 2001 From: hallgren Date: Tue, 25 Oct 2011 18:50:07 +0000 Subject: [PATCH] Recording an alternative version of look in Compute/ConcreteLazy.hs Commented out, causes problems in the greek example. --- src/compiler/GF/Compile/Compute/ConcreteLazy.hs | 9 +++++++++ 1 file changed, 9 insertions(+) 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