diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-03-22 05:43:32 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-03-22 05:43:32 +0000 |
| commit | 41a15b30f26b7a2ca2077f7996a3cf552bf5630a (patch) | |
| tree | 6a4ea472928d290faa82d6081df9286507eab6d0 /src/algebra/kl.spad.pamphlet | |
| parent | 7dc19cbfb3fef1f70794d2baaebd183d21b7d6b0 (diff) | |
| download | open-axiom-41a15b30f26b7a2ca2077f7996a3cf552bf5630a.tar.gz | |
* algebra/op.spad.pamphlet (BasicOperator) [display]: Now return a
Maybe (List O -> O) value.
[input]: Now return a Maybe(List SEX -> SEX).
* algebra/kl.spad.pamphlet (Kernel): Adjust.
* algebra/pattern.spad.pamphlet (Pattern): Likewise.
Diffstat (limited to 'src/algebra/kl.spad.pamphlet')
| -rw-r--r-- | src/algebra/kl.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/kl.spad.pamphlet b/src/algebra/kl.spad.pamphlet index 18aa41f0..9840b033 100644 --- a/src/algebra/kl.spad.pamphlet +++ b/src/algebra/kl.spad.pamphlet @@ -204,7 +204,7 @@ Kernel(S: SetCategory): Exports == Implementation where (f := property(o := operator k, SPECIALDISP)) case None => ((f@None) pretend (List S -> OutputForm)) (argument k) l := [x::OutputForm for x in argument k]$List(OutputForm) - (u := display o) case "failed" => prefix(name(o)::OutputForm, l) + (u := display o) case nothing => prefix(name(o)::OutputForm, l) (u::(List OutputForm -> OutputForm)) l triage(k1, k2) == @@ -223,7 +223,7 @@ Kernel(S: SetCategory): Exports == Implementation where (f := property(o := operator k, SPECIALINPUT)) case None => ((f@None) pretend (List S -> InputForm)) (argument k) l := [convert x for x in argument k]$List(InputForm) - (u := input operator k) case "failed" => + (u := input operator k) case nothing => convert concat(convert name operator k, l) (u::(List InputForm -> InputForm)) l |