diff options
| author | hallgren <hallgren@chalmers.se> | 2011-10-25 18:50:07 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-10-25 18:50:07 +0000 |
| commit | c4ee13abac2762e635c21e9f65a67fa2564fdd04 (patch) | |
| tree | b7fdee0442bcb3674d2bc4d5638e5d7a334aa7a2 /src/compiler/GF/Compile | |
| parent | b949892e43fecbc24029bc0a9ca166589e09a2e0 (diff) | |
Recording an alternative version of look in Compute/ConcreteLazy.hs
Commented out, causes problems in the greek example.
Diffstat (limited to 'src/compiler/GF/Compile')
| -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 |
