diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-12-10 03:13:22 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-12-10 03:13:22 +0000 |
| commit | 7730f8fafe5dea4ab3ba8c4659a4d295689e1818 (patch) | |
| tree | ed09862b3d0f5c13eacd1b8620444cf32bdf1fc2 /src/interp/g-util.boot | |
| parent | 36835d30a3255be49226ecc66c031bedaeafd8a5 (diff) | |
| download | open-axiom-7730f8fafe5dea4ab3ba8c4659a4d295689e1818.tar.gz | |
cleanup
Diffstat (limited to 'src/interp/g-util.boot')
| -rw-r--r-- | src/interp/g-util.boot | 57 |
1 files changed, 0 insertions, 57 deletions
diff --git a/src/interp/g-util.boot b/src/interp/g-util.boot index 2462e843..20df873d 100644 --- a/src/interp/g-util.boot +++ b/src/interp/g-util.boot @@ -1086,11 +1086,6 @@ isUpperCaseLetter c == isLetter c == alphabetic? c -update() == - runCommand - strconc(textEditor(), '" ",STRINGIMAGE _/VERSION,'" ",STRINGIMAGE _/WSNAME,'" A") - _/UPDATE() - --% Inplace Merge Sort for Lists -- MBM April/88 @@ -1160,46 +1155,6 @@ spadThrowBrightly x == sayBrightly x spadThrow() ---% Type Formatting Without Abbreviation - -formatUnabbreviatedSig sig == - null sig => ['"() -> ()"] - [target,:args] := dollarPercentTran sig - target := formatUnabbreviated target - null args => ['"() -> ",:target] - null rest args => [:formatUnabbreviated first args,'" -> ",:target] - args := formatUnabbreviatedTuple args - ['"(",:args,'") -> ",:target] - -formatUnabbreviatedTuple t == - -- t is a list of types - null t => t - atom t => [t] - t0 := formatUnabbreviated t.op - null rest t => t0 - [:t0,'",",:formatUnabbreviatedTuple rest t] - -formatUnabbreviated t == - null t => - ['"()"] - atom t => - [t] - t is [p,sel,arg] and p = ":" => - [sel,'": ",:formatUnabbreviated arg] - t is ['Union,:args] => - ['Union,'"(",:formatUnabbreviatedTuple args,'")"] - t is ['Mapping,:args] => - formatUnabbreviatedSig args - t is ['Record,:args] => - ['Record,'"(",:formatUnabbreviatedTuple args,'")"] - t is [arg] => - t - t is [arg,arg1] => - [arg,'" ",:formatUnabbreviated arg1] - t is [arg,:args] => - [arg,'"(",:formatUnabbreviatedTuple args,'")"] - t - sublisNQ(al,e) == atom al => e fn(al,e) where fn(al,e) == @@ -1337,18 +1292,6 @@ pr x == F_,PRINT_-ONE x nil -quickAnd(a,b) == - a = true => b - b = true => a - a = false or b = false => false - simpBool ['AND,a,b] - -quickOr(a,b) == - a = true or b = true => true - b = false => a - a = false => b - simpCatPredicate simpBool ['OR,a,b] - intern x == string? x => digit? x.0 => string2Integer x |