Mercurial > repos > rhope

annotate string.rhope @ 107:e5627038b7e7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Broken attempt at perf opt
author Mike Pavone <pavone@retrodev.com>
date Fri, 03 Sep 2010 08:11:51 -0400
parents 439db471f595
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
52
079200bc3e75 String literals almost working. Print moved out of C runtime.
Mike Pavone <pavone@retrodev.com>
parents: 51
diff changeset
1
51
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
2 UTF8 Expect[num,arr,index,count,consumed:out]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
3 {
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
4 byte <- [arr]Index[index]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
5 {
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
6 If[[128u8]>[byte]]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
7 {
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
8 //Error: ASCII byte when we were expecting part of a mutlibyte sequence
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
9 //treat each byte as a separate character
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
10 ncount <- [1i32]+[[count]+[consumed]]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
11 }{
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
12 If[[192u8]>[byte]]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
13 {
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
14 If[[num]=[1]]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
15 {
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
16 //Sequence is complete count as single character
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
17 ncount <- [1i32]+[count]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
18 }{
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
19 out <- UTF8 Expect[[num]-[1], arr, [index]+[1], count, [1i32]+[consumed]]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
20 }
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
21 }{
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
22 //Error: too high to be a continuation byte
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
23 ncount <- [1i32]+[[count]+[consumed]]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
24 }
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
25 }
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
26 }{
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
27 //Error: string ended in the middle of a multi-byte sequence
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
28 out <- [count]+[consumed]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
29 }
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
30 Val[ncount]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
31 {
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
32 [arr]Next[index]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
33 {
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
34 out <- Count UTF8[arr, ~, ncount]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
35 }{
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
36 out <- Val[ncount]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
37 }
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
38 }
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
39 }
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
40
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
41 Count UTF8[arr,index,count:out]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
42 {
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
43 byte <- [arr]Index[index]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
44 If[[128u8]>[byte]]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
45 { ncount <- [1i32]+[count] }
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
46 {
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
47 If[[192u8]>[byte]]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
48 {
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
49 //Error: Encoding for 2nd,3rd or 4th byte of sequence
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
50 //treat as a single character
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
51 ncount <- [1i32]+[count]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
52 }{
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
53 If[[224u8]>[byte]]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
54 {
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
55 out <- UTF8 Expect[1, arr, [index]+[1], count, 1]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
56 }{
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
57 If[[240u8]>[byte]]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
58 {
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
59 out <- UTF8 Expect[2, arr, [index]+[1], count, 1]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
60 }{
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
61 If[[245u8]>[byte]]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
62 {
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
63 out <- UTF8 Expect[3, arr, [index]+[1], count, 1]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
64 }{
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
65 //Error: Out of range of Unicode standard
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
66 //treat as a single character
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
67 ncount <- [1i32]+[count]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
68 }
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
69 }
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
70 }
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
71 }
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
72 }
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
73 [arr]Next[index]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
74 {
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
75 out <- Count UTF8[arr, ~, ncount]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
76 }{
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
77 out <- Val[ncount]
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
78 }
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
79 }
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
80
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
81 Blueprint String
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
82 {
55
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
83 Buffer
51
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
84 Length(Int32,Naked)
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
85 }
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
86
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
87 String@Array[in:out(String)]
55
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
88 {
78
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
89 [in]First
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
90 { len <- Count UTF8[in, ~, 0i32] }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
91 { len <- 0i32 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
92 out <- [[Build[String()]]Buffer <<[in]]Length <<[len]
55
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
93 }
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
94
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
95 Print@String[string:out]
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
96 {
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
97 //TODO: Sanitize string (remove terminal escapes and replace invalid UTF)
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
98 write[1i32, [string]Buffer >>, Int64[[[string]Buffer >>]Length >>]]
69
d0ce696786cc Clean up debug print statements a bit. Fix bug that prevented workers that took no inputs from working. Remove workaround in Array for said bug.
Mike Pavone <pavone@retrodev.com>
parents: 55
diff changeset
99 { out <- write[1i32, [Array[]]Append[10u8], 1i64] }
55
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
100 }
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
101
71
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
102 Get Char[:out]
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
103 {
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
104 read[0, [Array[]]Set[0, 0u8], 1i64]
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
105 {}
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
106 { out <- String[~] }
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
107 }
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
108
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
109 _String to Int[current,index,array,ten,conv:out]
71
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
110 {
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
111 char <- [array]Index[index]
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
112 {
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
113 If[[char]<[48u8]]
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
114 {
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
115 out <- Val[current]
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
116 }{
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
117 If[[char]>[57u8]]
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
118 {
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
119 out <- Val[current]
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
120 }{
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
121 out <- _String to Int[[[current]*[ten]]+[[conv]Call[[char]-[48u8]]], [index]+[1], array, ten, conv]
71
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
122 }
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
123 }
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
124
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
125 }{
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
126 out <- Val[current]
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
127 }
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
128 }
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
129
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
130 U8toI8[val:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
131 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
132 out <- Trunc Int8[Int16[val]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
133 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
134
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
135 Int8@String[string:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
136 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
137 buf <- [string]Buffer >>
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
138 [buf]Index[0]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
139 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
140 If[[~]=[45u8]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
141 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
142 out <- [0i8]-[_String to Int[0i8, 1, buf, 10i8, U8toI8[?]]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
143 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
144 out <- _String to Int[0i8, 0, buf, 10i8, U8toI8[?]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
145 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
146 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
147 out <- 0i8
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
148 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
149
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
150 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
151
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
152
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
153 Int16@String[string:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
154 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
155 buf <- [string]Buffer >>
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
156 [buf]Index[0]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
157 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
158 If[[~]=[45u8]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
159 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
160 out <- [0i16]-[_String to Int[0i16, 1, buf, 10i16, Int16[?]]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
161 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
162 out <- _String to Int[0i16, 0, buf, 10i16, Int16[?]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
163 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
164 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
165 out <- 0i16
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
166 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
167
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
168 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
169
71
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
170 Int32@String[string:out]
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
171 {
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
172 buf <- [string]Buffer >>
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
173 [buf]Index[0]
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
174 {
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
175 If[[~]=[45u8]]
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
176 {
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
177 out <- [0i32]-[_String to Int[0i32, 1, buf, 10i32, Int32[?]]]
71
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
178 }{
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
179 out <- _String to Int[0i32, 0, buf, 10i32, Int32[?]]
71
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
180 }
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
181 }{
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
182 out <- 0i32
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
183 }
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
184
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
185 }
c40c3d399133 Add Int32@String and Get Char. Fix stack bug
Mike Pavone <pavone@retrodev.com>
parents: 69
diff changeset
186
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
187 _Hex Int32[str,cur,idx:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
188 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
189 char <- [str]Byte[idx]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
190 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
191 //0-9
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
192 [char]Between[47u8, 58u8]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
193 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
194 adjust <- 48u8
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
195 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
196 //A-F
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
197 [char]Between[64u8, 71u8]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
198 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
199 adjust <- 55u8
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
200 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
201 //a-f
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
202 [char]Between[96u8, 103u8]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
203 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
204 adjust <- 87u8
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
205 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
206 out <- cur
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
207 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
208 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
209 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
210 Val[adjust]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
211 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
212 out <- _Hex Int32[str, [[cur]*[16i32]]+[Int32[[char]-[adjust]]], [idx]+[1]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
213 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
214 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
215 out <- cur
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
216 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
217 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
218
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
219 Hex Int32[str:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
220 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
221 out <- _Hex Int32[str, 0i32, 0]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
222 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
223
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
224 Int64@String[string:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
225 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
226 buf <- [string]Buffer >>
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
227 [buf]Index[0]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
228 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
229 If[[~]=[45u8]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
230 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
231 out <- [0i64]-[_String to Int[0i64, 1, buf, 10i64, Int64[?]]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
232 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
233 out <- _String to Int[0i64, 0, buf, 10i64, Int64[?]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
234 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
235 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
236 out <- 0i64
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
237 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
238
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
239 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
240
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
241 UInt8@String[string:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
242 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
243 out <- _String to Int[0u8, 0, [string]Buffer >>, 10u8, Val[?]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
244 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
245
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
246
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
247 UInt16@String[string:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
248 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
249 out <- _String to Int[0u16, 0, [string]Buffer >>, 10u16, UInt16[?]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
250
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
251 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
252
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
253 UInt32@String[string:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
254 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
255 out <- _String to Int[0u32, 0, [string]Buffer >>, 10u32, UInt32[?]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
256
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
257 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
258
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
259 UInt64@String[string:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
260 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
261 out <- _String to Int[0u64, 0, [string]Buffer >>, 10u64, UInt64[?]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
262 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
263
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
264 Int8@String Slice[string:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
265 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
266 out <- Int8[[string]Flatten]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
267 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
268
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
269 Int8@String Cat[string:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
270 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
271 out <- Int8[[string]Flatten]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
272 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
273
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
274 Int16@String Slice[string:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
275 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
276 out <- Int16[[string]Flatten]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
277 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
278
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
279 Int16@String Cat[string:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
280 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
281 out <- Int16[[string]Flatten]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
282 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
283
92
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
284 Int32@String Slice[string:out]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
285 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
286 out <- Int32[[string]Flatten]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
287 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
288
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
289 Int32@String Cat[string:out]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
290 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
291 out <- Int32[[string]Flatten]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
292 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
293
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
294 Int64@String Slice[string:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
295 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
296 out <- Int64[[string]Flatten]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
297 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
298
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
299 Int64@String Cat[string:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
300 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
301 out <- Int64[[string]Flatten]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
302 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
303
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
304 UInt8@String Slice[string:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
305 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
306 out <- UInt8[[string]Flatten]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
307 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
308
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
309 UInt8@String Cat[string:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
310 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
311 out <- UInt8[[string]Flatten]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
312 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
313
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
314 UInt16@String Slice[string:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
315 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
316 out <- UInt16[[string]Flatten]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
317 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
318
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
319 UInt16@String Cat[string:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
320 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
321 out <- UInt16[[string]Flatten]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
322 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
323
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
324 UInt32@String Slice[string:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
325 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
326 out <- UInt32[[string]Flatten]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
327 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
328
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
329 UInt32@String Cat[string:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
330 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
331 out <- UInt32[[string]Flatten]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
332 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
333
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
334 UInt64@String Slice[string:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
335 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
336 out <- UInt64[[string]Flatten]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
337 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
338
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
339 UInt64@String Cat[string:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
340 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
341 out <- UInt64[[string]Flatten]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
342 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
343
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
344 //TODO: Implement me once Real64 support is added
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
345 Real64[string:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
346 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
347 out <- string
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
348 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
349
55
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
350 Flatten@String[string:out]
51
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
351 {
55
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
352 out <- string
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
353 }
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
354
78
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
355 _CPOff to BOff[buff,cur,boff,cpoff,expected,used:out]
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
356 {
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
357 If[expected]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
358 {
78
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
359 byte <- [buff]Index[boff]
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
360 err <- If[[byte]>[192u8]] {}
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
361 {
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
362 err <- If[[byte]<[128u8]] {}
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
363 {
78
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
364 out <- _CPOff to BOff[buff, cur, [boff]+[1i32], cpoff, [expected]-[1i32], [used]+[1i32]]
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
365 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
366 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
367
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
368 Val[err]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
369 {
78
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
370 ncur <- [cur]+[used]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
371 If[[ncur]>[cpoff]]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
372 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
373 out <- [boff]-[[cpoff]-[ncur]]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
374 }{
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
375 out <- CPOff to BOff[buff,ncur,boff,cpoff]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
376 }
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
377 }
78
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
378 }{
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
379 out <- CPOff to BOff[buff,[cur]+[1i32],boff,cpoff]
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
380 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
381 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
382
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
383 CPOff to BOff[buff,cur,boff,cpoff:out]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
384 {
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
385 If[[cur]=[cpoff]]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
386 {
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
387 out <- boff
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
388 }{
78
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
389 byte <- [buff]Index[boff]
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
390 If[[byte] < [128u8]]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
391 {
78
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
392 nboff <- [boff]+[1i32]
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
393 ncur <- [cur]+[1i32]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
394 }{
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
395 If[[byte]<[192u8]]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
396 {
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
397 //Error: Encoding for 2nd,3rd or 4th byte of sequence
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
398 //treat as a single character
78
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
399 nboff <- [boff]+[1i32]
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
400 ncur <- [cur]+[1i32]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
401 }{
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
402 If[[byte]<[224u8]]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
403 {
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
404 expect <- 1i32
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
405 }{
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
406 If[[byte]<[240u8]]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
407 {
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
408 expect <- 2i32
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
409 }{
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
410 If[[byte]<[245u8]]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
411 {
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
412 expect <- 3i32
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
413 }{
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
414 //Error
78
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
415 nboff <- [boff]+[1i32]
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
416 ncur <- [cur]+[1i32]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
417 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
418 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
419 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
420 Val[expect]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
421 {
78
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
422 out <- _CPOff to BOff[buff, cur, [boff]+[1i32], cpoff, expect, 1i32] {}
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
423 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
424 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
425 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
426 out <- CPOff to BOff[buff, ncur, cpoff, nboff]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
427 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
428 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
429
55
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
430 Slice@String[string,slicepoint:left,right]
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
431 {
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
432 If[[slicepoint]>=[[string]Length]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
433 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
434 left <- string
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
435 right <- ""
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
436 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
437 If[[slicepoint]<=[0]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
438 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
439 left <- ""
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
440 right <- string
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
441 }{
107
e5627038b7e7 Broken attempt at perf opt
Mike Pavone <pavone@retrodev.com>
parents: 106
diff changeset
442 If[[[string]Length >>]=[[string]Byte Length]]
e5627038b7e7 Broken attempt at perf opt
Mike Pavone <pavone@retrodev.com>
parents: 106
diff changeset
443 {
e5627038b7e7 Broken attempt at perf opt
Mike Pavone <pavone@retrodev.com>
parents: 106
diff changeset
444 sliceoffset <- Val[slicepoint]
e5627038b7e7 Broken attempt at perf opt
Mike Pavone <pavone@retrodev.com>
parents: 106
diff changeset
445 }{
e5627038b7e7 Broken attempt at perf opt
Mike Pavone <pavone@retrodev.com>
parents: 106
diff changeset
446 sliceoffset <- CPOff to BOff[[string]Buffer >>, 0i32, 0i32, slicepoint]
e5627038b7e7 Broken attempt at perf opt
Mike Pavone <pavone@retrodev.com>
parents: 106
diff changeset
447 }
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
448 left <- String Slice[string, 0i32, slicepoint, sliceoffset]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
449 right <- String Slice[string, sliceoffset, [[string]Length >>]-[slicepoint], [[[string]Buffer >>]Length]-[sliceoffset]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
450 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
451 }
55
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
452 }
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
453
72
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
454 Byte@String[string,index:out,invalid]
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
455 {
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
456 out,invalid <- [[string]Buffer >>]Index[index]
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
457 }
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
458
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
459 Length@String[string:out]
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
460 {
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
461 out <- [string]Length >>
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
462 }
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
463
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
464 _=String[left,right,index:out]
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
465 {
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
466 [left]Byte[index]
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
467 {
104
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
468 rbyte <- [right]Byte[index]
78
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
469 ,out <- If[[~]=[rbyte]]
72
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
470 {
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
471 out <- _=String[left,right,[index]+[1]]
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
472 }
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
473 }{
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
474 out <- Yes
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
475 }
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
476 }
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
477
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
478 Eq String[left,right:out]
72
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
479 {
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
480 ,out <- If[[[left]Length] = [[right]Length]]
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
481 {
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
482 out <- _=String[left,right,0]
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
483 }
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
484 }
f7bcf3db1342 Add =@String, fix bool bug
Mike Pavone <pavone@retrodev.com>
parents: 71
diff changeset
485
104
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
486 Foreign C:libc
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
487 {
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
488 memcmp[a(Array,Raw Pointer),b(Array,Raw Pointer),len(Int64,Naked):out(Int32,Naked)]
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
489 }
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
490
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
491 Foreign C:runtime
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
492 {
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
493 _internal_memcmp_offset[left(Array,Raw Pointer),loffset(Int32,Naked),right(Array,Raw Pointer),roffset(Int32,Naked),len(Int32,Naked):out(Int32,Naked)]
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
494 }
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
495
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
496 _Flat=@String[left,right:out]
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
497 {
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
498 ,out <- If[[[left]Byte Length] = [[right]Byte Length]]
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
499 {
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
500 If[memcmp[[left]Buffer >>, [right]Buffer >>, Int64[[left]Byte Length]]]
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
501 {
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
502 out <- No
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
503 }{
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
504 out <- Yes
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
505 }
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
506 }
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
507 }
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
508
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
509 _Flat=@String Slice[left,right:out]
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
510 {
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
511 ,out <- If[[[left]Byte Length] = [[right]Byte Length]]
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
512 {
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
513 If[_internal_memcmp_offset[[[left]Source >>]Buffer >>, [left]Offset >>, [right]Buffer >>, 0i32, [left]Byte Length]]
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
514 {
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
515 out <- No
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
516 }{
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
517 out <- Yes
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
518 }
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
519 }
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
520 }
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
521
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
522 _Flat=@String Cat[left,right:out]
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
523 {
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
524 out <- Eq String[left,right]
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
525 }
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
526
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
527 =@String[left,right:out]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
528 {
104
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
529 out <- [right]_Flat=[left]
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
530 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
531
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
532 Byte Length@String[string:out]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
533 {
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
534 out <- [[string]Buffer >>]Length
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
535 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
536
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
537 Append@String[left,right:out]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
538 {
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
539 out <- String Cat[left,right]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
540 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
541
55
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
542 Blueprint String Slice
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
543 {
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
544 Source
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
545 Offset(Int32,Naked)
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
546 Length(Int32,Naked)
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
547 ByteLen(Int32,Naked)
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
548 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
549
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
550 String Slice[source,offset,length,bytelen:out(String Slice)]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
551 {
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
552 out <- [[[[Build[String Slice()]]Source <<[source]]Offset <<[offset]]Length <<[length]]ByteLen <<[bytelen]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
553 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
554
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
555 Byte@String Slice[string,index:out,invalid]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
556 {
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
557 ,invalid <- If[[index]<[[string]ByteLen >>]]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
558 {
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
559 out,invalid <- [[string]Source >>]Byte[[index]+[[string]Offset >>]]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
560 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
561 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
562
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
563 Byte Length@String Slice[string:out]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
564 {
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
565 out <- [string]ByteLen >>
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
566 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
567
78
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
568 Length@String Slice[string:out]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
569 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
570 out <- [string]Length >>
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
571 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
572
104
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
573 _Slice=@String Slice[left,right:out]
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
574 {
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
575 ,out <- If[[[left]Byte Length]=[[right]Byte Length]]
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
576 {
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
577 If[_internal_memcmp_offset[[[left]Source >>]Buffer >>, [left]Offset >>, [[right]Source >>]Buffer >>, [right]Offset >>, [left]Byte Length]]
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
578 { out <- No }
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
579 { out <- Yes }
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
580 }
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
581 }
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
582
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
583 _Slice=@String[left,right:out]
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
584 {
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
585 out <- [right]_Flat=[left]
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
586 }
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
587
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
588 _Slice=@String Cat[left,right:out]
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
589 {
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
590 out <- Eq String[left,right]
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
591 }
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
592
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
593 =@String Slice[left,right:out]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
594 {
104
2d2da148d844 Performance improvement for string comparisons
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
595 out <- [right]_Slice=[left]
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
596 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
597
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
598 _Flatten@String[string,dest,offset,count:out]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
599 {
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
600 If[count]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
601 {
105
43cc42df26cc Various compiler improvements
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
602 out <- [_internal_array_copychunk[[string]Buffer >>, offset, dest, [dest]Length, count]]Length <<[[[dest]Length]+[count]]
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
603 }{
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
604 out <- dest
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
605 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
606 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
607
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
608 Flatten@String[string:out]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
609 {
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
610 out <- string
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
611 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
612
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
613 _Flatten@String Slice[string,dest,offset,count:out]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
614 {
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
615 out <- [[string]Source >>]_Flatten[dest, [[string]Offset >>]+[offset], count]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
616 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
617
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
618 Flatten@String Slice[string:out]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
619 {
105
43cc42df26cc Various compiler improvements
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
620 If[[string]ByteLen >>]
43cc42df26cc Various compiler improvements
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
621 {
43cc42df26cc Various compiler improvements
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
622 out <- [[Build[String()]]Buffer <<[ [[string]Source >>]_Flatten[_internal_array_allocnaked[[string]ByteLen >>, UInt8()], [string]Offset >>, [string]ByteLen >>] ]
43cc42df26cc Various compiler improvements
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
623 ]Length <<[[string]Length >>]
43cc42df26cc Various compiler improvements
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
624 }{
43cc42df26cc Various compiler improvements
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
625 out <- ""
43cc42df26cc Various compiler improvements
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
626 }
78
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
627 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
628
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
629 Print@String Slice[string:out]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
630 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
631 out <- Print[Flatten[string]]
55
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
632 }
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
633
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
634 Append@String Slice[left,right:out]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
635 {
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
636 out <- String Cat[left,right]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
637 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
638
78
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
639 Slice@String Slice[string,slicepoint:left,right]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
640 {
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
641 If[[slicepoint]>=[[string]Length]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
642 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
643 left <- string
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
644 right <- ""
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
645 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
646 If[[slicepoint]<=[0]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
647 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
648 left <- ""
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
649 right <- string
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
650 }{
107
e5627038b7e7 Broken attempt at perf opt
Mike Pavone <pavone@retrodev.com>
parents: 106
diff changeset
651 If[[[string]Length >>]=[[string]ByteLen >>]]
e5627038b7e7 Broken attempt at perf opt
Mike Pavone <pavone@retrodev.com>
parents: 106
diff changeset
652 {
e5627038b7e7 Broken attempt at perf opt
Mike Pavone <pavone@retrodev.com>
parents: 106
diff changeset
653 sliceoffset <- [[string]Offset >>]+[slicepoint]
e5627038b7e7 Broken attempt at perf opt
Mike Pavone <pavone@retrodev.com>
parents: 106
diff changeset
654 }{
e5627038b7e7 Broken attempt at perf opt
Mike Pavone <pavone@retrodev.com>
parents: 106
diff changeset
655 sliceoffset <- CPOff to BOff[[[string]Source >>]Buffer >>, 0i32, [string]Offset >>, slicepoint]
e5627038b7e7 Broken attempt at perf opt
Mike Pavone <pavone@retrodev.com>
parents: 106
diff changeset
656 }
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
657 left <- String Slice[[string]Source >>, [string]Offset >>, slicepoint, [sliceoffset]-[[string]Offset >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
658 right <- String Slice[[string]Source >>, sliceoffset, [[string]Length >>]-[slicepoint], [[string]Byte Length]-[[sliceoffset]-[[string]Offset >>]]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
659 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
660 }
78
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
661 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
662
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
663 Blueprint String Cat
55
048046186d22 Started working on Slice@String
Mike Pavone <pavone@retrodev.com>
parents: 52
diff changeset
664 {
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
665 Left
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
666 Right
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
667 Length
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
668 ByteLen
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
669 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
670
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
671 String Cat[left,right:out]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
672 {
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
673 out <- [[[[Build[String Cat()]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
674 ]Left <<[left]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
675 ]Right <<[right]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
676 ]Length <<[ [[left]Length]+[[right]Length] ]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
677 ]ByteLen <<[ [[left]Byte Length]+[[right]Byte Length] ]
51
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
678 }
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
679
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
680 Append@String Cat[left,right:out]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
681 {
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
682 out <- String Cat[left,right]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
683 }
51
7d6a6906b648 Added integer type conversions and started on the implementation of String
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
684
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
685 Byte@String Cat[string,index:out,invalid]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
686 {
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
687 leftlen <- [[string]Left >>]Byte Length
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
688 If[[index]<[leftlen]]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
689 {
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
690 out,invalid <- [[string]Left >>]Byte[index]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
691 }{
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
692 rindex <- [index]-[leftlen]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
693 ,invalid <- If[[rindex]<[[[string]Right >>]Byte Length]]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
694 {
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
695 out,invalid <- [[string]Right >>]Byte[rindex]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
696 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
697 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
698 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
699
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
700 Byte Length@String Cat[string:out]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
701 {
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
702 out <- [string]ByteLen >>
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
703 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
704
78
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
705 Length@String Cat[string:out]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
706 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
707 out <- [string]Length >>
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
708 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
709
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
710 _Flatten@String Cat[string,dest,offset,count:out]
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
711 {
78
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
712 left <- [string]Left >>
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
713 If[[offset] < [[left]Byte Length]]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
714 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
715 lcount <- Min[[left]Byte Length, count]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
716 ldest <- [left]_Flatten[dest, offset, lcount]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
717 rcount <- [count]-[lcount]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
718 }{
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
719 ldest <- Val[dest]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
720 rcount <- count
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
721 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
722 If[[[offset]+[count]]>[[left]Byte Length]]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
723 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
724 right <- [string]Right >>
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
725 roffset <- Max[0, [offset]-[[left]Byte Length]]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
726 out <- [right]_Flatten[ldest, roffset, Min[[right]Byte Length, rcount]]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
727 }{
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
728 out <- Val[ldest]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
729 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
730 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
731
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
732 Flatten@String Cat[string:out]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
733 {
105
43cc42df26cc Various compiler improvements
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
734 If[[string]ByteLen >>]
43cc42df26cc Various compiler improvements
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
735 {
43cc42df26cc Various compiler improvements
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
736 out <- [[Build[String()]
43cc42df26cc Various compiler improvements
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
737 ]Buffer << [
43cc42df26cc Various compiler improvements
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
738 [[string]Right >>]_Flatten[
43cc42df26cc Various compiler improvements
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
739 [[string]Left >>]_Flatten[_internal_array_allocnaked[[string]ByteLen >>, UInt8()], 0i32, [[string]Left >>]Byte Length],
43cc42df26cc Various compiler improvements
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
740 0i32, [[string]Right >>]Byte Length]]
43cc42df26cc Various compiler improvements
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
741 ]Length << [[string]Length >>]
43cc42df26cc Various compiler improvements
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
742 }{
43cc42df26cc Various compiler improvements
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
743 out <- ""
43cc42df26cc Various compiler improvements
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
744 }
78
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
745 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
746
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
747 Print@String Cat[string:out]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
748 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
749 out <- Print[Flatten[string]]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
750 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
751
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
752 Slice@String Cat[string,slicepoint:left,right]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
753 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
754 llen <- [[string]Left >>]Length
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
755 If[[slicepoint]=[llen]]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
756 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
757 left <- [string]Left >>
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
758 right <- [string]Right >>
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
759 }{
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
760 If[[slicepoint]<[llen]]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
761 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
762 left,lright <- [[string]Left >>]Slice[slicepoint]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
763 right <- String Cat[lright,[string]Right >>]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
764 }{
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
765 rleft,right <- [[string]Right >>]Slice[ [slicepoint]-[llen] ]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
766 left <- String Cat[[string]Left >>, rleft]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
767 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
768 }
77
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
769 }
a748300a4143 Some untested progress on String
Mike Pavone <pavone@retrodev.com>
parents: 72
diff changeset
770
78
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
771 =@String Cat[left,right:out]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
772 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
773 out <- Eq String[left,right]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
774 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
775
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
776 =Delim[string,delims,index:outindex,after,nomatch]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
777 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
778 delim <- [delims]Index[index]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
779 If[[[string]Length]<[[delim]Length]]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
780 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
781 try next <- Yes
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
782 }{
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
783 check,mafter <- [string]Slice[[delim]Length]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
784 ,try next <- If[[check]=[delim]]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
785 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
786 outindex <- index
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
787 after <- Val[mafter]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
788 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
789 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
790 Val[try next]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
791 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
792 ,nomatch <- [delims]Next[index]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
793 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
794 outindex,after,nomatch <- =Delim[string,delims,~]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
795 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
796 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
797 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
798
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
799
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
800 _Partition[string,delims:matched,after,not found]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
801 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
802 not found <- If[[string]=[""]] {}
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
803 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
804 ,after <- =Delim[string, delims, [delims]First]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
805 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
806 matched <- [delims]Index[~]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
807 } {} {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
808 [string]Slice[1] {}
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
809 { matched,after,not found <- _Partition[~,delims] }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
810 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
811 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
812 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
813
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
814 Partition[string,odelims:before,matched,after,not found]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
815 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
816 dt <- Blueprint Of[odelims]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
817 If[ [[[dt]=[String()]] Or [[dt]=[String Slice()]]] Or [[dt]=[String Cat()]] ]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
818 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
819 delims <- [List[]]Append[odelims]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
820 }{
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
821 delims <- Val[odelims]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
822 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
823 matched,after,not found <- _Partition[string,delims]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
824 { dlen <- Length[~] }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
825 { alen <- Length[~] }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
826 before <- [string]Slice[ [[string]Length]-[[dlen]+[alen]] ]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
827 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
828
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests
Mike Pavone <pavone@retrodev.com>
parents: 77
diff changeset
829
83
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
830 Dict Type ID@String[string:out]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
831 {
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
832 out <- ID[String()]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
833 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
834
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
835 Dict Type ID@String Cat[string:out]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
836 {
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
837 out <- ID[String()]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
838 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
839
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
840 Dict Type ID@String Slice[string:out]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
841 {
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
842 out <- ID[String()]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
843 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
844
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
845 Dict Bits@String[string,index:out,invalid]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
846 {
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
847 ,invalid <- [string]Byte[index]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
848 { out <- UInt32[~] }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
849 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
850
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
851 Dict Bits@String Cat[string,index:out,invalid]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
852 {
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
853 ,invalid <- [string]Byte[index]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
854 { out <- UInt32[~] }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
855 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
856
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
857 Dict Bits@String Slice[string,index:out,invalid]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
858 {
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
859 ,invalid <- [string]Byte[index]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
860 { out <- UInt32[~] }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
861 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 78
diff changeset
862
87
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
863 _From Dict String[arr,el:out]
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
864 {
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
865 out <- [arr]Append[Trunc UInt8[el]]
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
866 }
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
867
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
868 From Dict Key@String[string,data:out]
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
869 {
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
870 out <- String[Fold[_From Dict String[?], Array[], data]]
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
871 }
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
872
90
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
873 String@String[string:out]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
874 {
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
875 out <- string
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
876 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
877
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
878 String@String Cat[string:out]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
879 {
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
880 out <- string
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
881 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
882
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
883 String@String Slice[string:out]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
884 {
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
885 out <- string
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
886 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
887
92
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
888 Replace[string,toreplace,with:out]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
889 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
890 ,delim,after <-[string]Partition[toreplace]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
891 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
892 wt <- Blueprint Of[with]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
893 If[ [[[wt]=[String()]] Or [[wt]=[String Slice()]]] Or [[wt]=[String Cat()]] ]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
894 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
895 replacement <- with
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
896 }{
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
897 replacement <- [with]Index[[toreplace]Find[=[delim,?]]]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
898 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
899 out <- [[~]Append[replacement]]Append[Replace[after,toreplace,with]]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
900 } {} {} {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
901 out <- string
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
902 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
903 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
904
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
905 _Join[list,delim,current,index:out]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
906 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
907 [list]Next[index]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
908 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
909 out <- _Join[list, delim, [[current]Append[delim]]Append[String[[list]Index[~]]], ~]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
910 }{
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
911 out <- current
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
912 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
913 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
914
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
915 Join[list,delim:out]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
916 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
917 [list]First
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
918 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
919 out <- _Join[list, delim, String[[list]Index[~]], ~]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
920 }{
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
921 out <- ""
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
922 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
923 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
924
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
925 Starts With[thing,starts with:out]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
926 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
927 out <- [[thing]Slice[[starts with]Length]] = [starts with]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
928 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
929
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
930 Ends With[thing,ends with:out]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
931 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
932 ,compare <- [thing]Slice[ [[thing]Length] - [[ends with]Length] ]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
933 out <- [compare] = [ends with]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
934 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
935
99
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
936 If@String[str:yes,no]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
937 {
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
938 yes,no <- If[[str]Length]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
939 }
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
940
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
941 If@String Cat[str:yes,no]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
942 {
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
943 yes,no <- If[[str]Length]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
944 }
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
945
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
946 If@String Slice[str:yes,no]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
947 {
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
948 yes,no <- If[[str]Length]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
949 }
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
950
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
951 _Split[list,string,delim:out]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
952 {
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
953 ,,rest <- [string]Partition[delim]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
954 {
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
955 out <- _Split[[list]Append[~], rest, delim]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
956 } {} {} {
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
957 out <- [list]Append[string]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
958 }
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
959 }
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
960
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
961 Split[string,delim:out]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
962 {
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
963 If[string]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
964 { out <- _Split[(),string,delim] }
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
965 { out <- () }
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
966 }
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
967
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
968 In[needle,haystack:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
969 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
970 If[haystack]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
971 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
972 out <- If[[[haystack]Slice[Length[needle]]]=[needle]] {}
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
973 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
974 [haystack]Slice[1] {}
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
975 { out <- [needle]In[~] }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
976 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
977 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
978 out <- No
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
979 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
980 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
981
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
982 Left Trim[string,trim:trimmed]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
983 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
984 If[ [[string]Length] > [0] ]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
985 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
986 first,rest <- [string]Slice[1]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
987 If[ [first]In[trim] ]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
988 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
989 trimmed <- Left Trim[rest, trim]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
990 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
991 trimmed <- string
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
992 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
993 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
994 trimmed <- string
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
995 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
996 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
997
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
998 Right Trim[string,trim:trimmed]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
999 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1000 If[ [[string]Length] > [0] ]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1001 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1002 rest,last <- [string]Slice[ [[string]Length] - [1]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1003 If[ [last]In[trim] ]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1004 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1005 trimmed <- Right Trim[rest, trim]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1006 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1007 trimmed <- string
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1008 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1009 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1010 trimmed <- string
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1011 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1012 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1013
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1014 Trim[string,trim:trimmed]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1015 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1016 left <- Left Trim[string, trim]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1017 trimmed <- Right Trim[left, trim]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1018 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1019
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1020 Contains[haystack,needle:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1021 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1022 [haystack]Partition[needle]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1023 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1024 out <- Yes
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1025 } {} {} {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1026 out <- No
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1027 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1028 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
1029