mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-23 03:32:51 -06:00
Recording an alternative version of look in Compute/ConcreteLazy.hs
Commented out, causes problems in the greek example.
This commit is contained in:
@@ -291,6 +291,15 @@ computeTermOpt gr = comput True where
|
|||||||
comp = comput True
|
comp = comput True
|
||||||
|
|
||||||
look c = errr (lookupResDef gr c)
|
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
|
ext x a g = (x,a):g -- extend environment with new variable and its value
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user