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/pattern.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/pattern.spad.pamphlet')
-rw-r--r-- | src/algebra/pattern.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/pattern.spad.pamphlet b/src/algebra/pattern.spad.pamphlet index c5a667e6..f3368758 100644 --- a/src/algebra/pattern.spad.pamphlet +++ b/src/algebra/pattern.spad.pamphlet @@ -343,7 +343,7 @@ Pattern(R:SetCategory): Exports == Implementation where p.ker.tag = PAT_ZERO => 0::Integer::O p.ker.tag = PAT_ONE => 1::Integer::O l := [x::O for x in p.ker.arg]$List(O) - (u:=display(p.ker.op)) case "failed" =>prefix(name(p.ker.op)::O,l) + (u:=display(p.ker.op)) case nothing =>prefix(name(p.ker.op)::O,l) (u::(List O -> O)) l patcopy p == |