diff options
Diffstat (limited to 'src/algebra/strap/ISTRING.lsp')
-rw-r--r-- | src/algebra/strap/ISTRING.lsp | 56 |
1 files changed, 28 insertions, 28 deletions
diff --git a/src/algebra/strap/ISTRING.lsp b/src/algebra/strap/ISTRING.lsp index 2c120ff9..3aaf5260 100644 --- a/src/algebra/strap/ISTRING.lsp +++ b/src/algebra/strap/ISTRING.lsp @@ -715,11 +715,11 @@ (MAKEPROP '|IndexedString| '|infovec| (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|NonNegativeInteger|) (|Character|) |ISTRING;new;NniC$;1| - |ISTRING;empty;$;2| (|Integer|) (0 . |Zero|) (|Boolean|) + (|Integer|) (0 . |Zero|) |ISTRING;empty;$;2| (|Boolean|) (4 . =) |ISTRING;empty?;$B;3| |ISTRING;#;$Nni;4| |ISTRING;=;2$B;5| |ISTRING;<;2$B;6| |ISTRING;concat;3$;7| |ISTRING;copy;2$;8| (10 . |One|) (14 . -) - (|UniversalSegment| 11) (20 . SEGMENT) + (|UniversalSegment| 10) (20 . SEGMENT) |ISTRING;elt;$Us$;31| (26 . SEGMENT) |ISTRING;insert;2$I$;9| (|String|) (|OutputForm|) (31 . |outputForm|) |ISTRING;coerce;$Of;10| @@ -748,7 +748,7 @@ |ISTRING;match?;2$CB;34| (|List| 8) (|Equation| 8) (|List| 91) (|Mapping| 8 8 8) (|InputForm|) (|Mapping| 13 8) (|Mapping| 13 8 8) (|Void|) - (|Union| 8 '"failed") (|List| 11)) + (|Union| 8 '"failed") (|List| 10)) '#(~= 185 |upperCase!| 191 |upperCase| 196 |trim| 201 |swap!| 213 |suffix?| 220 |substring?| 226 |split| 233 |sorted?| 245 |sort!| 256 |sort| 267 |size?| 278 |setelt| 284 @@ -783,61 +783,61 @@ (|OneDimensionalArrayAggregate| 8) (|FiniteLinearAggregate| 8) (|LinearAggregate| 8) - (|IndexedAggregate| 11 8) + (|IndexedAggregate| 10 8) (|Collection| 8) (|HomogeneousAggregate| 8) - (|OrderedSet|) (|EltableAggregate| 11 8) + (|OrderedSet|) (|EltableAggregate| 10 8) (|SetCategory|) (|OrderedType|) (|Eltable| 23 $$) (|Aggregate|) - (|Eltable| 11 8) (|Evalable| 8) + (|Eltable| 10 8) (|Evalable| 8) (|BasicType|) (|Type|) (|InnerEvalable| 8 8) (|CoercibleTo| 29) (|ConvertibleTo| 94)) (|makeByteWordVec2| 99 - '(0 11 0 12 2 11 13 0 0 14 0 11 0 21 2 - 11 0 0 0 22 2 23 0 11 11 24 1 23 0 11 + '(0 10 0 11 2 10 13 0 0 14 0 10 0 21 2 + 10 0 0 0 22 2 23 0 10 10 24 1 23 0 10 26 1 29 0 28 30 0 33 0 34 1 8 0 0 35 2 0 0 36 0 37 0 33 0 39 1 8 0 0 40 2 - 28 0 0 0 42 1 23 11 0 44 1 23 13 0 45 - 1 23 11 0 46 1 0 11 0 47 0 7 0 48 2 - 11 13 0 0 49 2 11 13 0 0 50 0 7 0 51 - 2 11 0 0 0 52 0 8 0 53 0 54 0 55 2 7 - 0 0 0 56 2 11 13 0 0 58 0 13 0 60 0 + 28 0 0 0 42 1 23 10 0 44 1 23 13 0 45 + 1 23 10 0 46 1 0 10 0 47 0 7 0 48 2 + 10 13 0 0 49 2 10 13 0 0 50 0 7 0 51 + 2 10 0 0 0 52 0 8 0 53 0 54 0 55 2 7 + 0 0 0 56 2 10 13 0 0 58 0 13 0 60 0 13 0 61 2 33 13 8 0 65 2 8 13 0 0 69 0 70 0 71 2 70 0 2 0 72 1 70 0 0 73 2 - 11 0 0 0 83 2 11 13 0 0 87 2 0 13 0 0 + 10 0 0 0 83 2 10 13 0 0 87 2 0 13 0 0 88 2 10 13 0 0 1 1 0 0 0 38 1 0 0 0 1 - 2 0 0 0 8 1 2 0 0 0 33 1 3 0 97 0 11 - 11 1 2 0 13 0 0 67 3 0 13 0 0 11 62 2 + 2 0 0 0 8 1 2 0 0 0 33 1 3 0 97 0 10 + 10 1 2 0 13 0 0 67 3 0 13 0 0 10 62 2 0 74 0 33 76 2 0 74 0 8 75 1 5 13 0 1 2 0 13 96 0 1 1 5 0 0 1 2 0 0 96 0 1 1 5 0 0 1 2 0 0 96 0 1 2 0 13 0 7 1 3 - 0 8 0 23 8 1 3 0 8 0 11 8 59 2 0 0 95 + 0 8 0 23 8 1 3 0 8 0 10 8 59 2 0 0 95 0 1 0 0 0 1 2 0 0 0 8 79 2 0 0 0 33 80 1 0 0 0 1 1 0 0 0 1 3 0 0 0 23 0 57 1 8 0 0 1 2 8 0 8 0 1 2 0 0 95 0 1 4 8 8 93 0 8 8 1 3 0 8 93 0 8 1 2 0 8 - 93 0 1 3 0 8 0 11 8 1 2 0 8 0 11 1 2 - 0 13 0 0 88 3 8 11 8 0 11 64 2 8 11 8 - 0 1 3 0 11 33 0 11 66 3 0 11 0 0 11 - 63 2 0 11 95 0 1 1 0 90 0 1 2 0 0 7 8 - 9 2 0 13 0 7 1 1 7 11 0 32 2 5 0 0 0 + 93 0 1 3 0 8 0 10 8 1 2 0 8 0 10 1 2 + 0 13 0 0 88 3 8 10 8 0 10 64 2 8 10 8 + 0 1 3 0 10 33 0 10 66 3 0 10 0 0 10 + 63 2 0 10 95 0 1 1 0 90 0 1 2 0 0 7 8 + 9 2 0 13 0 7 1 1 7 10 0 32 2 5 0 0 0 1 2 5 0 0 0 1 3 0 0 96 0 0 1 1 0 90 0 - 1 2 8 13 8 0 1 1 7 11 0 47 2 5 0 0 0 + 1 2 8 13 8 0 1 1 7 10 0 47 2 5 0 0 0 1 3 0 13 0 0 8 89 3 0 7 0 0 8 86 2 0 0 36 0 37 3 0 0 93 0 0 1 2 0 0 36 0 1 1 0 0 0 41 1 0 0 0 1 2 0 13 0 7 1 2 0 0 0 8 77 2 0 0 0 33 78 1 8 28 0 43 3 - 0 0 8 0 11 1 3 0 0 0 0 11 27 1 0 99 0 - 1 2 0 13 11 0 1 1 8 84 0 85 1 7 8 0 1 + 0 0 8 0 10 1 3 0 0 0 0 10 27 1 0 99 0 + 1 2 0 13 10 0 1 1 8 84 0 85 1 7 8 0 1 2 0 98 95 0 1 2 0 0 0 8 1 2 0 13 95 0 1 3 11 0 0 90 90 1 3 11 0 0 8 8 1 2 11 0 0 92 1 2 11 0 0 91 1 2 0 13 0 0 1 2 8 13 8 0 1 1 0 90 0 1 1 0 13 0 15 - 0 0 0 10 2 0 0 0 0 1 2 0 0 0 23 25 2 - 0 8 0 11 68 3 0 8 0 11 8 1 2 0 0 0 11 + 0 0 0 12 2 0 0 0 0 1 2 0 0 0 23 25 2 + 0 8 0 10 68 3 0 8 0 10 8 1 2 0 0 0 10 1 2 0 0 0 23 1 2 8 7 8 0 1 2 0 7 95 0 - 1 3 0 0 0 0 11 81 1 0 0 0 20 1 3 94 0 + 1 3 0 0 0 0 10 81 1 0 0 0 20 1 3 94 0 1 1 0 0 90 1 2 0 0 0 0 19 1 0 0 74 82 2 0 0 8 0 1 2 0 0 0 8 1 1 9 29 0 31 1 0 0 8 1 2 10 13 0 0 1 2 0 13 95 0 1 2 |