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/input/wutset.input.pamphlet | |
| 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/input/wutset.input.pamphlet')
0 files changed, 0 insertions, 0 deletions