repos/rhope: string.rhope annotate

annotate string.rhope @ 139:a68e6828d896

Global stores and transactions are working. Definately leaks memory on retries. Probably a fair number of bugs to work out. However, a basic test program works.

author	Mike Pavone <pavone@retrodev.com>
date	Fri, 19 Nov 2010 04:04:14 -0500
parents	fc3815b7462f
children	d86df83402f3

rev	line source
108 a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	1
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	2 Import pattern.rhope
52 079200bc3e75 String literals almost working. Print moved out of C runtime. Mike Pavone <pavone@retrodev.com> parents: 51 diff changeset	3
51 7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	4 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	5 {
7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	6 byte <- [arr]Index[index]
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 If[[128u8]>[byte]]
7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	9 {
7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	10 //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	11 //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	12 ncount <- [1i32]+[[count]+[consumed]]
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[[192u8]>[byte]]
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 If[[num]=[1]]
7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	17 {
7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	18 //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	19 ncount <- [1i32]+[count]
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 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	22 }
7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	23 }{
7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	24 //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	25 ncount <- [1i32]+[[count]+[consumed]]
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 }
7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	28 }{
7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	29 //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	30 out <- [count]+[consumed]
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 Val[ncount]
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 [arr]Next[index]
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 <- Count UTF8[arr, ~, 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 out <- Val[ncount]
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 }
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 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	44 {
7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	45 byte <- [arr]Index[index]
7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	46 If[[128u8]>[byte]]
7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	47 { ncount <- [1i32]+[count] }
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 If[[192u8]>[byte]]
7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	50 {
7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	51 //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	52 //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	53 ncount <- [1i32]+[count]
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 If[[224u8]>[byte]]
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 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	58 }{
7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	59 If[[240u8]>[byte]]
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 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	62 }{
7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	63 If[[245u8]>[byte]]
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 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	66 }{
7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	67 //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	68 //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	69 ncount <- [1i32]+[count]
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 }
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 [arr]Next[index]
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 <- Count UTF8[arr, ~, 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 out <- Val[ncount]
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 }
7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	82
7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	83 Blueprint String
7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	84 {
55 048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	85 Buffer
51 7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	86 Length(Int32,Naked)
7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	87 }
7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	88
77 a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	89 String@Array[in:out(String)]
55 048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	90 {
78 4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	91 [in]First
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	92 { 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	93 { len <- 0i32 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	94 out <- [[Build[String()]]Buffer <<[in]]Length <<[len]
55 048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	95 }
048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	96
136 fc3815b7462f Javascript backend now produces working code for some simple examples, still more of the standard lib that needs to be ported. Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	97 String@Empty Array[in:out(String)]
fc3815b7462f Javascript backend now produces working code for some simple examples, still more of the standard lib that needs to be ported. Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	98 {
fc3815b7462f Javascript backend now produces working code for some simple examples, still more of the standard lib that needs to be ported. Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	99 out <- ""
fc3815b7462f Javascript backend now produces working code for some simple examples, still more of the standard lib that needs to be ported. Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	100 }
fc3815b7462f Javascript backend now produces working code for some simple examples, still more of the standard lib that needs to be ported. Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	101
55 048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	102 Print@String[string:out]
048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	103 {
048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	104 //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	105 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	106 { out <- write[1i32, [Array[]]Append[10u8], 1i64] }
55 048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	107 }
048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	108
71 c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	109 Get Char[:out]
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 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	112 {}
c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	113 { out <- String[~] }
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
100 f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	116 _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	117 {
c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	118 char <- [array]Index[index]
c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	119 {
c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	120 If[[char]<[48u8]]
c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	121 {
c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	122 out <- Val[current]
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 If[[char]>[57u8]]
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 }{
100 f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	128 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	129 }
c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	130 }
c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	131
c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	132 }{
c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	133 out <- Val[current]
c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	134 }
c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	135 }
c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	136
100 f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	137 U8toI8[val:out]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	138 {
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	139 out <- Trunc Int8[Int16[val]]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	140 }
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 Int8@String[string:out]
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 buf <- [string]Buffer >>
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	145 [buf]Index[0]
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 If[[~]=[45u8]]
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 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	150 }{
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	151 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	152 }
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	153 }{
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	154 out <- 0i8
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	155 }
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	156
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
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 Int16@String[string:out]
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 buf <- [string]Buffer >>
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	163 [buf]Index[0]
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 If[[~]=[45u8]]
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 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	168 }{
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	169 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	170 }
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	171 }{
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	172 out <- 0i16
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	173 }
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	174
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	175 }
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	176
71 c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	177 Int32@String[string:out]
c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	178 {
c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	179 buf <- [string]Buffer >>
c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	180 [buf]Index[0]
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 If[[~]=[45u8]]
c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	183 {
100 f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	184 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	185 }{
100 f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	186 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	187 }
c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	188 }{
c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	189 out <- 0i32
c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	190 }
c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	191
c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	192 }
c40c3d399133 Add Int32@String and Get Char. Fix stack bug Mike Pavone <pavone@retrodev.com> parents: 69 diff changeset	193
100 f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	194 _Hex Int32[str,cur,idx:out]
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 char <- [str]Byte[idx]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	197 {
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	198 //0-9
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	199 [char]Between[47u8, 58u8]
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 adjust <- 48u8
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	202 }{
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	203 //A-F
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	204 [char]Between[64u8, 71u8]
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 adjust <- 55u8
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 //a-f
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	209 [char]Between[96u8, 103u8]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	210 {
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	211 adjust <- 87u8
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	212 }{
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	213 out <- cur
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 }
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 Val[adjust]
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 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	220 }
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	221 }{
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	222 out <- cur
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 }
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 Hex Int32[str:out]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	227 {
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	228 out <- _Hex Int32[str, 0i32, 0]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	229 }
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 Int64@String[string:out]
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 buf <- [string]Buffer >>
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	234 [buf]Index[0]
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 If[[~]=[45u8]]
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 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	239 }{
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	240 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	241 }
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 <- 0i64
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
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	248 UInt8@String[string:out]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	249 {
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	250 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	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
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	254 UInt16@String[string:out]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	255 {
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	256 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	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
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	260 UInt32@String[string:out]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	261 {
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	262 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	263
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	264 }
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 UInt64@String[string:out]
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 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	269 }
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 Int8@String Slice[string:out]
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 out <- Int8[[string]Flatten]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	274 }
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 Int8@String Cat[string:out]
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 out <- Int8[[string]Flatten]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	279 }
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 Int16@String Slice[string:out]
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 out <- Int16[[string]Flatten]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	284 }
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	285
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	286 Int16@String Cat[string:out]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	287 {
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	288 out <- Int16[[string]Flatten]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	289 }
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	290
92 e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	291 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	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 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	294 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	295
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	296 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	297 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	298 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	299 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	300
100 f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	301 Int64@String Slice[string:out]
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 out <- Int64[[string]Flatten]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	304 }
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 Int64@String Cat[string:out]
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 out <- Int64[[string]Flatten]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	309 }
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 UInt8@String Slice[string:out]
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 out <- UInt8[[string]Flatten]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	314 }
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 UInt8@String Cat[string:out]
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 out <- UInt8[[string]Flatten]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	319 }
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 UInt16@String Slice[string:out]
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 out <- UInt16[[string]Flatten]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	324 }
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 UInt16@String Cat[string:out]
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 out <- UInt16[[string]Flatten]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	329 }
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 UInt32@String Slice[string:out]
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 out <- UInt32[[string]Flatten]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	334 }
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 UInt32@String Cat[string:out]
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 out <- UInt32[[string]Flatten]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	339 }
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 UInt64@String Slice[string:out]
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 out <- UInt64[[string]Flatten]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	344 }
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	345
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	346 UInt64@String Cat[string:out]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	347 {
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	348 out <- UInt64[[string]Flatten]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	349 }
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	350
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	351 //TODO: Implement me once Real64 support is added
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	352 Real64[string:out]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	353 {
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	354 out <- string
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	355 }
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	356
55 048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	357 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	358 {
55 048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	359 out <- string
048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	360 }
048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	361
78 4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	362 _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	363 {
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	364 If[expected]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	365 {
78 4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	366 byte <- [buff]Index[boff]
77 a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	367 err <- If[[byte]>[192u8]] {}
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	368 {
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	369 err <- If[[byte]<[128u8]] {}
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	370 {
78 4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	371 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	372 }
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	373 }
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	374
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	375 Val[err]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	376 {
78 4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	377 ncur <- [cur]+[used]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	378 If[[ncur]>[cpoff]]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	379 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	380 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	381 }{
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	382 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	383 }
77 a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	384 }
78 4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	385 }{
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	386 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	387 }
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	388 }
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	389
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	390 CPOff to BOff[buff,cur,boff,cpoff:out]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	391 {
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	392 If[[cur]=[cpoff]]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	393 {
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	394 out <- boff
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	395 }{
78 4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	396 byte <- [buff]Index[boff]
77 a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	397 If[[byte] < [128u8]]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	398 {
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]<[192u8]]
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 //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	405 //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	406 nboff <- [boff]+[1i32]
77 a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	407 ncur <- [cur]+[1i32]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	408 }{
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	409 If[[byte]<[224u8]]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	410 {
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	411 expect <- 1i32
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	412 }{
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	413 If[[byte]<[240u8]]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	414 {
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	415 expect <- 2i32
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	416 }{
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	417 If[[byte]<[245u8]]
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 expect <- 3i32
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	420 }{
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	421 //Error
78 4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	422 nboff <- [boff]+[1i32]
77 a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	423 ncur <- [cur]+[1i32]
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 }
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	427 Val[expect]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	428 {
78 4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	429 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	430 }
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	431 }
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	432 }
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	433 out <- CPOff to BOff[buff, ncur, cpoff, nboff]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	434 }
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	435 }
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	436
55 048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	437 Slice@String[string,slicepoint:left,right]
048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	438 {
100 f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	439 If[[slicepoint]>=[[string]Length]]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	440 {
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	441 left <- string
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	442 right <- ""
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	443 }{
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	444 If[[slicepoint]<=[0]]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	445 {
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	446 left <- ""
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	447 right <- string
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	448 }{
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	449 sliceoffset <- CPOff to BOff[[string]Buffer >>, 0i32, 0i32, slicepoint]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	450 left <- String Slice[string, 0i32, slicepoint, sliceoffset]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	451 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	452 }
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	453 }
55 048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	454 }
048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	455
72 f7bcf3db1342 Add =@String, fix bool bug Mike Pavone <pavone@retrodev.com> parents: 71 diff changeset	456 Byte@String[string,index:out,invalid]
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 out,invalid <- [[string]Buffer >>]Index[index]
f7bcf3db1342 Add =@String, fix bool bug Mike Pavone <pavone@retrodev.com> parents: 71 diff changeset	459 }
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 Length@String[string:out]
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 out <- [string]Length >>
f7bcf3db1342 Add =@String, fix bool bug Mike Pavone <pavone@retrodev.com> parents: 71 diff changeset	464 }
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 _=String[left,right,index:out]
f7bcf3db1342 Add =@String, fix bool bug Mike Pavone <pavone@retrodev.com> parents: 71 diff changeset	467 {
f7bcf3db1342 Add =@String, fix bool bug Mike Pavone <pavone@retrodev.com> parents: 71 diff changeset	468 [left]Byte[index]
f7bcf3db1342 Add =@String, fix bool bug Mike Pavone <pavone@retrodev.com> parents: 71 diff changeset	469 {
104 2d2da148d844 Performance improvement for string comparisons Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	470 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	471 ,out <- If[[~]=[rbyte]]
72 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 out <- _=String[left,right,[index]+[1]]
f7bcf3db1342 Add =@String, fix bool bug Mike Pavone <pavone@retrodev.com> parents: 71 diff changeset	474 }
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 out <- Yes
f7bcf3db1342 Add =@String, fix bool bug Mike Pavone <pavone@retrodev.com> parents: 71 diff changeset	477 }
f7bcf3db1342 Add =@String, fix bool bug Mike Pavone <pavone@retrodev.com> parents: 71 diff changeset	478 }
f7bcf3db1342 Add =@String, fix bool bug Mike Pavone <pavone@retrodev.com> parents: 71 diff changeset	479
77 a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	480 Eq String[left,right:out]
72 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 <- If[[[left]Length] = [[right]Length]]
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 out <- _=String[left,right,0]
f7bcf3db1342 Add =@String, fix bool bug Mike Pavone <pavone@retrodev.com> parents: 71 diff changeset	485 }
f7bcf3db1342 Add =@String, fix bool bug Mike Pavone <pavone@retrodev.com> parents: 71 diff changeset	486 }
f7bcf3db1342 Add =@String, fix bool bug Mike Pavone <pavone@retrodev.com> parents: 71 diff changeset	487
104 2d2da148d844 Performance improvement for string comparisons Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	488 Foreign C:libc
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 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	491 }
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 Foreign C:runtime
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 _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	496 }
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 _Flat=@String[left,right:out]
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 ,out <- If[[[left]Byte Length] = [[right]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 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	503 {
2d2da148d844 Performance improvement for string comparisons Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	504 out <- No
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 out <- Yes
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 }
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 _Flat=@String Slice[left,right:out]
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 ,out <- If[[[left]Byte Length] = [[right]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 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	516 {
2d2da148d844 Performance improvement for string comparisons Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	517 out <- No
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 out <- Yes
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 }
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 _Flat=@String Cat[left,right:out]
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 out <- Eq String[left,right]
2d2da148d844 Performance improvement for string comparisons Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	527 }
2d2da148d844 Performance improvement for string comparisons Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	528
77 a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	529 =@String[left,right:out]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	530 {
104 2d2da148d844 Performance improvement for string comparisons Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	531 out <- [right]_Flat=[left]
77 a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	532 }
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 Byte Length@String[string:out]
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 out <- [[string]Buffer >>]Length
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	537 }
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 Append@String[left,right:out]
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 out <- String Cat[left,right]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	542 }
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	543
55 048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	544 Blueprint String Slice
048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	545 {
048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	546 Source
048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	547 Offset(Int32,Naked)
048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	548 Length(Int32,Naked)
77 a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	549 ByteLen(Int32,Naked)
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	550 }
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 String Slice[source,offset,length,bytelen:out(String Slice)]
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 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	555 }
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 Byte@String Slice[string,index:out,invalid]
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 ,invalid <- If[[index]<[[string]ByteLen >>]]
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 out,invalid <- [[string]Source >>]Byte[[index]+[[string]Offset >>]]
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 }
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 Byte Length@String Slice[string:out]
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 out <- [string]ByteLen >>
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	568 }
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	569
78 4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	570 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	571 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	572 out <- [string]Length >>
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	573 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	574
104 2d2da148d844 Performance improvement for string comparisons Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	575 _Slice=@String Slice[left,right:out]
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 ,out <- If[[[left]Byte Length]=[[right]Byte Length]]
2d2da148d844 Performance improvement for string comparisons Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	578 {
2d2da148d844 Performance improvement for string comparisons Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	579 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	580 { out <- No }
2d2da148d844 Performance improvement for string comparisons Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	581 { out <- Yes }
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 }
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 _Slice=@String[left,right:out]
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 out <- [right]_Flat=[left]
2d2da148d844 Performance improvement for string comparisons Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	588 }
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 _Slice=@String Cat[left,right:out]
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 out <- Eq String[left,right]
2d2da148d844 Performance improvement for string comparisons Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	593 }
2d2da148d844 Performance improvement for string comparisons Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	594
77 a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	595 =@String Slice[left,right:out]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	596 {
104 2d2da148d844 Performance improvement for string comparisons Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	597 out <- [right]_Slice=[left]
77 a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	598 }
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 _Flatten@String[string,dest,offset,count:out]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	601 {
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	602 If[count]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	603 {
105 43cc42df26cc Various compiler improvements Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	604 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	605 }{
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	606 out <- dest
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 }
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 Flatten@String[string:out]
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 out <- string
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	613 }
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 _Flatten@String Slice[string,dest,offset,count:out]
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 out <- [[string]Source >>]_Flatten[dest, [[string]Offset >>]+[offset], count]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	618 }
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	619
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	620 Flatten@String Slice[string:out]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	621 {
105 43cc42df26cc Various compiler improvements Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	622 If[[string]ByteLen >>]
43cc42df26cc Various compiler improvements Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	623 {
43cc42df26cc Various compiler improvements Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	624 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	625 ]Length <<[[string]Length >>]
43cc42df26cc Various compiler improvements Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	626 }{
43cc42df26cc Various compiler improvements Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	627 out <- ""
43cc42df26cc Various compiler improvements Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	628 }
78 4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	629 }
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 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	632 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	633 out <- Print[Flatten[string]]
55 048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	634 }
048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	635
77 a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	636 Append@String Slice[left,right:out]
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 out <- String Cat[left,right]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	639 }
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	640
78 4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	641 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	642 {
100 f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	643 If[[slicepoint]>=[[string]Length]]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	644 {
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	645 left <- string
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	646 right <- ""
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 If[[slicepoint]<=[0]]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	649 {
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	650 left <- ""
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	651 right <- string
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	652 }{
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	653 sliceoffset <- CPOff to BOff[[[string]Source >>]Buffer >>, 0i32, [string]Offset >>, slicepoint]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	654 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	655 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	656 }
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	657 }
78 4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	658 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	659
77 a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	660 Blueprint String Cat
55 048046186d22 Started working on Slice@String Mike Pavone <pavone@retrodev.com> parents: 52 diff changeset	661 {
77 a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	662 Left
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	663 Right
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	664 Length
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	665 ByteLen
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	666 }
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	667
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	668 String Cat[left,right:out]
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 out <- [[[[Build[String Cat()]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	671 ]Left <<[left]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	672 ]Right <<[right]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	673 ]Length <<[ [[left]Length]+[[right]Length] ]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	674 ]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	675 }
7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	676
77 a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	677 Append@String Cat[left,right:out]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	678 {
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	679 out <- String Cat[left,right]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	680 }
51 7d6a6906b648 Added integer type conversions and started on the implementation of String Mike Pavone <pavone@retrodev.com> parents: diff changeset	681
77 a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	682 Byte@String Cat[string,index:out,invalid]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	683 {
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	684 leftlen <- [[string]Left >>]Byte Length
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	685 If[[index]<[leftlen]]
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 out,invalid <- [[string]Left >>]Byte[index]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	688 }{
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	689 rindex <- [index]-[leftlen]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	690 ,invalid <- If[[rindex]<[[[string]Right >>]Byte Length]]
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 out,invalid <- [[string]Right >>]Byte[rindex]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	693 }
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 }
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 Byte Length@String Cat[string:out]
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 out <- [string]ByteLen >>
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	700 }
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	701
78 4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	702 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	703 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	704 out <- [string]Length >>
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	705 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	706
77 a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	707 _Flatten@String Cat[string,dest,offset,count:out]
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	708 {
78 4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	709 left <- [string]Left >>
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	710 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	711 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	712 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	713 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	714 rcount <- [count]-[lcount]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	715 }{
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	716 ldest <- Val[dest]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	717 rcount <- count
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 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	720 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	721 right <- [string]Right >>
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	722 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	723 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	724 }{
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	725 out <- Val[ldest]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	726 }
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
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	729 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	730 {
105 43cc42df26cc Various compiler improvements Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	731 If[[string]ByteLen >>]
43cc42df26cc Various compiler improvements Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	732 {
43cc42df26cc Various compiler improvements Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	733 out <- [[Build[String()]
43cc42df26cc Various compiler improvements Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	734 ]Buffer << [
43cc42df26cc Various compiler improvements Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	735 [[string]Right >>]_Flatten[
43cc42df26cc Various compiler improvements Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	736 [[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	737 0i32, [[string]Right >>]Byte Length]]
43cc42df26cc Various compiler improvements Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	738 ]Length << [[string]Length >>]
43cc42df26cc Various compiler improvements Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	739 }{
43cc42df26cc Various compiler improvements Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	740 out <- ""
43cc42df26cc Various compiler improvements Mike Pavone <pavone@retrodev.com> parents: 100 diff changeset	741 }
78 4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	742 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	743
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	744 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	745 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	746 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	747 }
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 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	750 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	751 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	752 If[[slicepoint]=[llen]]
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 left <- [string]Left >>
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	755 right <- [string]Right >>
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 If[[slicepoint]<[llen]]
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	758 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	759 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	760 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	761 }{
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	762 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	763 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	764 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	765 }
77 a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	766 }
a748300a4143 Some untested progress on String Mike Pavone <pavone@retrodev.com> parents: 72 diff changeset	767
78 4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	768 =@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	769 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	770 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	771 }
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 =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	774 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	775 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	776 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	777 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	778 try next <- Yes
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	779 }{
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	780 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	781 ,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	782 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	783 outindex <- index
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	784 after <- Val[mafter]
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 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	787 Val[try next]
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 ,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	790 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	791 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	792 }
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 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	795
108 a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	796 Pattern@String[string:out]
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	797 {
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	798 out <- string
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	799 }
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	800
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	801 Pattern@String Slice[string:out]
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	802 {
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	803 out <- string
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	804 }
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	805
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	806 Pattern@String Cat[string:out]
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	807 {
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	808 out <- Flatten[string]
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	809 }
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	810
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	811 Match@String[string,cmp:num,no match,idx]
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	812 {
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	813 n <- [string]Length
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	814 ,no match <- If[[string]=[[cmp]Slice[n]]]
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	815 {
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	816 num <- Val[n]
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	817 idx <- 0
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	818 }
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	819 }
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	820
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	821 Match@String Slice[string,cmp:num,no match,idx]
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	822 {
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	823 n <- [string]Length
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	824 ,no match <- If[[string]=[[cmp]Slice[n]]]
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	825 {
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	826 num <- Val[n]
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	827 idx <- 0
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	828 }
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	829 }
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	830
78 4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	831
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	832 _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	833 {
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	834 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	835 {
108 a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	836 [delims]Match[string]
78 4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	837 {
108 a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	838 matched,after <- [string]Slice[~]
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	839 }{
78 4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	840 [string]Slice[1] {}
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	841 { 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	842 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	843 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	844 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	845
108 a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	846 Partition[string,delims:before,matched,after,not found]
78 4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	847 {
108 a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	848 matched,after,not found <- _Partition[string,Pattern[delims]]
78 4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	849 { dlen <- Length[~] }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	850 { alen <- Length[~] }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	851 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	852 }
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	853
4d5ea487f810 Working String implementation and some basic (but nowhere near exhaustive) tests Mike Pavone <pavone@retrodev.com> parents: 77 diff changeset	854
83 27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	855 Dict Type ID@String[string:out]
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 out <- ID[String()]
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
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	860 Dict Type ID@String Cat[string:out]
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 out <- ID[String()]
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	863 }
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	864
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	865 Dict Type ID@String Slice[string:out]
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	866 {
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	867 out <- ID[String()]
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	868 }
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	869
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	870 Dict Bits@String[string,index:out,invalid]
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	871 {
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	872 ,invalid <- [string]Byte[index]
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	873 { out <- UInt32[~] }
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	874 }
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	875
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	876 Dict Bits@String Cat[string,index:out,invalid]
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	877 {
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	878 ,invalid <- [string]Byte[index]
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	879 { out <- UInt32[~] }
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	880 }
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	881
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	882 Dict Bits@String Slice[string,index:out,invalid]
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	883 {
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	884 ,invalid <- [string]Byte[index]
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	885 { out <- UInt32[~] }
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	886 }
27bb051d631c Initial implementation of Dictionary Mike Pavone <pavone@retrodev.com> parents: 78 diff changeset	887
87 3c4325e6298f Add First@Dictionary (need to find mem man bug) Mike Pavone <pavone@retrodev.com> parents: 83 diff changeset	888 _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	889 {
3c4325e6298f Add First@Dictionary (need to find mem man bug) Mike Pavone <pavone@retrodev.com> parents: 83 diff changeset	890 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	891 }
3c4325e6298f Add First@Dictionary (need to find mem man bug) Mike Pavone <pavone@retrodev.com> parents: 83 diff changeset	892
3c4325e6298f Add First@Dictionary (need to find mem man bug) Mike Pavone <pavone@retrodev.com> parents: 83 diff changeset	893 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	894 {
3c4325e6298f Add First@Dictionary (need to find mem man bug) Mike Pavone <pavone@retrodev.com> parents: 83 diff changeset	895 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	896 }
3c4325e6298f Add First@Dictionary (need to find mem man bug) Mike Pavone <pavone@retrodev.com> parents: 83 diff changeset	897
90 c25d75c2440b Implemented Next@Dictionary and Print@Dictionary Mike Pavone <pavone@retrodev.com> parents: 87 diff changeset	898 String@String[string:out]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary Mike Pavone <pavone@retrodev.com> parents: 87 diff changeset	899 {
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary Mike Pavone <pavone@retrodev.com> parents: 87 diff changeset	900 out <- string
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary Mike Pavone <pavone@retrodev.com> parents: 87 diff changeset	901 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary Mike Pavone <pavone@retrodev.com> parents: 87 diff changeset	902
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary Mike Pavone <pavone@retrodev.com> parents: 87 diff changeset	903 String@String Cat[string:out]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary Mike Pavone <pavone@retrodev.com> parents: 87 diff changeset	904 {
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary Mike Pavone <pavone@retrodev.com> parents: 87 diff changeset	905 out <- string
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary Mike Pavone <pavone@retrodev.com> parents: 87 diff changeset	906 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary Mike Pavone <pavone@retrodev.com> parents: 87 diff changeset	907
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary Mike Pavone <pavone@retrodev.com> parents: 87 diff changeset	908 String@String Slice[string:out]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary Mike Pavone <pavone@retrodev.com> parents: 87 diff changeset	909 {
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary Mike Pavone <pavone@retrodev.com> parents: 87 diff changeset	910 out <- string
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary Mike Pavone <pavone@retrodev.com> parents: 87 diff changeset	911 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary Mike Pavone <pavone@retrodev.com> parents: 87 diff changeset	912
112 fd23ab2c1a73 Small changes to make profile data a little cleaner Mike Pavone <pavone@retrodev.com> parents: 110 diff changeset	913 Replace[string,otoreplace,with:out]
92 e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	914 {
112 fd23ab2c1a73 Small changes to make profile data a little cleaner Mike Pavone <pavone@retrodev.com> parents: 110 diff changeset	915 toreplace <- Pattern[otoreplace]
92 e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	916 ,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	917 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	918 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	919 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	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 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	922 }{
108 a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	923 ,,idx <- [toreplace]Match[delim]
a7add4db4a25 Improved implementation of Pattern Mike Pavone <pavone@retrodev.com> parents: 104 diff changeset	924 replacement <- [with]Index[idx]
92 e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	925 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	926 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	927 } {} {} {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	928 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	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 }
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 _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	933 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	934 [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	935 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	936 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	937 }{
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	938 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	939 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	940 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	941
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	942 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	943 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	944 [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	945 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	946 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	947 }{
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	948 out <- ""
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	949 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	950 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	951
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	952 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	953 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	954 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	955 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	956
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	957 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	958 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	959 ,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	960 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	961 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization Mike Pavone <pavone@retrodev.com> parents: 90 diff changeset	962
99 e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope) Mike Pavone <pavone@retrodev.com> parents: 92 diff changeset	963 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	964 {
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope) Mike Pavone <pavone@retrodev.com> parents: 92 diff changeset	965 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	966 }
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope) Mike Pavone <pavone@retrodev.com> parents: 92 diff changeset	967
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope) Mike Pavone <pavone@retrodev.com> parents: 92 diff changeset	968 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	969 {
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope) Mike Pavone <pavone@retrodev.com> parents: 92 diff changeset	970 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	971 }
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope) Mike Pavone <pavone@retrodev.com> parents: 92 diff changeset	972
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope) Mike Pavone <pavone@retrodev.com> parents: 92 diff changeset	973 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	974 {
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope) Mike Pavone <pavone@retrodev.com> parents: 92 diff changeset	975 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	976 }
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope) Mike Pavone <pavone@retrodev.com> parents: 92 diff changeset	977
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope) Mike Pavone <pavone@retrodev.com> parents: 92 diff changeset	978 _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	979 {
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope) Mike Pavone <pavone@retrodev.com> parents: 92 diff changeset	980 ,,rest <- [string]Partition[delim]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope) Mike Pavone <pavone@retrodev.com> parents: 92 diff changeset	981 {
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope) Mike Pavone <pavone@retrodev.com> parents: 92 diff changeset	982 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	983 } {} {} {
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope) Mike Pavone <pavone@retrodev.com> parents: 92 diff changeset	984 out <- [list]Append[string]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope) Mike Pavone <pavone@retrodev.com> parents: 92 diff changeset	985 }
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope) Mike Pavone <pavone@retrodev.com> parents: 92 diff changeset	986 }
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope) Mike Pavone <pavone@retrodev.com> parents: 92 diff changeset	987
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope) Mike Pavone <pavone@retrodev.com> parents: 92 diff changeset	988 Split[string,delim:out]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope) Mike Pavone <pavone@retrodev.com> parents: 92 diff changeset	989 {
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope) Mike Pavone <pavone@retrodev.com> parents: 92 diff changeset	990 If[string]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope) Mike Pavone <pavone@retrodev.com> parents: 92 diff changeset	991 { out <- _Split[(),string,delim] }
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope) Mike Pavone <pavone@retrodev.com> parents: 92 diff changeset	992 { out <- () }
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope) Mike Pavone <pavone@retrodev.com> parents: 92 diff changeset	993 }
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope) Mike Pavone <pavone@retrodev.com> parents: 92 diff changeset	994
100 f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	995 In[needle,haystack:out]
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 If[haystack]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	998 {
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	999 out <- If[[[haystack]Slice[Length[needle]]]=[needle]] {}
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1000 {
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1001 [haystack]Slice[1] {}
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1002 { out <- [needle]In[~] }
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1003 }
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 out <- No
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 }
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 Left Trim[string,trim:trimmed]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1010 {
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1011 If[ [[string]Length] > [0] ]
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 first,rest <- [string]Slice[1]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1014 If[ [first]In[trim] ]
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 trimmed <- Left Trim[rest, trim]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1017 }{
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1018 trimmed <- string
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 }{
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1021 trimmed <- string
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1022 }
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
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1025 Right Trim[string,trim:trimmed]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1026 {
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1027 If[ [[string]Length] > [0] ]
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 rest,last <- [string]Slice[ [[string]Length] - [1]]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1030 If[ [last]In[trim] ]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1031 {
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1032 trimmed <- Right Trim[rest, trim]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1033 }{
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1034 trimmed <- string
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1035 }
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1036 }{
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1037 trimmed <- string
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1038 }
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1039 }
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1040
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1041 Trim[string,trim:trimmed]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1042 {
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1043 left <- Left Trim[string, trim]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1044 trimmed <- Right Trim[left, trim]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1045 }
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1046
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1047 Contains[haystack,needle:out]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1048 {
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1049 [haystack]Partition[needle]
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1050 {
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1051 out <- Yes
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1052 } {} {} {
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1053 out <- No
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1054 }
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1055 }
f51c4c17457c Broken port of parser to compiler Mike Pavone <pavone@retrodev.com> parents: 99 diff changeset	1056
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 112 diff changeset	1057 After[text,prefix:after,not found]
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 112 diff changeset	1058 {
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 112 diff changeset	1059 If[[text]Starts With[prefix]]
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 112 diff changeset	1060 {
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 112 diff changeset	1061 ,after <- [text]Slice[[prefix]Length]
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 112 diff changeset	1062 }{
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 112 diff changeset	1063 not found <- text
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 112 diff changeset	1064 }
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 112 diff changeset	1065 }
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 112 diff changeset	1066

Mercurial > repos > rhope

annotate string.rhope @ 139:a68e6828d896