Mercurial > repos > rhope

annotate dict.rhope @ 180:c40e0faa1c92

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add Call to Dict and List
author Mike Pavone <pavone@retrodev.com>
date Sun, 19 Jun 2011 10:43:11 -0700
parents f3686f60985d
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
83
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
2 Blueprint Empty Dictionary
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
3 {
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
4 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
5
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
6 Blueprint Dictionary
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
7 {
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
8 Left
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
9 Right
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
10 Straight
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
11 Bits(UInt32,Naked)
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
12 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
13
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
14 Dictionary[:out]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
15 {
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
16 out <- Build[Empty Dictionary()]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
17 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
18
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
19 _Index@Empty Dictionary[dict,index,bits,bitindex:out,not found]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
20 {
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
21 not found <- dict
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
22 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
23
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
24 Index@Empty Dictionary[dict,index:out,not found]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
25 {
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
26 not found <- dict
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
27 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
28
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
29 _Terminal Node[val:out]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
30 {
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
31 out <- [[[[Build[Dictionary()]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
32 ]Left <<[Dictionary[]]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
33 ]Right <<[Dictionary[]]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
34 ]Straight <<[val]
90
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
35 ]Bits <<[0u32]
83
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
36 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
37
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
38 _Set New[index,val,bits,bitindex:out]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
39 {
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
40 nbitindex <- [bitindex]+[1]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
41 [index]Dict Bits[nbitindex]
90
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
42 { straight <- _Set New[index,val,[~]+[1u32],nbitindex] }
83
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
43 { straight <- _Terminal Node[val] }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
44 out <- [[[[Build[Dictionary()]]Left <<[Dictionary[]]]Right <<[Dictionary[]]]Straight <<[straight]]Bits <<[bits]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
45 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
46
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
47 _Set@Empty Dictionary[dict,index,val,bits,bitindex:out]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
48 {
99
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 97
diff changeset
49 If[[bits]=[0u32]]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 97
diff changeset
50 {
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 97
diff changeset
51 out <- _Terminal Node[val]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 97
diff changeset
52 }{
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 97
diff changeset
53 out <- _Set New[index,val,bits,bitindex]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 97
diff changeset
54 }
83
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
55 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
56
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
57 Set@Empty Dictionary[dict,index,val:out]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
58 {
90
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
59 out <- _Set New[index,val, [Dict Type ID[index]]+[1u32], -1]
83
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
60 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
61
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
62 First@Empty Dictionary[dict:first,not found]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
63 {
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
64 not found <- dict
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
65 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
66
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
67 Next@Empty Dictionary[dict,index:next,not found]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
68 {
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
69 not found <- dict
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
70 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
71
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
72
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
73 Index@Dictionary[dict,index:out,not found]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
74 {
99
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 97
diff changeset
75
90
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
76 out,not found <- [dict]_Index[index,[Dict Type ID[index]]+[1u32], -1]
83
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
77 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
78
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
79 _Index@Dictionary[dict,index,bits,bitindex:out,not found]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
80 {
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
81 If[[bits]=[[dict]Bits >>]]
99
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 97
diff changeset
82 {
90
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
83 If[[bits]=[0u32]]
83
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
84 {
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
85 out <- Straight >>[dict]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
86 }{
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
87 nbitindex <- [bitindex]+[1]
90
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
88 [index]Dict Bits[nbitindex]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
89 { nbits <- [~]+[1u32] }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
90 { nbits <- 0u32 }
83
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
91 out,not found <- [[dict]Straight >>]_Index[index,nbits,nbitindex]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
92 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
93 }{
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
94 If[[bits]<[[dict]Bits >>]]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
95 {
87
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
96 go <- Left >>[dict]
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
97 }{
83
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
98 go <- Right >>[dict]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
99 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
100 out,not found <- [go]_Index[index,bits,bitindex]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
101 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
102 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
103
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
104 Set@Dictionary[dict,index,val:out]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
105 {
90
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
106 out <- [dict]_Set[index,val,[Dict Type ID[index]]+[1u32], -1]
83
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
107 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
108
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
109 _Set@Dictionary[dict,index,val,bits,bitindex:out]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
110 {
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
111 If[[bits]=[[dict]Bits >>]]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
112 {
90
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
113 If[[bits]=[0u32]]
83
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
114 {
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
115 out <- [dict]Straight <<[val]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
116 }{
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
117 nbitindex <- [bitindex]+[1]
90
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
118 [index]Dict Bits[nbitindex]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
119 { nbits <- [~]+[1u32] }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
120 { nbits <- 0u32 }
83
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
121 out <- [dict]Straight <<[[[dict]Straight >>]_Set[index,val,nbits,nbitindex]]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
122 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
123 }{
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
124 If[[bits]<[[dict]Bits >>]]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
125 {
87
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
126 go <- Left >>[dict]
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
127 out <- [dict]Left <<[new]
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
128 }{
83
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
129 go <- Right >>[dict]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
130 out <- [dict]Right <<[new]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
131 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
132 new <- [go]_Set[index,val,bits,bitindex]
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
133 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
134 }
27bb051d631c Initial implementation of Dictionary
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
135
87
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
136 _First Type ID@Empty Dictionary[dict:typeid,node,none]
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
137 {
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
138 none <- dict
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
139 }
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
140
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
141 _First Type ID@Dictionary[dict:typeid,node]
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
142 {
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
143 typeid,node <- [[dict]Left >>]_First Type ID {} {}
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
144 {
90
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
145 typeid <- [[dict]Bits >>]-[1u32]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
146 node <- Straight >>[dict]
87
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
147 }
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
148 }
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
149
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
150 _First@Empty Dictionary[dict,keylist:keyout,none]
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
151 {
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
152 none <- dict
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
153 }
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
154
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
155 _First@Dictionary[dict,keylist:keyout]
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
156 {
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
157 keyout <- [[dict]Left >>]_First[keylist] {}
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
158 {
90
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
159 If[[[dict]Bits >>] = [0u32]]
87
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
160 {
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
161 keyout <- keylist
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
162 }{
90
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
163 keyout <- [[dict]Straight >>]_First[[keylist]Append[[[dict]Bits >>]-[1u32]]]
87
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
164 }
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
165 }
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
166 }
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
167
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
168 First@Dictionary[dict:out,none]
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
169 {
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
170 typeid, node <- [dict]_First Type ID
90
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
171 rawkey <- [node]_First[List[]]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
172 out <- [Build[Blueprint From ID[typeid]]]From Dict Key[rawkey]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
173 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
174
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
175 Next@Dictionary[dict,cur:out,none]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
176 {
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
177 [cur]Dict Type ID
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
178 { rawkey,typeid,none <- [dict]_Next Type ID[[~]+[1u32], cur] }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
179
87
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
180 out <- [Build[Blueprint From ID[typeid]]]From Dict Key[rawkey]
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
181 }
3c4325e6298f Add First@Dictionary (need to find mem man bug)
Mike Pavone <pavone@retrodev.com>
parents: 83
diff changeset
182
90
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
183 _Next@Empty Dictionary[dict:out,none]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
184 {
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
185 none <- dict
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
186 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
187
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
188 _Next Type ID@Empty Dictionary[dict:out,typeid,none]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
189 {
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
190 none <- dict
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
191 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
192
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
193 _Next Type ID@Dictionary[dict,curtypeid,key:out,typeid,none]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
194 {
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
195 If[[[dict]Bits >>]=[curtypeid]]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
196 {
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
197 out <- [[dict]Straight >>]_Next[key,0,List[]]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
198 { typeid <- [curtypeid]-[1u32] }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
199 {
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
200 typeid,,none <- [[dict]Right >>]_First Type ID {}
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
201 {
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
202 l <- List[]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
203 out <- [~]_First[l] {}
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
204 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
205 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
206 }{
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
207 If[[curtypeid]<[[dict]Bits >>]]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
208 {
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
209 out,typeid <- [[dict]Left >>]_Next Type ID[curtypeid,key] {} {}
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
210 {
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
211 typeid <- [curtypeid]-[1u32]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
212 out <- [[dict]Straight >>]_First[List[]]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
213 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
214 }{
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
215 out,typeid,none <- [[dict]Right >>]_Next Type ID[curtypeid,key]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
216 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
217 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
218 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
219
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
220 _Next@Dictionary[dict,key,keyidx,newkey:out,none]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
221 {
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
222 [key]Dict Bits[keyidx]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
223 { bits <- [~]+[1u32] }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
224 { bits <- 0u32 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
225
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
226 If[[[dict]Bits >>]=[bits]]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
227 {
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
228 ,goright <- If[bits]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
229 {
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
230 out,goright <- [[dict]Straight >>]_Next[key,[keyidx]+[1], [newkey]Append[[bits]-[1u32]]]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
231 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
232 Val[goright]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
233 {
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
234 out,none <- [[dict]Right >>]_First[newkey]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
235 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
236 }{
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
237 If[[bits]<[[dict]Bits >>]]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
238 {
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
239 out <- [[dict]Left >>]_Next[key, keyidx, newkey] {}
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
240 { out <- [[dict]Straight >>]_First[[newkey]Append[[[dict]Bits >>]-[1u32]]] }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
241 }{
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
242 out,none <- [[dict]Right >>]_Next[key, keyidx, newkey]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
243 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
244 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
245 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
246
99
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 97
diff changeset
247 _String Seq[str,val,key:out]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 97
diff changeset
248 {
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 97
diff changeset
249 out <- [[[[str
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 97
diff changeset
250 ]Append["\n\t"]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 97
diff changeset
251 ]Append[String[key]]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 97
diff changeset
252 ]Append[":\t"]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 97
diff changeset
253 ]Append[String[val]]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 97
diff changeset
254 }
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 97
diff changeset
255
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 97
diff changeset
256
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 97
diff changeset
257 String@Dictionary[dict:out]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 97
diff changeset
258 {
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 97
diff changeset
259 out <- Fold[_String Seq[?], "Dictionary", dict]
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 97
diff changeset
260 }
e09c2d1d6d5b Got dataflow graph code working in compiler (nworker_c.rhope)
Mike Pavone <pavone@retrodev.com>
parents: 97
diff changeset
261
97
fa437d23bb24 fix memory corruption bug
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
262 _Print Seq[dict,key:out]
90
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
263 {
129
c9974ac32369 Improve Dictionary pretty printing slightly
Mike Pavone <pavone@retrodev.com>
parents: 99
diff changeset
264 val <- [[String[[dict]Index[key]]]Split["\n"]]Join["\n\t"]
92
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
265 Print[ [[["\t"]Append[String[key]]]Append[":\t"]]Append[val] ]
90
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
266 {
97
fa437d23bb24 fix memory corruption bug
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
267 ,out <- [dict]Next[key]
90
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
268 {
97
fa437d23bb24 fix memory corruption bug
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
269 out <- _Print Seq[dict, ~]
90
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
270 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
271 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
272 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
273
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
274 Print@Dictionary[dict:out]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
275 {
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
276 Print["Dictionary"]
97
fa437d23bb24 fix memory corruption bug
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
277 { out <- _Print Seq[dict, [dict]First] }
90
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
278 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
279
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
280 Print@Empty Dictionary[dict:out]
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
281 {
97
fa437d23bb24 fix memory corruption bug
Mike Pavone <pavone@retrodev.com>
parents: 92
diff changeset
282 out <- Print["Dictionary\n\t{Empty}"]
90
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
283 }
c25d75c2440b Implemented Next@Dictionary and Print@Dictionary
Mike Pavone <pavone@retrodev.com>
parents: 87
diff changeset
284
147
f3686f60985d Sort of working port of framework. Transaction bug seems to be getting in the way. Going to work around, but want the old version in the repo so I can test later.
Mike Pavone <pavone@retrodev.com>
parents: 129
diff changeset
285 New Like@Dictionary[in:out]
f3686f60985d Sort of working port of framework. Transaction bug seems to be getting in the way. Going to work around, but want the old version in the repo so I can test later.
Mike Pavone <pavone@retrodev.com>
parents: 129
diff changeset
286 {
f3686f60985d Sort of working port of framework. Transaction bug seems to be getting in the way. Going to work around, but want the old version in the repo so I can test later.
Mike Pavone <pavone@retrodev.com>
parents: 129
diff changeset
287 out <- Dictionary[]
f3686f60985d Sort of working port of framework. Transaction bug seems to be getting in the way. Going to work around, but want the old version in the repo so I can test later.
Mike Pavone <pavone@retrodev.com>
parents: 129
diff changeset
288 }
f3686f60985d Sort of working port of framework. Transaction bug seems to be getting in the way. Going to work around, but want the old version in the repo so I can test later.
Mike Pavone <pavone@retrodev.com>
parents: 129
diff changeset
289
f3686f60985d Sort of working port of framework. Transaction bug seems to be getting in the way. Going to work around, but want the old version in the repo so I can test later.
Mike Pavone <pavone@retrodev.com>
parents: 129
diff changeset
290 New Like@Empty Dictionary[in:out]
f3686f60985d Sort of working port of framework. Transaction bug seems to be getting in the way. Going to work around, but want the old version in the repo so I can test later.
Mike Pavone <pavone@retrodev.com>
parents: 129
diff changeset
291 {
f3686f60985d Sort of working port of framework. Transaction bug seems to be getting in the way. Going to work around, but want the old version in the repo so I can test later.
Mike Pavone <pavone@retrodev.com>
parents: 129
diff changeset
292 out <- in
f3686f60985d Sort of working port of framework. Transaction bug seems to be getting in the way. Going to work around, but want the old version in the repo so I can test later.
Mike Pavone <pavone@retrodev.com>
parents: 129
diff changeset
293 }
f3686f60985d Sort of working port of framework. Transaction bug seems to be getting in the way. Going to work around, but want the old version in the repo so I can test later.
Mike Pavone <pavone@retrodev.com>
parents: 129
diff changeset
294
92
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
295 Length@Empty Dictionary[dict:out]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
296 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
297 out <- 0
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
298 }
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 Length@Dictionary[dict:out]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
301 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
302 If[[dict]Bits >>]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
303 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
304 out <- [Length[[dict]Straight >>]]+[[Length[[dict]Left >>]] + [Length[[dict]Right >>]]]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
305 }{
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
306 out <- [1]+[[Length[[dict]Left >>]] + [Length[[dict]Right >>]]]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
307 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
308 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
309
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
310 _Combine[source,dest,key:out]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
311 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
312 new dest <- [dest]Set[key, [source]Index[key]]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
313 [source]Next[key]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
314 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
315 out <- _Combine[source, new dest, ~]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
316 }{
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
317 out <- Val[new dest]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
318 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
319 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
320
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
321 Combine[source,dest:out]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
322 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
323 [source]First
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
324 {
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
325 out <- _Combine[source, dest, ~]
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
326 }{
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
327 out <- dest
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
328 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
329 }
e73a93fb5de1 Beginning of port of compiler to itself, some bugfixes and a refcount optimization
Mike Pavone <pavone@retrodev.com>
parents: 90
diff changeset
330
180
c40e0faa1c92 Add Call to Dict and List
Mike Pavone <pavone@retrodev.com>
parents: 147
diff changeset
331 Call@Dictionary[dict,index:out,notfound]
c40e0faa1c92 Add Call to Dict and List
Mike Pavone <pavone@retrodev.com>
parents: 147
diff changeset
332 {
c40e0faa1c92 Add Call to Dict and List
Mike Pavone <pavone@retrodev.com>
parents: 147
diff changeset
333 out,notfound <- [dict]Index[index]
c40e0faa1c92 Add Call to Dict and List
Mike Pavone <pavone@retrodev.com>
parents: 147
diff changeset
334 }
c40e0faa1c92 Add Call to Dict and List
Mike Pavone <pavone@retrodev.com>
parents: 147
diff changeset
335
c40e0faa1c92 Add Call to Dict and List
Mike Pavone <pavone@retrodev.com>
parents: 147
diff changeset
336 Call@Empty Dictionary[dict,index:out,notfound]
c40e0faa1c92 Add Call to Dict and List
Mike Pavone <pavone@retrodev.com>
parents: 147
diff changeset
337 {
c40e0faa1c92 Add Call to Dict and List
Mike Pavone <pavone@retrodev.com>
parents: 147
diff changeset
338 notfound <- index
c40e0faa1c92 Add Call to Dict and List
Mike Pavone <pavone@retrodev.com>
parents: 147
diff changeset
339 }
c40e0faa1c92 Add Call to Dict and List
Mike Pavone <pavone@retrodev.com>
parents: 147
diff changeset
340
c40e0faa1c92 Add Call to Dict and List
Mike Pavone <pavone@retrodev.com>
parents: 147
diff changeset
341