diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-02-11 16:26:54 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-02-11 16:26:54 +0000 |
| commit | f14f1018fb9d94d4bff48e1475978b0a9deec0d1 (patch) | |
| tree | 4a45ff073c8114ba630883236bc1daab52e911d9 /src/algebra | |
| parent | 0129463153f8237d0aed03deda4316dd3d45d7c2 (diff) | |
| download | open-axiom-f14f1018fb9d94d4bff48e1475978b0a9deec0d1.tar.gz | |
* interp/g-opt.boot ($VMsideEffectFreeOperators): Include %funcall
and %nothing.
* algebra/mkfunc.spad.pamphlet: Use %funcall instead of FUNCALL.
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/mkfunc.spad.pamphlet | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/algebra/mkfunc.spad.pamphlet b/src/algebra/mkfunc.spad.pamphlet index 1c3cfc04..e3e81eea 100644 --- a/src/algebra/mkfunc.spad.pamphlet +++ b/src/algebra/mkfunc.spad.pamphlet @@ -289,7 +289,9 @@ MakeUnaryCompiledFunction(S, D, I): Exports == Implementation where func: (SY, D) -> I - func(name, x) == FUNCALL(name, x, NIL$Lisp)$Lisp + func(name: SY, x: D): I == + %funcall(name, x, %nil$Foreign(Builtin))$Foreign(Builtin) + unaryFunction name == func(name, #1) compiledFunction(e:S, x:SY) == @@ -330,9 +332,9 @@ MakeBinaryCompiledFunction(S, D1, D2, I):Exports == Implementation where Implementation ==> add import MakeFunction(S) - func: (SY, D1, D2) -> I + func(name: SY, x: D1, y: D2): I == + %funcall(name, x, y, %nil$Foreign(Builtin))$Foreign(Builtin) - func(name, x, y) == FUNCALL(name, x, y, NIL$Lisp)$Lisp binaryFunction name == func(name, #1, #2) compiledFunction(e, x, y) == |