diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-12-29 15:17:00 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-12-29 15:17:00 +0000 |
| commit | d6e1db9b19a58fd6298e3d37eb6ec25f34ff191a (patch) | |
| tree | c7b7eba9c36bd249d019d6457abad148d051a8d7 /src/boot/ast.boot | |
| parent | 9c532285f28b723a3f70fc4eba19e3856ecbd3dd (diff) | |
| download | open-axiom-d6e1db9b19a58fd6298e3d37eb6ec25f34ff191a.tar.gz | |
Diffstat (limited to 'src/boot/ast.boot')
| -rw-r--r-- | src/boot/ast.boot | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/boot/ast.boot b/src/boot/ast.boot index c8f52c79..46d5a589 100644 --- a/src/boot/ast.boot +++ b/src/boot/ast.boot @@ -751,7 +751,8 @@ bfSmintable x== integer? x or cons? x and first x in '(SIZE LENGTH QENUM) bfString? x == - string? x or cons? x and first x in '(charString symbolName toString) + string? x + or cons? x and first x in '(charString symbolName toString subString) bfQ(l,r)== bfChar? l or bfChar? r => ["CHAR=",l,r] @@ -767,6 +768,7 @@ bfLessp(l,r)== l = 0 => ["PLUSP",r] r = 0 => ["MINUSP", l] bfChar? l or bfChar? r => ["CHAR<",l,r] + bfString? l or bfString? r => ["STRING<",l,r] ["<",l,r] bfLambda(vars,body) == |