diff options
author | dos-reis <gdr@axiomatics.org> | 2012-05-03 19:31:30 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2012-05-03 19:31:30 +0000 |
commit | 6fc86e66f58fb9a9265121b847e7227ee133fd5b (patch) | |
tree | fc0d0fa1a7158f35925ff67a4c0a37dec913e6b2 /src/interp/define.boot | |
parent | 2a7428b80002f6a01d4b182996675d8c0f7d2df0 (diff) | |
download | open-axiom-6fc86e66f58fb9a9265121b847e7227ee133fd5b.tar.gz |
* interp/define.boot (compDefineFunctor1): Use LAMBDA for the
resulting functor if not cachable.
* interp/clam.boot (compClam): Tidy.
(compHash): Likewise.
(compHashGlobal): Likewise.
* interp/i-eval.boot (evalForm): Use LAMBDA, not LAM.
* interp/i-coerce.boot (getSubDomainPredicate): Use %lambda not LAM.
Diffstat (limited to 'src/interp/define.boot')
-rw-r--r-- | src/interp/define.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index 025eb880..1d8ac2e9 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -1484,7 +1484,7 @@ compDefineFunctor1(df is ['DEF,form,signature,body],m,$e,$formalArgList) == T:= compFunctorBody(db,body,rettype,$e) body':= T.expr lamOrSlam := - dbInstanceCache db = nil => 'LAM + dbInstanceCache db = nil => 'LAMBDA 'SPADSLAM fun := compile(db,dbSubstituteFormals(db,[op',[lamOrSlam,form.args,body']]),signature') --The above statement stops substitutions gettting in one another's way |