diff options
| author | dos-reis <gdr@axiomatics.org> | 2014-08-26 10:07:17 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2014-08-26 10:07:17 +0000 |
| commit | ef059f3f675f384c68c15076dbcf220be1e01eee (patch) | |
| tree | 08124f18e4f7a3044b719ae860e3b492ed704287 /src/interp/simpbool.boot | |
| parent | cfffc75b762f4364623f85a887b7e564421e3127 (diff) | |
| download | open-axiom-ef059f3f675f384c68c15076dbcf220be1e01eee.tar.gz | |
Add generic Boot and Spad tokenizer.
Diffstat (limited to 'src/interp/simpbool.boot')
| -rw-r--r-- | src/interp/simpbool.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/simpbool.boot b/src/interp/simpbool.boot index 3432317d..e904869a 100644 --- a/src/interp/simpbool.boot +++ b/src/interp/simpbool.boot @@ -175,7 +175,7 @@ list3 l == orDel(a,l) == l is [h,:t] => a = h => t - ?ORDER(a,h) => [a,:l] + _?ORDER(a,h) => [a,:l] [h,:orDel(a,t)] [a] ordList l == @@ -185,7 +185,7 @@ ordUnion(a,b) == a isnt [c,:r] => b b isnt [d,:s] => a c=d => [c,:ordUnion(r,s)] - ?ORDER(a,b) => [c,:ordUnion(r,b)] + _?ORDER(a,b) => [c,:ordUnion(r,b)] [d,:ordUnion(s,a)] ordIntersection(a,b) == a isnt [h,:t] => nil |