annotate nworker_c.rhope @ 181:a658c17148cb

Add == worker
author Mike Pavone <pavone@retrodev.com>
date Wed, 27 Jul 2011 21:06:35 -0700
parents 327bcf35e094
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1 Import number_c.rhope
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
2 Import boolean.rhope
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
3
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
4 Blueprint Condition Set
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
5 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
6 Variables
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
7 Subsets
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
8 Condition Type
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
9 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
10
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
11 AndSet[:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
12 {
120
cd25171e1bb2 Use List for Subsets instead of a Dictionary for performance reasons. Fix issue with List literals. Compiled compiler is now self-hosting.
Mike Pavone <pavone@retrodev.com>
parents: 118
diff changeset
13 out <- [[[Build[Condition Set()]]Variables <<[Dictionary[]]]Subsets <<[()]]Condition Type <<["And"]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
14 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
15
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
16 OrSet[:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
17 {
120
cd25171e1bb2 Use List for Subsets instead of a Dictionary for performance reasons. Fix issue with List literals. Compiled compiler is now self-hosting.
Mike Pavone <pavone@retrodev.com>
parents: 118
diff changeset
18 out <- [[[Build[Condition Set()]]Variables <<[Dictionary[]]]Subsets <<[()]]Condition Type <<["Or"]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
19 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
20
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
21 To String@Condition Set[set:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
22 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
23 out <- [[[[[set]Condition Type >>
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
24 ]Append["Set:\n\tVariables:\n\t\t"]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
25 ]Append[ Join[Keys[[set]Variables >>], "\n\t\t"] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
26 ]Append["\n\tSubsets:\n\t\t"]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
27 ]Append[ Join[Keys[[set]Subsets >>], "\n\t\t"] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
28 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
29
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
30 Add Condition@Condition Set[set,cond:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
31 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
32 If[[Blueprint Of[cond]] = [Condition Set()]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
33 {
114
25a205094f9b More performance optimizations
Mike Pavone <pavone@retrodev.com>
parents: 102
diff changeset
34 If[[[set]Condition Type >>]=[[cond]Condition Type >>]]
25a205094f9b More performance optimizations
Mike Pavone <pavone@retrodev.com>
parents: 102
diff changeset
35 {
25a205094f9b More performance optimizations
Mike Pavone <pavone@retrodev.com>
parents: 102
diff changeset
36 out <- [[set]Variables <<[ Combine[[set]Variables >>, [cond]Variables >>] ]
120
cd25171e1bb2 Use List for Subsets instead of a Dictionary for performance reasons. Fix issue with List literals. Compiled compiler is now self-hosting.
Mike Pavone <pavone@retrodev.com>
parents: 118
diff changeset
37 ]Subsets <<[ Concatenate[[set]Subsets >>, [cond]Subsets >>] ]
114
25a205094f9b More performance optimizations
Mike Pavone <pavone@retrodev.com>
parents: 102
diff changeset
38 }{
25a205094f9b More performance optimizations
Mike Pavone <pavone@retrodev.com>
parents: 102
diff changeset
39 [cond]Empty?
25a205094f9b More performance optimizations
Mike Pavone <pavone@retrodev.com>
parents: 102
diff changeset
40 {
117
4d089503fb51 Performance optimization
Mike Pavone <pavone@retrodev.com>
parents: 115
diff changeset
41 [cond]Simple?
4d089503fb51 Performance optimization
Mike Pavone <pavone@retrodev.com>
parents: 115
diff changeset
42 { out <- [set]Variables <<[ Combine[[set]Variables >>, [cond]Variables >>] ] }
120
cd25171e1bb2 Use List for Subsets instead of a Dictionary for performance reasons. Fix issue with List literals. Compiled compiler is now self-hosting.
Mike Pavone <pavone@retrodev.com>
parents: 118
diff changeset
43 { out <- [set]Subsets <<[ [[set]Subsets>>]Append[cond] ] }
114
25a205094f9b More performance optimizations
Mike Pavone <pavone@retrodev.com>
parents: 102
diff changeset
44 }{
25a205094f9b More performance optimizations
Mike Pavone <pavone@retrodev.com>
parents: 102
diff changeset
45 out <- set
25a205094f9b More performance optimizations
Mike Pavone <pavone@retrodev.com>
parents: 102
diff changeset
46 }
25a205094f9b More performance optimizations
Mike Pavone <pavone@retrodev.com>
parents: 102
diff changeset
47 }
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
48 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
49 out <- [set]Variables <<[ [[set]Variables >>]Set[cond, Yes] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
50 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
51 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
52
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
53 =@Condition Set[set1,set2:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
54 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
55 ,out <- If[[[set1]Condition Type >>] = [[set2]Condition Type >>]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
56 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
57 ,out <- If[[[set1]Variables >>] = [[set2]Variables >>]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
58 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
59 out,out <- If[[[set1]Subsets >>] = [[set2]Subsets >>]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
60 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
61 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
62 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
63
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
64 _For Backend Var[current,junk,variable,type:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
65 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
66 If[[type]=["And"]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
67 { cond <- Val[AndCond[?]] }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
68 { cond <- Val[OrCond[?]] }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
69 out <- [cond]Call[current, variable]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
70 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
71
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
72 _For Backend Subset[current,subset,type:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
73 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
74 [subset]For Backend
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
75 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
76 If[[type]=["And"]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
77 { cond <- Val[AndCond[?]] }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
78 { cond <- Val[OrCond[?]] }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
79 out <- out <- [cond]Call[current, ~]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
80 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
81 out <- current
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
82 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
83 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
84
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
85 Empty?@Condition Set[set:not empty,empty]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
86 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
87 [[set]Variables >>]First
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
88 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
89 not empty <- Yes
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
90 }{
114
25a205094f9b More performance optimizations
Mike Pavone <pavone@retrodev.com>
parents: 102
diff changeset
91 ,empty <- [[set]Subsets >>]First
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
92 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
93 not empty <- Yes
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
94 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
95 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
96 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
97
117
4d089503fb51 Performance optimization
Mike Pavone <pavone@retrodev.com>
parents: 115
diff changeset
98 Simple?@Condition Set[set:simple,not simple]
4d089503fb51 Performance optimization
Mike Pavone <pavone@retrodev.com>
parents: 115
diff changeset
99 {
4d089503fb51 Performance optimization
Mike Pavone <pavone@retrodev.com>
parents: 115
diff changeset
100 ,not simple <- If[[Length[[set]Variables >>]]=[1]]
4d089503fb51 Performance optimization
Mike Pavone <pavone@retrodev.com>
parents: 115
diff changeset
101 {
4d089503fb51 Performance optimization
Mike Pavone <pavone@retrodev.com>
parents: 115
diff changeset
102 simple,not simple <- If[[Blueprint Of[[set]Subsets >>]]=[Empty Dictionary()]]
4d089503fb51 Performance optimization
Mike Pavone <pavone@retrodev.com>
parents: 115
diff changeset
103 }
4d089503fb51 Performance optimization
Mike Pavone <pavone@retrodev.com>
parents: 115
diff changeset
104 }
4d089503fb51 Performance optimization
Mike Pavone <pavone@retrodev.com>
parents: 115
diff changeset
105
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
106 For Backend@Condition Set[set:out,none]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
107 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
108 firstvar <- [[set]Variables >>]First
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
109 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
110 [[set]Variables >>]Next[~]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
111 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
112 vars <- _Fold[[set]Variables >>, ~, firstvar, _For Backend Var[?, ?, ?, [set]Condition Type >>]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
113 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
114 vars <- Val[firstvar]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
115 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
116 out <- Fold[_For Backend Subset[?, ?, [set]Condition Type >>], vars, [set]Subsets >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
117 }{
114
25a205094f9b More performance optimizations
Mike Pavone <pavone@retrodev.com>
parents: 102
diff changeset
118 [[set]Subsets >>]First
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
119 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
120 firstsub <- [[[set]Subsets >>]Index[~]]For Backend
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
121 [[set]Subsets >>]Next[~]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
122 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
123 out <- _Fold[[set]Subsets >>, ~, firstsub, _For Backend Subset[?, ?, [set]Condition Type >>]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
124 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
125 out <- Val[firstsub]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
126 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
127 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
128 none <- Yes
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
129 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
130 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
131 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
132
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
133 List of Lists[num:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
134 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
135 out <- Fold[Append[?, ()],(), Range[0,num]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
136 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
137
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
138 Blueprint Worker Ref
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
139 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
140 Name
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
141 Convention
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
142 Inputs
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
143 Min Inputs
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
144 Outputs
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
145 Min Outputs
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
146 Is Method?
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
147 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
148
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
149 Worker Ref[name,convention,inputs,outputs,ismethod?:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
150 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
151 out <- [[[[[[[Build[Worker Ref()]]Name <<[name]]Convention <<[convention]]Inputs <<[inputs]]Outputs <<[outputs]]Is Method? <<[ismethod?]]Min Inputs <<[inputs]]Min Outputs <<[outputs]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
152 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
153
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
154 String@Worker Ref[ref:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
155 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
156 out <- [[[[[[[["Worker Ref["
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
157 ]Append[[ref]Name >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
158 ]Append[", "]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
159 ]Append[[ref]Convention >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
160 ]Append[", "]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
161 ]Append[String[[ref]Inputs >>]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
162 ]Append[", "]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
163 ]Append[String[[ref]Outputs >>]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
164 ]Append["]"]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
165 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
166
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
167 Blueprint Node Ref
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
168 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
169 Index
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
170 IO Num
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
171 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
172
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
173 Node Ref[index,ionum:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
174 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
175 out <- [[Build[Node Ref()]]Index <<[index]]IO Num <<[ionum]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
176 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
177
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
178 =@Node Ref[left,right:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
179 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
180 ,out <- If[[[left]Index >>] = [[right]Index >>]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
181 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
182 out <- [[left]IO Num>>] = [[right]IO Num >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
183 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
184 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
185
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
186 Blueprint NWorker Node
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
187 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
188 Type
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
189 Data
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
190 Inputs
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
191 Min Inputs
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
192 Input Types
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
193 Outputs
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
194 Min Outputs
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
195 Output Types
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
196 Wires From
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
197 Wires To
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
198 Conditions
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
199 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
200
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
201 Wire To@NWorker Node[node,from,output,pre input:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
202 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
203 existing cons <- [[node]Wires To >>]Index[input] {}
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
204 { existing cons <- () }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
205 input <- [pre input]+[1]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
206 out <- [node]Wires To <<[
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
207 [[node]Wires To >>]Set[input,
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
208 [existing cons]Append[Node Ref[from,output]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
209 ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
210 ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
211 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
212
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
213 Wire From@NWorker Node[node,to,input,output:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
214 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
215 existing cons <- [[node]Wires From >>]Index[output] {}
159
d1e206ff75f9 Fix some bugs involving calling a worker object
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
216 { existing cons <- () }
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
217 out <- [node]Wires From <<[
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
218 [[node]Wires From >>]Set[output,
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
219 [existing cons]Append[Node Ref[to,input]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
220 ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
221 ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
222 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
223
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
224 _Has Input Types@NWorker Node[node,input num:does,does not]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
225 {
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
226 does <- If[[input num] >= [[node]Inputs >>]] {}
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
227 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
228 ,does not <- [[node]Input Types >>]Index[input num]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
229 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
230 count <- [~]Index[1]
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
231 ,does not <- If[[count] = [[[[node]Wires To >>]Index[[input num]+[1]]]Length]]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
232 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
233 does,does not <- [node]_Has Input Types[[input num]+[1]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
234 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
235 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
236 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
237 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
238
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
239 Has Input Types?@NWorker Node[node:does,does not]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
240 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
241 If[[[node]Inputs >>] > [0]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
242 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
243 does,does not <- _Has Input Types[node,0]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
244 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
245 does <- Yes
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
246 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
247 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
248
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
249 _Dependency[dlist,ref:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
250 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
251 [dlist]Find[=[ref, ?]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
252 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
253 out <- dlist
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
254 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
255 out <- [dlist]Append[ref]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
256 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
257 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
258
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
259 Dependencies@NWorker Node[node:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
260 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
261 out <- Fold[Fold[_Dependency[?], ?], (), [node]Wires To >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
262 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
263
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
264
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
265 NWorker Node[type,data,inputs,outputs:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
266 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
267 out <- [[[[[[[[[[[Build[NWorker Node()]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
268 ]Type <<[type]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
269 ]Data <<[data]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
270 ]Inputs <<[inputs]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
271 ]Min Inputs <<[inputs]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
272 ]Outputs <<[outputs]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
273 ]Min Outputs <<[outputs]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
274 ]Wires From <<[List of Lists[outputs]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
275 ]Wires To <<[List of Lists[[inputs]+[1]]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
276 ]Conditions <<[AndSet[]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
277 ]Input Types <<[()]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
278 ]Output Types <<[()]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
279 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
280
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
281 Blueprint NWorker
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
282 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
283 Convention
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
284 Nodes
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
285 Inputs
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
286 Input Types
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
287 Outputs
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
288 Output Types
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
289 Uses
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
290 NodeResults
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
291 Free Temps
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
292 Name
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
293 Builtin?
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
294 Library
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
295 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
296
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
297 NWorker[convention:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
298 {
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
299 out <- [[[[[[[[[[Build[NWorker()]]Convention <<[convention]]Nodes <<[()]]Inputs <<[()]]Outputs <<[()]]Input Types <<[()]]Output Types <<[()]]Name <<["Anonymous"]]Builtin? <<[No]]Library << [""]]Uses <<[()]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
300 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
301
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
302 String@NWorker[worker:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
303 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
304 out <- ["NWorker"]Append[[worker]Name >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
305 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
306
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
307 Add Node@NWorker[worker,type,data,inputs,outputs:out,node index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
308 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
309 out <- [worker]Nodes <<[[[worker]Nodes >>]Append[NWorker Node[type,data,inputs,outputs]]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
310 node index <- [[worker]Nodes >>]Length
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
311 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
312
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
313 Add Full Node@NWorker[worker,type,data,inputs,min inputs,outputs,min outputs:out,node index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
314 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
315 out <- [worker]Nodes <<[[[worker]Nodes >>]Append[
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
316 [[[NWorker Node[type,data,inputs,outputs]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
317 ]Min Inputs <<[min inputs]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
318 ]Min Outputs <<[min outputs]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
319 ]Wires To <<[List of Lists[[min inputs]+[1]]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
320 ]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
321 node index <- [[worker]Nodes >>]Length
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
322 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
323
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
324 Propagate Type[nodelist,dest,prog,worker,type:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
325 {
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
326 If[[[dest]IO Num >>] >= [0]]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
327 {
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
328 node <- [nodelist]Index[[dest]Index >>]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
329
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
330 [[node]Input Types >>]Index[[dest]IO Num >>]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
331 {
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
332 existing type <- [~]Index[0]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
333 new count <- [[~]Index[1]]+[1]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
334 If[[[existing type]Name >>] = [[type]Name >>]]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
335 {
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
336 If[[[existing type]Variant >>] = [[type]Variant >>]]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
337 {
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
338 If[[[existing type]Params >>] = [[type]Params >>]]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
339 {
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
340 new type <- Val[existing type]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
341 }{
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
342 new variant <- [existing type]Variant >>
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
343 new params <- ()
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
344 }
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
345 }{
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
346 new variant <- "Boxed"
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
347 If[[[existing type]Params >>] = [[type]Params >>]]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
348 {
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
349 new params <- [existing type]Params >>
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
350 }{
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
351 new params <- ()
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
352 }
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
353 }
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
354 new type <- [[existing type]Set Variant[new variant]]Params <<[new params]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
355 }{
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
356 new type <- Type Instance["Any Type"]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
357 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
358 }{
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
359 new type <- Val[type]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
360 new count <- 1
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
361 }
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
362 new node <- [node]Input Types <<[
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
363 [ [node]Input Types >> ]Set[ [dest]IO Num >>, [[()]Append[new type]]Append[new count] ]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
364 ]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
365 out <- Infer Types Node[[nodelist]Set[[dest]Index >>, new node], new node, [dest]Index >>, prog, worker]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
366 }{
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
367 out <- nodelist
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
368 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
369 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
370
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
371 Propagate Types[nodelist,dests,output num,prog,worker,source node:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
372 {
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
373 [[source node]Output Types >>]Index[output num]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
374 {
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
375 out <- Fold[Propagate Type[?, ?, prog, worker, ~], nodelist, dests]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
376 }{
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
377 out <- nodelist
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
378 }
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
379 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
380
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
381 Infer Types Node[nodelist,node,index,prog,worker:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
382 {
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
383 If[[[node]Type >>]=["call"]]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
384 {
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
385 extra <- [", worker: "]Append[[[node]Data >>]Name >>]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
386 }{
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
387 extra <- ""
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
388 }
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
389 If[[[node]Type >>] = ["const"]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
390 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
391 const type <- Blueprint Of[[node]Data >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
392 [(Int8(),UInt8(),Int16(),UInt16(),Int32(),UInt32(),Int64(),UInt64(),
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
393 Type Instance(),Worker Literal(),List(),List Leaf(),String(),String Slice(),String Cat())]Find[=[const type, ?]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
394 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
395 outtype <- [("Int8","UInt8","Int16","UInt16","Int32","UInt32","Int64","UInt64",
168
d2b941f82d74 Fix type of list constants in inference pass and return type of some Array related workers
Mike Pavone <pavone@retrodev.com>
parents: 167
diff changeset
396 "Blueprint","Worker","List","List Leaf","String","String","String")]Index[~]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
397 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
398 outtype <- "Any Type"
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
399 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
400 nextnode <- [node]Output Types <<[ [()]Append[Type Instance[outtype]] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
401
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
402 }{
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
403 If[[[node]Type >>] = ["setglobal"]]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
404 {
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
405 out <- nodelist
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
406 }{
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
407 If[[[node]Type >>] = ["input"]]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
408 {
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
409 nextnode <- [node]Output Types <<[ [()]Append[ [[worker]Input Types >>]Index[[node]Data >>] ] ]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
410 }{
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
411 If[[[node]Type >>] = ["output"]]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
412 {
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
413 out <- nodelist
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
414
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
415 }{
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
416 If[[[node]Type >>] = ["getglobal"]]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
417 {
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
418 nextnode <- [node]Output Types <<[ [()]Append[Type Instance["Any Type"]] ]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
419 }{
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
420 [node]Has Input Types?
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
421 {
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
422 If[[[node]Type >>] = ["setfield"]]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
423 {
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
424 nextnode <- [node]Output Types <<[ [()]Append[ [[[node]Input Types >>]Index[0]]Index[0] ] ]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
425 }{
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
426 If[[[node]Type >>] = ["getfield"]]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
427 {
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
428 type <- [[[node]Input Types >>]Index[0]]Index[0]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
429 If[[[type]Name >>] = ["Any Type"]]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
430 {
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
431 outtype <- Val[type]
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
432 }{
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
433 outtype <- [prog]Find Field[[node]Data >>, type] {}
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
434 {
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
435 //TODO: Return errors rather than printing them
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
436 Print[
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
437 [[[[["Type "
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
438 ]Append[[type]Name >>]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
439 ]Append[" does not have a field named "]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
440 ]Append[[node]Data >>]
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
441 ]Append[" in worker "]
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
442 ]Append[worker name]]
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
443 }
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
444 }
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
445 nextnode <- [node]Output Types <<[ [()]Append[outtype] ]
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
446 }{
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
447 worker name <- [[node]Data >>]Name >>
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
448 [prog]Is Method?[worker name]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
449 {
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
450 first arg type <- [[[node]Input Types >>]Index[0]]Index[0]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
451 If[[[first arg type]Name >>] = ["Any Type"]]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
452 {
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
453 outtypes <- Fold[Append[?, Type Instance["Any Type"]], (), Range[0, [node]Inputs >>]]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
454 nextnode <- [node]Output Types <<[ outtypes ]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
455 }{
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
456 worker def <- [prog]Find Method[worker name, first arg type]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
457 {
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
458 new worker name <- [[worker name]Append["@"]]Append[[first arg type]Name >>]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
459 new ref <- [prog]Find Worker[new worker name] {} {
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
460 Print[["Could not find worker ref for "]Append[new worker name]]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
461 }
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
462 nextnode <- [[node]Output Types <<[outtypes]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
463 ]Data <<[new ref]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
464 }{
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
465 //TODO: Return errors instead of printing them
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
466 Print[
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
467 [[[[["Type "
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
468 ]Append[[first arg type]Name >>]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
469 ]Append[" does not support method "]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
470 ]Append[worker name]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
471 ]Append[" in worker "]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
472 ]Append[ [worker]Name >> ]]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
473 }
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
474 }
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
475 }{
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
476 worker def <- [prog]Find Worker Def[worker name] {}
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
477 { Print["Error, could not find worker def"] }
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
478 nextnode <- [node]Output Types <<[ outtypes ]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
479 }
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
480 outtypes <- [worker def]Output Types >>
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
481 }
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
482 }
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
483 }{
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
484 out <- nodelist
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
485 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
486 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
487 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
488 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
489 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
490 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
491
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
492 Val[nextnode]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
493 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
494 nextlist <- [nodelist]Set[index, nextnode]
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
495 out <- Fold[Propagate Types[?, ?, ?, prog, worker, nextnode], nextlist, [nextnode]Wires From >>]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
496 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
497 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
498
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
499 Infer Types@NWorker[worker,prog:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
500 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
501 out <- [worker]Nodes <<[Fold[Infer Types Node[?, ?, ?, prog, worker], [worker]Nodes >>, [worker]Nodes >>]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
502 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
503
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
504 Add Worker Call@NWorker[worker,tocall:out,node index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
505 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
506 out, node index <- [worker]Add Full Node["call",tocall,[tocall]Inputs >>, [tocall]Min Inputs >>,[tocall]Outputs >>, [tocall]Min Outputs >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
507 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
508
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
509 Add Constant@NWorker[worker,constant:out,node index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
510 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
511 out, node index <- [worker]Add Node["const",constant,0,1]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
512 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
513
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
514 Add Input@NWorker[worker,name,number:out,node index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
515 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
516 out,node index <- [worker]Add Typed Input[name,number,Type Instance["Any Type"]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
517 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
518
118
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
519 Add Anon Input@NWorker[worker,number:out]
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
520 {
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
521 If[[number]>[Length[[worker]Inputs >>]]]
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
522 {
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
523 prepped <- [worker]Add Anon Input[[number]-[1]]
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
524 }{
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
525 prepped <- Val[worker]
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
526 }
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
527 out <- out <- [[prepped]Inputs <<[[[prepped]Inputs >>]Set[number,[" unnamed"]Append[String[number]]]]
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
528 ]Input Types <<[[[prepped]Input Types >>]Set[number,Type Instance["Any Type"]]]
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
529 }
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
530
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
531 Add Typed Input@NWorker[worker,name,number,type:out,node index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
532 {
118
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
533 If[[number]>[Length[[worker]Inputs >>]]]
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
534 {
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
535 prepped <- [worker]Add Anon Input[[number]-[1]]
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
536 }{
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
537 prepped <- Val[worker]
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
538 }
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
539 ,node index <- [prepped]Add Node["input",number,0,1]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
540 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
541 out <- [[~]Inputs <<[[[~]Inputs >>]Set[number,name]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
542 ]Input Types <<[[[~]Input Types >>]Set[number,type]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
543 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
544 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
545
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
546 Add Output@NWorker[worker,name,number:out,node index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
547 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
548 out,node index <- [worker]Add Typed Output[name,number,Type Instance["Any Type"]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
549 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
550
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
551 Add Typed Output@NWorker[worker,name,number,type:out,node index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
552 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
553 ,node index <- [worker]Add Node["output",number,1,0]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
554 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
555 out <- [[~]Outputs <<[[[~]Outputs >>]Set[number,name]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
556 ]Output Types <<[[[~]Output Types >>]Set[number,type]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
557 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
558 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
559
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
560 Add Object Get@NWorker[worker,fieldname:out,node index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
561 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
562 out, node index <- [worker]Add Node["getfield",fieldname,1,1]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
563 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
564
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
565 Add Object Set@NWorker[worker,fieldname:out,node index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
566 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
567 out, node index <- [worker]Add Node["setfield",fieldname,2,1]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
568 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
569
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
570 Add Global Get@NWorker[worker,store,var:out,node index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
571 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
572 out, node index <- [worker]Add Node["getglobal",[[()]Append[store]]Append[var],0,1]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
573 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
574
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
575 Add Global Set@NWorker[worker,store,var:out,node index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
576 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
577 out, node index <- [worker]Add Node["setglobal",[[()]Append[store]]Append[var],1,1]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
578 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
579
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
580 Add Wire@NWorker[worker,from,output,to,input:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
581 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
582 fromw <- [[[worker]Nodes >>]Index[from]]Wire From[to,input,output]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
583 tow <- [[[worker]Nodes >>]Index[to]]Wire To[from,output,input]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
584 nodes <- [[[worker]Nodes >>]Set[from, fromw]]Set[to, tow]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
585 out <- [worker]Nodes <<[nodes]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
586 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
587
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
588 Uses@NWorker[worker,uses:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
589 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
590 out <- [worker]Uses <<[uses]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
591 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
592
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
593 _No Dependencies[list,node,index:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
594 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
595 [[node]Wires To>>]Index[1]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
596 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
597 out <- Val[list]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
598 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
599 [[[node]Wires To>>]Index[0]]First
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
600 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
601 out <- Val[list]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
602 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
603 out <- [list]Append[index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
604 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
605 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
606 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
607
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
608 No Dependencies@NWorker[worker:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
609 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
610 out <- Fold[_No Dependencies[?], (), [worker]Nodes >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
611 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
612
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
613 _Collect Dests[candidates,wire:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
614 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
615 out <- [candidates]Set[[wire]Index >>, Yes]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
616 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
617
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
618 Collect Dests@NWorker[worker,candidates,node index:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
619 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
620 out <- Fold[Fold[_Collect Dests[?], ?], candidates, [[[worker]Nodes >>]Index[node index]]Wires From >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
621 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
622
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
623 Check Dependency@NWorker[worker,nodes,wires,wire index:met?]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
624 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
625 ref <- [wires]Index[wire index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
626 [nodes]Find[=[[ref]Index >>, ?]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
627 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
628 [wires]Next[wire index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
629 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
630 met? <- [worker]Check Dependency[nodes,wires,~]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
631 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
632 met? <- Yes
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
633 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
634 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
635 met? <- No
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
636 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
637 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
638 _Check Dependencies@NWorker[worker,nodes,inputs,input index:met?]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
639 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
640 wires <- [inputs]Index[input index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
641 [wires]First
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
642 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
643 current met? <- [worker]Check Dependency[nodes, wires, ~]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
644 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
645 current met? <- Yes
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
646 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
647 If[current met?]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
648 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
649 [inputs]Next[input index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
650 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
651 met? <- [worker]_Check Dependencies[nodes,inputs,~]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
652 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
653 met? <- Yes
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
654 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
655 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
656 met? <- No
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
657 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
658 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
659
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
660 Check Dependencies@NWorker[worker,nodes,candidate:met?]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
661 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
662 inputs <- [[[worker]Nodes >>]Index[candidate]]Wires To >>
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
663 [inputs]First
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
664 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
665 met? <- [worker]_Check Dependencies[nodes, inputs, ~]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
666 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
667 met? <- Yes
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
668 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
669 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
670
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
671 Dependants@NWorker[worker,direct nodes,nodes:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
672 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
673 candidates <- Keys[Fold[Collect Dests[worker, ?], (), direct nodes]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
674 out <- Filter[candidates, Check Dependencies[worker, nodes, ?]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
675 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
676
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
677 _Dependency Groups@NWorker[worker,last,all,grouped:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
678 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
679 current <- [worker]Dependants[last,all]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
680 [current]First
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
681 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
682 out <- [worker]_Dependency Groups[current, [all]Concatenate[current], [grouped]Append[current]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
683 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
684 out <- grouped
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
685 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
686 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
687 Dependency Groups@NWorker[worker:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
688 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
689 no deps <- [worker]No Dependencies
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
690 out <- [worker]_Dependency Groups[no deps, no deps, [()]Append[no deps]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
691 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
692
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
693 Const Name[val,node index,worker name:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
694 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
695 valtype <- Blueprint Of[val]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
696 If[[valtype] = [Type Instance()]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
697 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
698 //TODO: Support parametric types
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
699 datstring <- [val]Name >>
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
700 typename <- "Blueprint"
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
701 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
702 [(Int8(),UInt8(),Int16(),UInt16(),Int32(),UInt32(),Int64(),UInt64())]Find[=[valtype,?]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
703 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
704 size <- [("8","16","32","64")]Index[[~]/[2]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
705 typename <- [("Int8","UInt8","Int16","UInt16","Int32","UInt32","Int64","UInt64")]Index[~]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
706 If[[~]Mod[2]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
707 { s <- "UI" }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
708 { s <- "I" }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
709 datstring <- [[String[val]]Append[s]]Append[size]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
710 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
711 If[[valtype] = [Worker Literal()]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
712 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
713 typename <- "Worker"
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
714 If[[[[val]Args >>]Length] > [0]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
715 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
716 datstring <- [[["Arg "]Append[String[node index]]]Append[" "]]Append[worker name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
717 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
718 datstring <- [val]Name >>
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
719 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
720 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
721 [(List(),List Leaf())]Find[=[valtype,?]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
722 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
723 typename <- "List"
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
724 If[[[val]Length] > [0]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
725 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
726 datstring <- [[["Arg "]Append[String[node index]]]Append[" "]]Append[worker name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
727 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
728 datstring <- "Empty"
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
729 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
730 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
731 [(String(),String Cat(),String Slice())]Find[=[valtype, ?]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
732 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
733 typename <- "String"
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
734 datstring <- val
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
735 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
736 typename <- "Unknown"
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
737 datstring <- String[val]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
738 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
739
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
740 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
741 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
742 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
743 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
744 out <- [[typename]Append["_"]]Append[datstring]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
745 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
746
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
747 Format Input@NWorker[worker,noderef:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
748 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
749 node <- [[worker]Nodes >>]Index[[noderef]Index >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
750
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
751 [("call","getfield","setfield")]Find[=[[node]Type >>, ?]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
752 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
753 maybe addref <- Result Var Name[[noderef]IO Num >>, [noderef]Index >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
754 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
755 conditions <- [node]Conditions >>
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
756
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
757 If[[[node]Type >>] = ["input"]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
758 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
759 input name <- [[worker]Inputs >>]Index[ [node]Data >> ]
114
25a205094f9b More performance optimizations
Mike Pavone <pavone@retrodev.com>
parents: 102
diff changeset
760 [conditions]Empty?
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
761 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
762 out <- AddRef[Result Var Name[[noderef]IO Num >>, [noderef]Index >>]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
763 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
764 out <- AddRef[input name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
765 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
766 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
767 If[[[node]Type >>] = ["const"]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
768 {
114
25a205094f9b More performance optimizations
Mike Pavone <pavone@retrodev.com>
parents: 102
diff changeset
769 [conditions]Empty?
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
770 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
771 out <- AddRef[Result Var Name[[noderef]IO Num >>, [noderef]Index >>]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
772 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
773 out <- Constant[Const Name[[node]Data >>, [noderef]Index >>, [worker]Name >>]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
774 }
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
775 }{
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
776 If[[[node]Type >>]=["getglobal"]]
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
777 {
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
778 [conditions]Empty?
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
779 {
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
780 out <- AddRef[Result Var Name[[noderef]IO Num >>, [noderef]Index >>]]
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
781 }{
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
782 out <- AddRef[Global Get[[[node]Data >>]Index[0], [[node]Data >>]Index[1]]]
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
783 }
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
784 }
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
785 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
786 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
787 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
788
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
789 Val[maybe addref]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
790 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
791 If[[Length[[[node]Wires From >>]Index[[noderef]IO Num >>]]] > [1]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
792 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
793 out <- AddRef[maybe addref]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
794 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
795 out <- Val[maybe addref]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
796 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
797 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
798 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
799
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
800 Collect Input@NWorker[worker,nodeinput:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
801 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
802 inputchoices <- Map[nodeinput, Format Input[worker, ?]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
803
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
804 [inputchoices]First
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
805 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
806 first <- [inputchoices]Index[~]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
807 [inputchoices]Next[~]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
808 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
809 out <- _Fold[inputchoices, ~, first, OrValue[?]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
810 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
811 out <- Val[first]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
812 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
813 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
814 out <- "Missing"
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
815 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
816 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
817
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
818 Collect Inputs@NWorker[worker,node:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
819 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
820 out <- Map[Tail[[node]Wires To>>, 1], Collect Input[worker, ?]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
821 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
822
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
823 Collect Input Condition@NWorker[worker,set,noderef:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
824 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
825 node <- [[worker]Nodes >>]Index[ [noderef]Index >> ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
826 If[[[node]Outputs >>] > [1]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
827 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
828 out <- [set]Add Condition[ Result Var Name[[noderef]IO Num >>, [noderef]Index >>] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
829 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
830 out <- [set]Add Condition[[node]Conditions >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
831 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
832 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
833
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
834 Collect Condition@NWorker[worker,set,nodeinput:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
835 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
836 out <- [set]Add Condition[Fold[Collect Input Condition[worker, ?], OrSet[], nodeinput]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
837 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
838
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
839 Collect Conditions@NWorker[worker,node:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
840 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
841 out <- Fold[Collect Condition[worker, ?], AndSet[], [node]Wires To>>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
842 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
843
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
844 Save Result[func,num,node index:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
845 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
846 out <- [func]Move[Result[num], Result Var Name[num, node index]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
847 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
848
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
849 Save Maybe Result[func,num,node index:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
850 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
851 out <- [func]Move[Check Result[num], Result Var Name[num, node index]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
852 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
853
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
854 Max Used Output[node,cur:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
855 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
856 If[[cur] < [0]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
857 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
858 out <- cur
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
859 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
860 [[[node]Wires From >>]Index[cur]]Index[0]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
861 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
862 out <- cur
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
863 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
864 out <- Max Used Output[node, [cur]-[1]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
865 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
866 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
867 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
868
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
869 Compile Call Node[node,program,func,inputs,node index:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
870 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
871 If[[[node]Type >>] = ["getfield"]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
872 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
873 with call <- [func]Get Field Call[[node]Data >>, [inputs]Index[0]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
874 save outs <- [node]Outputs >>
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
875 out <- Val[after save]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
876 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
877 If[[[node]Type >>] = ["setfield"]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
878 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
879 with call <- [func]Set Field Call[[node]Data >>, [inputs]Index[0], [inputs]Index[1]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
880 save outs <- [node]Outputs >>
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
881 out <- Val[after save]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
882 }{
169
fd06fb07762a Basic inlining of arithmetic and comparison operations on integer types
Mike Pavone <pavone@retrodev.com>
parents: 168
diff changeset
883 fname <- [[node]Data >>]Name >>
172
926b56a43f47 Fix some bugs related to inlining
Mike Pavone <pavone@retrodev.com>
parents: 171
diff changeset
884 first unused <- [Max Used Output[node, [[node]Outputs >>]-[1]]]+[1]
169
fd06fb07762a Basic inlining of arithmetic and comparison operations on integer types
Mike Pavone <pavone@retrodev.com>
parents: 168
diff changeset
885 [program]Method?[fname]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
886 {
169
fd06fb07762a Basic inlining of arithmetic and comparison operations on integer types
Mike Pavone <pavone@retrodev.com>
parents: 168
diff changeset
887 with call <- [func]Method Call[fname, inputs]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
888 }{
170
ac5c2d78663f Inline calls to If@Boolean when static type info is present
Mike Pavone <pavone@retrodev.com>
parents: 169
diff changeset
889 justfunc,,,normal call <- [fname]Partition["@"]
169
fd06fb07762a Basic inlining of arithmetic and comparison operations on integer types
Mike Pavone <pavone@retrodev.com>
parents: 168
diff changeset
890 {
fd06fb07762a Basic inlining of arithmetic and comparison operations on integer types
Mike Pavone <pavone@retrodev.com>
parents: 168
diff changeset
891 //Check for inline on static method calls
fd06fb07762a Basic inlining of arithmetic and comparison operations on integer types
Mike Pavone <pavone@retrodev.com>
parents: 168
diff changeset
892 //TODO: Deal with unused output
170
ac5c2d78663f Inline calls to If@Boolean when static type info is present
Mike Pavone <pavone@retrodev.com>
parents: 169
diff changeset
893 If[[[inputs]Length]=[2]]
ac5c2d78663f Inline calls to If@Boolean when static type info is present
Mike Pavone <pavone@retrodev.com>
parents: 169
diff changeset
894 {
ac5c2d78663f Inline calls to If@Boolean when static type info is present
Mike Pavone <pavone@retrodev.com>
parents: 169
diff changeset
895 out,normal call <- Compile Number Inline Check[func, justfunc, [[[node]Input Types >>]Index[0]]Index[0], [[[node]Input Types >>]Index[1]]Index[0], [inputs]Index[0], [inputs]Index[1], Result Var Name[0, node index]]
ac5c2d78663f Inline calls to If@Boolean when static type info is present
Mike Pavone <pavone@retrodev.com>
parents: 169
diff changeset
896 }{
ac5c2d78663f Inline calls to If@Boolean when static type info is present
Mike Pavone <pavone@retrodev.com>
parents: 169
diff changeset
897 ,normal call <- If[[[inputs]Length]=[1]]
ac5c2d78663f Inline calls to If@Boolean when static type info is present
Mike Pavone <pavone@retrodev.com>
parents: 169
diff changeset
898 {
172
926b56a43f47 Fix some bugs related to inlining
Mike Pavone <pavone@retrodev.com>
parents: 171
diff changeset
899 //TODO: Inline a partial version of If when only one output is used
926b56a43f47 Fix some bugs related to inlining
Mike Pavone <pavone@retrodev.com>
parents: 171
diff changeset
900 ,normal call <- If[[first unused]>[1]]
926b56a43f47 Fix some bugs related to inlining
Mike Pavone <pavone@retrodev.com>
parents: 171
diff changeset
901 {
926b56a43f47 Fix some bugs related to inlining
Mike Pavone <pavone@retrodev.com>
parents: 171
diff changeset
902 out,normal call <- Compile Boolean Inline Check[func, justfunc, [[[node]Input Types >>]Index[0]]Index[0], [inputs]Index[0], Result Var Name[0, node index], Result Var Name[1, node index]]
926b56a43f47 Fix some bugs related to inlining
Mike Pavone <pavone@retrodev.com>
parents: 171
diff changeset
903 }
170
ac5c2d78663f Inline calls to If@Boolean when static type info is present
Mike Pavone <pavone@retrodev.com>
parents: 169
diff changeset
904 }
ac5c2d78663f Inline calls to If@Boolean when static type info is present
Mike Pavone <pavone@retrodev.com>
parents: 169
diff changeset
905 }
169
fd06fb07762a Basic inlining of arithmetic and comparison operations on integer types
Mike Pavone <pavone@retrodev.com>
parents: 168
diff changeset
906 }
fd06fb07762a Basic inlining of arithmetic and comparison operations on integer types
Mike Pavone <pavone@retrodev.com>
parents: 168
diff changeset
907
fd06fb07762a Basic inlining of arithmetic and comparison operations on integer types
Mike Pavone <pavone@retrodev.com>
parents: 168
diff changeset
908 Val[normal call]
fd06fb07762a Basic inlining of arithmetic and comparison operations on integer types
Mike Pavone <pavone@retrodev.com>
parents: 168
diff changeset
909 {
fd06fb07762a Basic inlining of arithmetic and comparison operations on integer types
Mike Pavone <pavone@retrodev.com>
parents: 168
diff changeset
910 with call <- [func]Call[fname, inputs]
fd06fb07762a Basic inlining of arithmetic and comparison operations on integer types
Mike Pavone <pavone@retrodev.com>
parents: 168
diff changeset
911 }
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
912 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
913 If[[first unused] > [[node]Min Outputs >>]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
914 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
915 save outs <- [node]Min Outputs >>
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
916 after maybe <- Fold[Save Maybe Result[?, ?, node index], after save, Range[save outs, first unused]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
917 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
918 save outs <- Val[first unused]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
919 after maybe <- Val[after save]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
920 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
921 If[[first unused] < [[node]Outputs >>]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
922 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
923 out <- [after maybe]Discard Outputs[first unused]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
924 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
925 out <- Val[after maybe]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
926 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
927 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
928 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
929 after save <- Fold[Save Result[?, ?, node index], with call, Range[0, save outs]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
930 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
931
112
fd23ab2c1a73 Small changes to make profile data a little cleaner
Mike Pavone <pavone@retrodev.com>
parents: 102
diff changeset
932 Compile Node[worker,program,func,nodes,current:out,out worker]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
933 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
934 node index <- [nodes]Index[current]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
935 node <- [[worker]Nodes >>]Index[node index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
936 conditions <- [node]Conditions >>
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
937 [("call","getfield","setfield")]Find[=[[node]Type >>, ?]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
938 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
939 inputs <- [worker]Collect Inputs[node]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
940 [conditions]For Backend
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
941 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
942 stream <- [func]Instruction Stream
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
943 nfunc <- [func]Do If[~, nstream]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
944 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
945 stream <- Val[func]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
946 nfunc <- Val[nstream]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
947 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
948 nstream <- Compile Call Node[node, program, stream, inputs, node index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
949 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
950 If[[[node]Type >>] = ["output"]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
951 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
952 inputs <- [worker]Collect Inputs[node]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
953 [conditions]For Backend
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
954 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
955 stream <- [func]Instruction Stream
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
956 nfunc <- [func]Do If[~, nstream]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
957 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
958 stream <- Val[func]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
959 nfunc <- Val[nstream]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
960 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
961 nstream <- [stream]Move[[inputs]Index[0], [[worker]Outputs >>]Index[ [node]Data >> ] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
962 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
963 If[[[node]Type >>] = ["const"]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
964 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
965 constname <- Const Name[[node]Data >>, node index, [worker]Name >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
966 withconst <- [func]Register Constant[constname, [node]Data >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
967 [conditions]For Backend
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
968 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
969 stream <- [[withconst]Instruction Stream
118
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
970 ]Move[Strip Addref[Constant[constname]], Result Var Name[0, node index]]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
971 nfunc <- [withconst]Do If[~, stream]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
972 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
973 nfunc <- Val[withconst]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
974 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
975 }{
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
976 If[[[node]Type >>]=["getglobal"]]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
977 {
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
978 [conditions]For Backend
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
979 {
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
980 stream <- [[func]Instruction Stream
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
981 ]Move[Global Get[[[node]Data >>]Index[0], [[node]Data >>]Index[1]], Result Var Name[0, node index]]
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
982 nfunc <- [func]Do If[~, stream]
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
983 }{
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
984 nfunc <- Val[func]
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
985 }
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
986 }{
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
987 If[[[node]Type >>]=["setglobal"]]
172
926b56a43f47 Fix some bugs related to inlining
Mike Pavone <pavone@retrodev.com>
parents: 171
diff changeset
988
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
989 {
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
990 inputs <- [worker]Collect Inputs[node]
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
991 [conditions]For Backend
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
992 {
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
993 stream <- [func]Instruction Stream
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
994 nfunc <- [func]Do If[~, nstream]
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
995 }{
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
996 stream <- Val[func]
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
997 nfunc <- Val[nstream]
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
998 }
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
999 nstream <- [stream]Set Global[[[node]Data >>]Index[0], [[node]Data >>]Index[1], [inputs]Index[0]]
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
1000 }{
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
1001 [conditions]For Backend
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
1002 {
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
1003 input name <- [[worker]Inputs >>]Index[ [node]Data >> ]
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
1004 stream <- [[func]Instruction Stream
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
1005 ]Move[input name, Result Var Name[0, node index]]
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
1006 nfunc <- [func]Do If[~, stream]
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
1007 }{
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
1008 nfunc <- Val[func]
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
1009 }
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
1010 }
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1011 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1012 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1013
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1014 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1015 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1016 [nodes]Next[current]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1017 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1018 out,out worker <- [worker]Compile Node[program,nfunc,nodes,~]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1019 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1020 out <- Val[nfunc]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1021 out worker <- Val[worker]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1022 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1023 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1024
112
fd23ab2c1a73 Small changes to make profile data a little cleaner
Mike Pavone <pavone@retrodev.com>
parents: 102
diff changeset
1025 Save Node Conditions[worker,node index:out]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1026 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1027 node <- [[worker]Nodes >>]Index[node index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1028 conditions <- [worker]Collect Conditions[node]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1029 out <- [worker]Nodes <<[ [[worker]Nodes >>]Set[node index, [node]Conditions <<[conditions]] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1030
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1031 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1032
112
fd23ab2c1a73 Small changes to make profile data a little cleaner
Mike Pavone <pavone@retrodev.com>
parents: 102
diff changeset
1033 Save Group Conditions[worker, groups,current:out]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1034 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1035 nodes <- [groups]Index[current]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1036 nworker <- Fold[Save Node Conditions[?], worker, nodes]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1037
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1038 [groups]Next[current]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1039 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1040 out <- [nworker]Save Group Conditions[groups,~]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1041 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1042 out <- Val[nworker]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1043 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1044 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1045
112
fd23ab2c1a73 Small changes to make profile data a little cleaner
Mike Pavone <pavone@retrodev.com>
parents: 102
diff changeset
1046 Compile Group[worker,program,func,groups,current:out,out worker]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1047 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1048 nodes <- [groups]Index[current]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1049 [nodes]First
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1050 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1051 nfunc,nworker <- [worker]Compile Node[program,func,nodes,~]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1052 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1053 nfunc <- Val[func]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1054 nworker <- Val[worker]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1055 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1056 [groups]Next[current]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1057 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1058 out,out worker <- [nworker]Compile Group[program,nfunc,groups,~]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1059 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1060 out <- Val[nfunc]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1061 out worker <- Val[nworker]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1062 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1063 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1064
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1065 Release Var@NWorker[worker,func,name:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1066 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1067 //__result_index_ionum
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1068 parts <- [name]Split["_"]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1069 index <- Int32[ [parts]Index[3] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1070 io num <- Int32[ [parts]Index[4] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1071 node <- [[worker]Nodes >>]Index[index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1072 dests <- [[node]Wires From >>]Index[io num] {}
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1073
121
1af91ceaaf49 Fixed memory leak when an output is only attached to a single null input
Mike Pavone <pavone@retrodev.com>
parents: 120
diff changeset
1074 ,normal <- If[[[dests]Length] = [1]]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1075 {
121
1af91ceaaf49 Fixed memory leak when an output is only attached to a single null input
Mike Pavone <pavone@retrodev.com>
parents: 120
diff changeset
1076 [dests]Index[0]
1af91ceaaf49 Fixed memory leak when an output is only attached to a single null input
Mike Pavone <pavone@retrodev.com>
parents: 120
diff changeset
1077 {
1af91ceaaf49 Fixed memory leak when an output is only attached to a single null input
Mike Pavone <pavone@retrodev.com>
parents: 120
diff changeset
1078 dest index <- [~]Index >>
1af91ceaaf49 Fixed memory leak when an output is only attached to a single null input
Mike Pavone <pavone@retrodev.com>
parents: 120
diff changeset
1079 dest IO <- [~]IO Num >>
1af91ceaaf49 Fixed memory leak when an output is only attached to a single null input
Mike Pavone <pavone@retrodev.com>
parents: 120
diff changeset
1080 }
1af91ceaaf49 Fixed memory leak when an output is only attached to a single null input
Mike Pavone <pavone@retrodev.com>
parents: 120
diff changeset
1081 normal <- If[[dest IO] = [-1]] {}
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1082 {
121
1af91ceaaf49 Fixed memory leak when an output is only attached to a single null input
Mike Pavone <pavone@retrodev.com>
parents: 120
diff changeset
1083 dest node <- [[worker]Nodes >>]Index[dest index]
1af91ceaaf49 Fixed memory leak when an output is only attached to a single null input
Mike Pavone <pavone@retrodev.com>
parents: 120
diff changeset
1084
1af91ceaaf49 Fixed memory leak when an output is only attached to a single null input
Mike Pavone <pavone@retrodev.com>
parents: 120
diff changeset
1085 [[dest node]Conditions >>]For Backend
1af91ceaaf49 Fixed memory leak when an output is only attached to a single null input
Mike Pavone <pavone@retrodev.com>
parents: 120
diff changeset
1086 {
1af91ceaaf49 Fixed memory leak when an output is only attached to a single null input
Mike Pavone <pavone@retrodev.com>
parents: 120
diff changeset
1087 out <- [func]Do If[AndCond[NotCond[~], name], [[func]Instruction Stream]Release[name]]
1af91ceaaf49 Fixed memory leak when an output is only attached to a single null input
Mike Pavone <pavone@retrodev.com>
parents: 120
diff changeset
1088 }{
1af91ceaaf49 Fixed memory leak when an output is only attached to a single null input
Mike Pavone <pavone@retrodev.com>
parents: 120
diff changeset
1089 out <- func
1af91ceaaf49 Fixed memory leak when an output is only attached to a single null input
Mike Pavone <pavone@retrodev.com>
parents: 120
diff changeset
1090 }
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1091 }
121
1af91ceaaf49 Fixed memory leak when an output is only attached to a single null input
Mike Pavone <pavone@retrodev.com>
parents: 120
diff changeset
1092 }
1af91ceaaf49 Fixed memory leak when an output is only attached to a single null input
Mike Pavone <pavone@retrodev.com>
parents: 120
diff changeset
1093
1af91ceaaf49 Fixed memory leak when an output is only attached to a single null input
Mike Pavone <pavone@retrodev.com>
parents: 120
diff changeset
1094 Val[normal]
1af91ceaaf49 Fixed memory leak when an output is only attached to a single null input
Mike Pavone <pavone@retrodev.com>
parents: 120
diff changeset
1095 {
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1096 do if <- If[[[node]Outputs >>] > [1]] {}
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1097 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1098 do if <- [[node]Conditions >>]Empty? {}
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1099 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1100 out <- [func]Release[name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1101 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1102 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1103
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1104 Val[do if]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1105 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1106 stream <- [[func]Instruction Stream]Release[name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1107 out <- [func]Do If[name, stream]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1108 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1109 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1110 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1111
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1112 Result Var Name[io num, index:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1113 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1114 out <- [[["__result_"]Append[String[index]]]Append["_"]]Append[String[io num]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1115 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1116
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1117 Result Var[vars,io num,index:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1118 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1119 out <- [vars]Append[Result Var Name[io num, index]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1120 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1121
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1122 Node Result Vars[vars,node,index:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1123 {
142
7bbdc034e347 Fix some bugs. Get basic network code working (epoll listener + accept connections). Start porting webserver.
Mike Pavone <pavone@retrodev.com>
parents: 141
diff changeset
1124 [("call","getfield","setfield","getglobal")]Find[=[[node]Type >>, ?]]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1125 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1126 If[[[node]Type >>]=["call"]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1127 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1128 save outs <- [Max Used Output[node, [[node]Outputs >>]-[1]]]+[1]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1129 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1130 save outs <- [node]Outputs >>
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1131 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1132 out <- Fold[Result Var[?, ?, index], vars, Range[0, save outs]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1133 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1134 out <- vars
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1135 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1136 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1137
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1138 Result Vars@NWorker[worker:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1139 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1140 out <- Fold[Node Result Vars[?], (), [worker]Nodes >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1141 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1142
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1143 _No Release[vars,node,index,worker:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1144 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1145 [("const","input")]Find[=[[node]Type >>, ?]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1146 {
114
25a205094f9b More performance optimizations
Mike Pavone <pavone@retrodev.com>
parents: 102
diff changeset
1147 [[node]Conditions >>]Empty?
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1148 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1149 out <- Result Var[vars, 0, index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1150 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1151 out <- vars
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1152 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1153 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1154 out <- vars
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1155 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1156 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1157
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1158 No Release Results@NWorker[worker:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1159 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1160 out <- Fold[_No Release[?, ?, ?, worker], (), [worker]Nodes >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1161 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1162
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1163 Make Basic Type[type:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1164 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1165 out <- [Type Instance[[type]Name >>]]Params <<[ [type]Params >> ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1166 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1167
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1168 FInputs[ifunc, input type, index, inputs:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1169 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1170 func <- [ifunc]Set Input Type[Make Basic Type[input type], index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1171 name <- [inputs]Index[index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1172 If[[[input type]Variant >>] = ["Naked"]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1173 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1174
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1175 naked <- [" naked"]Append[name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1176
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1177 out <- [[[func]Allocate Var[naked, input type]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1178 ]Unbox[name, naked]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1179 ]Release[name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1180 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1181 If[[input type]Mutable? >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1182 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1183 name <- [inputs]Index[index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1184 copied <- [func]Copy[name, name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1185
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1186 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1187 copied <- Val[func]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1188 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1189 If[[[input type]Variant >>] = ["Raw Pointer"]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1190 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1191 raw <- [" raw"]Append[name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1192 If[[[input type]Name >>]=["Array"]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1193 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1194
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1195 out <- [[copied]Allocate Var[raw, input type]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1196 ]Array Raw Pointer[name, raw]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1197 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1198 out <- [[copied]Allocate Var[raw, input type]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1199 ]Get Raw Pointer[name, raw]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1200 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1201 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1202 out <- Val[copied]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1203 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1204 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1205 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1206
118
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1207 Release Raw Inputs[func,input type,index,inputs,outputs:out]
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1208 {
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1209 If[[[input type]Variant >>] = ["Raw Pointer"]]
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1210 {
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1211 name <- [inputs]Index[index]
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1212 If[[input type]Mutable? >>]
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1213 {
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1214 [outputs]Find[=[?,[inputs]Index[index]]]
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1215 {
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1216 out <- func
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1217 }{
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1218 out <- [func]Release[name]
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1219 }
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1220 }{
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1221 out <- [func]Release[name]
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1222 }
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1223 }{
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1224 out <- func
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1225 }
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1226 }
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1227
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1228 FParams[input:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1229 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1230 iname <- [input]Index[0]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1231 type <- [input]Index[1]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1232 If[[[type]Variant >>] = ["Naked"]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1233 { out <- [" naked"]Append[iname] }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1234 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1235 If[[[type]Variant >>] = ["Raw Pointer"]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1236 { out <- [" raw"]Append[iname] }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1237 { out <- Val[iname] }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1238 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1239 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1240 _Return Param[outputs, inputs, input types, index:out,none]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1241 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1242 output <- [outputs]Index[index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1243 [inputs]Find[=[output, ?]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1244 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1245 If[[[input types]Index[~]]Mutable? >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1246 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1247 ,none <- [outputs]Next[index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1248 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1249 out,none <- _Return Param[outputs, inputs, input types, ~]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1250 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1251 } {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1252 out <- index
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1253 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1254 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1255 out <- index
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1256 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1257 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1258
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1259 Return Param[outputs, inputs, input types:out,none]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1260 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1261 ,none <- [outputs]First
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1262 { out,none <- _Return Param[outputs, inputs, input types, ~] }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1263
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1264 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1265
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1266 Save Foreign Result[func, output, index, output types, inputs, input types:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1267 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1268 type <- [output types]Index[index]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1269 If[[[type]Variant >>] = ["Naked"]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1270 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1271 out <- [func]Box[[" naked"]Append[output], output, type]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1272 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1273 [inputs]Find[=[output, ?]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1274 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1275 If[[[input types]Index[~]]Mutable? >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1276 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1277 out <- [func]Move[output, Output[output]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1278 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1279 out <- func
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1280 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1281 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1282 out <- func
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1283 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1284 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1285 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1286
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1287 Compile Foreign Stub[worker,program,name:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1288 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1289 ifunc <- [[program]Create Function[name, [worker]Inputs >>, [worker]Outputs >>, "rhope"]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1290 ]Output Types <<[Map[[worker]Output Types >>, Make Basic Type[?]]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1291
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1292 rp num <- Return Param[[worker]Outputs >>, [worker]Inputs >>, [worker]Input Types >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1293 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1294 rbase <- [[worker]Outputs >>]Index[rp num]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1295 If[[[[[worker]Output Types >>]Index[rp num]]Variant >>] = ["Naked"]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1296 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1297 rparam <- [" naked"]Append[rbase]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1298 rfunc <- [ifunc]Allocate Var[rparam, [[worker]Output Types >>]Index[rp num]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1299 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1300 rparam <- Val[rbase]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1301 rfunc <- Val[ifunc]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1302 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1303 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1304 rparam <- ""
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1305 rfunc <- Val[ifunc]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1306 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1307
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1308 Fold[FInputs[?, ?, ?, [worker]Inputs >>], rfunc, [worker]Input Types >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1309 { [~]Call Foreign[name, [worker]Convention >>, Map[Zip[[worker]Inputs >>, [worker]Input Types >>], FParams[?]], rparam]
118
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1310 { Fold[Release Raw Inputs[?, ?, ?, [worker]Inputs >>, [worker]Outputs >>], ~, [worker]Input Types >>]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1311 { Fold[Save Foreign Result[?, ?, ?, [worker]Output Types >>, [worker]Inputs >>, [worker]Input Types >>], ~, [worker]Outputs >>]
118
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1312 { out <- [program]Store Function[~] }}}}
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1313 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1314
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1315 Compile Worker@NWorker[worker,program,name:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1316 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1317 If[[worker]Builtin? >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1318 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1319 out <- program
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1320 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1321 If[[[worker]Library >>] = [""]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1322 {
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
1323 ifunc <- Fold[Set Output Type[?], Fold[Set Input Type[?], [[program]Create Function[name,[worker]Inputs >>, [worker]Outputs >>, [worker]Convention >>]]Uses <<[[worker]Uses >>], [worker]Input Types >>], [worker]Output Types >>]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1324
120
cd25171e1bb2 Use List for Subsets instead of a Dictionary for performance reasons. Fix issue with List literals. Compiled compiler is now self-hosting.
Mike Pavone <pavone@retrodev.com>
parents: 118
diff changeset
1325 groups <- [worker]Dependency Groups
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1326
120
cd25171e1bb2 Use List for Subsets instead of a Dictionary for performance reasons. Fix issue with List literals. Compiled compiler is now self-hosting.
Mike Pavone <pavone@retrodev.com>
parents: 118
diff changeset
1327 fgroup <- [groups]First
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1328 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1329 with conds <- [worker]Save Group Conditions[groups, ~]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1330 final func <- [with conds]Compile Group[program,func,groups, ~]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1331 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1332 final func <- Val[func]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1333 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1334 res vars <- [worker]Result Vars
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1335 init vars <- Concatenate[res vars, [with conds]No Release Results]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1336
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1337 func <- Fold[Set Null[?], Fold[Set Null[?], Fold[Allocate Var[?, ?, "Any Type"], ifunc, init vars], init vars], [worker]Outputs >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1338 out <- [program]Store Function[Fold[Release[?], Fold[Release Var[with conds, ?], final func, res vars], [worker]Inputs >>]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1339 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1340 out <- Compile Foreign Stub[worker,[program]Link[[worker]Convention >>, [worker]Library >> ],name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1341 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1342 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1343 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1344
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1345 Blueprint NBlueprint
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1346 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1347 Fields
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1348 Methods
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1349 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1350
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1351 String@NBlueprint[nbp:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1352 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1353 out <- [[[["NBlueprint: Fields("
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1354 ]Append[Join[Map[[nbp]Fields >>, [?]Index[0]], ", "]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1355 ]Append["), Methods("]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1356 ]Append[Join[Keys[[nbp]Methods >>], ", "]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1357 ]Append[")"]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1358 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1359
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1360 NBlueprint[:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1361 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1362 out <- [[Build[NBlueprint()]]Fields <<[()]]Methods <<[Dictionary[]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1363 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1364
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1365 Add Field@NBlueprint[bp,name,type:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1366 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1367 out <- [bp]Fields <<[ [[bp]Fields >>]Append[ [[()]Append[name]]Append[type] ] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1368 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1369
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1370 Add Method@NBlueprint[bp,name:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1371 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1372 out <- [bp]Methods <<[ [[bp]Methods >>]Set[name, Yes] ]
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
1373
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1374 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1375
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1376 Understands Method@NBlueprint[bp,name:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1377 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1378 out <- [[bp]Methods >>]Index[name] {}
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1379 { out <- No }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1380 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1381
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
1382 Eq Field Name[field,name:out]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
1383 {
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
1384 out <- [[field]Index[0]]=[name]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
1385 }
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
1386
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1387 Get Field Type@NBlueprint[bp,name:out,notfound]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1388 {
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
1389 ,not found <- [[bp]Fields >>]Find[Eq Field Name[?, name]]
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
1390 { out <- [[[bp]Fields >>]Index[~]]Index[1] }
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1391 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1392
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1393 _Compile Blueprint Fields[type,field:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1394 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1395 name <- [field]Index[0]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1396 ftype <- [field]Index[1]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1397 out <- [type]Add Field[name,ftype]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1398 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1399
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1400 _Compile Blueprint Methods[type,junk,name:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1401 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1402 If[[[name]=["Call"]] And [[[type]Name >>] = ["Worker"]]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1403 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1404 out <- type
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1405 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1406 out <- [type]Add Method[name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1407 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1408 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1409
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1410 Make Init[func,field:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1411 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1412 name <- [field]Index[0]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1413 variant <- [[field]Index[1]]Variant >>
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1414 If[[variant] = ["Boxed"]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1415 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1416 out <- [func]Set Field Null["obj", name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1417 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1418 out <- func
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1419 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1420 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1421
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1422 Make Copy[func,field:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1423 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1424 name <- [field]Index[0]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1425 variant <- [[field]Index[1]]Variant >>
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1426 If[[variant] = ["Boxed"]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1427 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1428 got <- [func]Read Field["obj", name] {}
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1429 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1430 stream <- [[got]Instruction Stream
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1431 ]AddRef No Dest[~]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1432 out <- [got]Do If[~, stream]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1433 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1434 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1435 out <- func
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1436 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1437 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1438
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1439 Make Cleanup[func,field:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1440 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1441 name <- [field]Index[0]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1442 variant <- [[field]Index[1]]Variant >>
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1443 If[[variant] = ["Boxed"]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1444 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1445 got <- [func]Read Field["obj", name] {}
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1446 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1447 stream <- [[got]Instruction Stream
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1448 ]Release[~]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1449 out <- [got]Do If[~, stream]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1450 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1451 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1452 out <- func
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1453 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1454 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1455
135
18a4403fe576 Javascript backend can now produce broken output. Needs fixes plus port of standard lib
Mike Pavone <pavone@retrodev.com>
parents: 121
diff changeset
1456 Make Special@NBlueprint[bp,backend,info,bp name:out]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1457 {
135
18a4403fe576 Javascript backend can now produce broken output. Needs fixes plus port of standard lib
Mike Pavone <pavone@retrodev.com>
parents: 121
diff changeset
1458 func name <- [info]Index[0]
18a4403fe576 Javascript backend can now produce broken output. Needs fixes plus port of standard lib
Mike Pavone <pavone@retrodev.com>
parents: 121
diff changeset
1459 pop worker <- [info]Index[1]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1460 func <- [[backend]Create Function[func name,("obj"),(),"cdecl"]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1461 ]Set Input Type[Type Instance[bp name], 0]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1462 out <- [backend]Store Function[Fold[pop worker, func, [bp]Fields >>]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1463 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1464
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1465 Getters Setters[backend,field,type name:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1466 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1467 //TODO: Throw an exception or something if we read a field that is empty
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1468 name <- [field]Index[0]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1469 type <- [field]Index[1]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1470 mytype <- Type Instance[type name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1471 start getter,getref <- [[[[backend]Create Function[ [[[name]Append[" >>"]]Append["@"]]Append[type name], ("obj"), ("out"), "rhope"]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1472 ]Set Input Type[mytype, 0]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1473 ]Set Output Type[[type]Set Variant["Boxed"], 0]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1474 ]Read Field["obj", name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1475 If[[[type]Variant >>] = ["Boxed"]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1476 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1477 getter <- [[start getter]Do AddRef[getref, "out"]]Release["obj"]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1478 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1479 getter <- [[start getter]Box[getref, "out", type]]Release["obj"]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1480 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1481
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1482 begin setter <- [[[[[backend]Create Function[ [[[name]Append[" <<"]]Append["@"]]Append[type name], ("obj","newval"), ("out"), "rhope"]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1483 ]Set Input Type[mytype, 0]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1484 ]Set Input Type[[type]Set Variant["Boxed"], 1]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1485 ]Set Output Type[mytype, 0]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1486 ]Copy["obj"]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1487
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1488 If[[[type]Variant >>] = ["Boxed"]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1489 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1490 ,origref <- [begin setter]Read Field["obj", name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1491 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1492 stream <- [[~]Instruction Stream
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1493 ]Release[origref]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1494 ,setref <- [[~]Do If[origref, stream]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1495 ]Write Field["obj", name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1496 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1497 setter <- [[~]Move["newval", setref]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1498 ]Move["obj", "out"]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1499 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1500 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1501 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1502 ,setref <- [begin setter]Write Field["obj", name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1503 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1504 setter <- [[[~]Unbox["newval", setref]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1505 ]Release["newval"]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1506 ]Move["obj", "out"]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1507 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1508 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1509
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1510 out <- [[backend]Store Function[getter]]Store Function[setter]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1511
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1512 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1513
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1514 Compile Blueprint@NBlueprint[bp,backend,name:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1515 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1516 //Rhope identifiers can't start with spaces, so we can use identifiers that start with spaces for special functions
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1517 init name <- [" init "]Append[name]
118
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1518 [("Array","Boxed Array","Worker")]Find[=[?,name]]
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1519 {
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1520 [("internalarraynaked","internalarrayboxed","internalworker")]Index[~]
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1521 {
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1522 copy name <- [~]Append["copy"]
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1523 cleanup name <- [~]Append["cleanup"]
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1524 }
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1525 }{
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1526 copy name <- [" copy "]Append[name]
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1527 cleanup name <- [" cleanup "]Append[name]
b3f56e1d54a0 Merged changes from interpreted version of compiler to compiled version
Mike Pavone <pavone@retrodev.com>
parents: 117
diff changeset
1528 }
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1529 type <- [[[Fold[_Compile Blueprint Methods[?], Fold[_Compile Blueprint Fields[?], [backend]Create Type[name], [bp]Fields >>], [bp]Methods >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1530 ]Init <<[init name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1531 ]Copy <<[copy name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1532 ]Cleanup <<[cleanup name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1533
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1534 out <- [backend]Register Type[type]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1535 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1536
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1537 Compile Special@NBlueprint[bp,backend,name:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1538 {
135
18a4403fe576 Javascript backend can now produce broken output. Needs fixes plus port of standard lib
Mike Pavone <pavone@retrodev.com>
parents: 121
diff changeset
1539 makespecial <- [[[Dictionary[]
18a4403fe576 Javascript backend can now produce broken output. Needs fixes plus port of standard lib
Mike Pavone <pavone@retrodev.com>
parents: 121
diff changeset
1540 ]Set["init", Make Init[?]]
18a4403fe576 Javascript backend can now produce broken output. Needs fixes plus port of standard lib
Mike Pavone <pavone@retrodev.com>
parents: 121
diff changeset
1541 ]Set["copy", Make Copy[?]]
18a4403fe576 Javascript backend can now produce broken output. Needs fixes plus port of standard lib
Mike Pavone <pavone@retrodev.com>
parents: 121
diff changeset
1542 ]Set["cleanup", Make Cleanup[?]]
18a4403fe576 Javascript backend can now produce broken output. Needs fixes plus port of standard lib
Mike Pavone <pavone@retrodev.com>
parents: 121
diff changeset
1543
18a4403fe576 Javascript backend can now produce broken output. Needs fixes plus port of standard lib
Mike Pavone <pavone@retrodev.com>
parents: 121
diff changeset
1544 after specials <- Fold[[bp]Make Special[?, ?, name], backend, [backend]Needed Specials[name,makespecial]]
18a4403fe576 Javascript backend can now produce broken output. Needs fixes plus port of standard lib
Mike Pavone <pavone@retrodev.com>
parents: 121
diff changeset
1545 out <- Fold[Getters Setters[?, ?, name], after specials, [bp]Fields >>]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1546 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1547
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1548 Blueprint NProgram
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1549 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1550 Blueprints
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1551 Workers
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1552 Worker Refs
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: 135
diff changeset
1553 Numtypes
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
1554 Global Stores
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1555 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1556
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1557 NProgram[:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1558 {
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
1559 out <- [[[[[Build[NProgram()]
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: 135
diff changeset
1560 ]Blueprints <<[Dictionary[]]
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: 135
diff changeset
1561 ]Workers <<[Dictionary[]]
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: 135
diff changeset
1562 ]Worker Refs <<[Dictionary[]]
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: 135
diff changeset
1563 ]Numtypes << [("Int8","Int16","Int32","Int64","UInt8","UInt16","UInt32","UInt64")]
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
1564 ]Global Stores <<[Dictionary[]]
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: 135
diff changeset
1565 }
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: 135
diff changeset
1566
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: 135
diff changeset
1567 Supported Number Types@NProgram[program: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: 135
diff changeset
1568 {
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: 135
diff changeset
1569 out <- [program]Numtypes >>
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1570 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1571
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1572 Bind Worker@NProgram[prog,name,worker:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1573 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1574 after bind <- [prog]Workers << [ [[prog]Workers >>]Set[name, [worker]Name <<[name]] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1575 parts <- [name]Split["@"]
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: 135
diff changeset
1576 bpname <- [parts]Index[1]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1577 {
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: 135
diff changeset
1578 If[[~]=[""]]
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: 135
diff changeset
1579 {
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: 135
diff changeset
1580 out <- Val[after bind]
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: 135
diff changeset
1581 }{
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: 135
diff changeset
1582 orig bp <- [[after bind]Blueprints >>]Index[bpname] {}
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: 135
diff changeset
1583 { orig bp <- NBlueprint[] }
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: 135
diff changeset
1584 out <- [after bind]Blueprints <<[ [[after bind]Blueprints >>]Set[bpname, [orig bp]Add Method[[parts]Index[0]] ] ]
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: 135
diff changeset
1585 }
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1586 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1587 out <- Val[after bind]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1588 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1589 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1590
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1591 Bind Blueprint@NProgram[prog,name,blueprint:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1592 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1593 out <- [prog]Blueprints << [ [[prog]Blueprints >>]Set[name, blueprint] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1594 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1595
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1596 _Compile Program BP[backend, blueprint, name:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1597 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1598 out <- [blueprint]Compile Blueprint[backend, name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1599 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1600
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1601 _Compile Program BP Special[backend, blueprint, name:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1602 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1603 out <- [blueprint]Compile Special[backend, name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1604 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1605
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1606 _Compile Program[backend, worker, name:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1607 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1608 out <- [worker]Compile Worker[backend, name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1609 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1610
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1611 Compile Program@NProgram[prog, backend:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1612 {
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.
Mike Pavone <pavone@retrodev.com>
parents: 136
diff changeset
1613 backend with bps <- Generate Boolean Methods[Generate Number Methods[Fold[_Compile Program BP Special[?], Fold[_Compile Program BP[?], [backend]Global Stores <<[[prog]Global Stores >>], [prog]Blueprints >>], [prog]Blueprints >>]]]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1614 workers with infer <- Map[[prog]Workers >>, Infer Types[?, prog]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1615 out <- Fold[_Compile Program[?], backend with bps, workers with infer]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1616 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1617
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1618 Register Method@NProgram[prog, name, convention, inputs, outputs: out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1619 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1620 [[prog]Worker Refs >>]Index[name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1621 {
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
1622 ref <- [[[[[~]Inputs <<[ Max[[~]Inputs >>, inputs] ]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1623 ]Min Inputs <<[ Min[[~]Min Inputs >>, inputs] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1624 ]Outputs <<[ Max[[~]Outputs >>, outputs] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1625 ]Min Outputs <<[ Min[[~]Min Outputs >>, outputs] ]
167
690ed78ead8a Some type inference fixes and make method calls into regular calls when first arg type is known at compile time
Mike Pavone <pavone@retrodev.com>
parents: 159
diff changeset
1626 ]Is Method? <<[Yes]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1627 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1628 ref <- Worker Ref[name, convention, inputs, outputs, Yes]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1629 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1630 out <- [prog]Worker Refs <<[ [[prog]Worker Refs >>]Set[name, ref]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1631 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1632
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1633 Register Worker@NProgram[prog, name, convention, inputs, outputs: out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1634 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1635 [[prog]Worker Refs >>]Index[name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1636 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1637 ref <- [[[[~]Inputs <<[ Max[[~]Inputs >>, inputs] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1638 ]Min Inputs <<[ Min[[~]Min Inputs >>, inputs] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1639 ]Outputs <<[ Max[[~]Outputs >>, outputs] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1640 ]Min Outputs <<[ Min[[~]Min Outputs >>, outputs] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1641 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1642 ref <- Worker Ref[name, convention, inputs, outputs, No]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1643 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1644 after reg <- [prog]Worker Refs <<[
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1645 [ [prog]Worker Refs >> ]Set[name, ref]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1646 ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1647
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1648 parts <- [name]Split["@"]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1649 [parts]Index[1]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1650 {
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: 135
diff changeset
1651 If[[~]=[""]]
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: 135
diff changeset
1652 {
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: 135
diff changeset
1653 out <- [after reg]Register Worker[[parts]Index[0], convention, inputs, outputs]
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: 135
diff changeset
1654 }{
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: 135
diff changeset
1655 out <- [after reg]Register Method@NProgram[[parts]Index[0], convention, inputs, outputs]
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: 135
diff changeset
1656 }
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1657 }{
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1658 out <- Val[after reg]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1659 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1660 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1661
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1662 Register Builtins@NProgram[prog:out]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1663 {
176
327bcf35e094 Add bytecode interpreter
Mike Pavone <pavone@retrodev.com>
parents: 172
diff changeset
1664 registered <- [[[[[[[[[[[[prog]Register Worker["Print", "rhope", 1, 1]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1665 ]Register Worker["If@Boolean", "rhope", 1, 2]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1666 ]Register Worker["Build", "rhope", 1, 1]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1667 ]Register Worker["Blueprint Of", "rhope", 1, 1]
159
d1e206ff75f9 Fix some bugs involving calling a worker object
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
1668 ]Register Worker["Call", "rhope", 1, 1]//This will ensure that min outputs is 1
d1e206ff75f9 Fix some bugs involving calling a worker object
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
1669 ]Register Worker["Call@Worker", "rhope", 1, 10]//10 is a quick workaround for the lack of proper varargs
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1670 ]Register Worker["ID", "rhope", 1, 1]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1671 ]Register Worker["Blueprint From ID", "rhope", 1, 2]
140
c14698c512f1 Untested addition of Pause/Resume
Mike Pavone <pavone@retrodev.com>
parents: 139
diff changeset
1672 ]Register Worker["Pause", "rhope", 1, 1]
c14698c512f1 Untested addition of Pause/Resume
Mike Pavone <pavone@retrodev.com>
parents: 139
diff changeset
1673 ]Register Worker["Resume", "rhope", 2, 2]
176
327bcf35e094 Add bytecode interpreter
Mike Pavone <pavone@retrodev.com>
parents: 172
diff changeset
1674 ]Register Worker["Run Bytecode", "rhope", 2, 1]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1675 ]Register Number Methods
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1676
176
327bcf35e094 Add bytecode interpreter
Mike Pavone <pavone@retrodev.com>
parents: 172
diff changeset
1677 out <- [[[[[[[[[[registered]Bind Worker["If@Boolean",
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1678 [[[[[NWorker["rhope"]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1679 ]Inputs <<[("condition")]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1680 ]Input Types <<[ [()]Append[Type Instance["Boolean"]] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1681 ]Outputs <<[("isyes","isno")]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1682 ]Output Types <<[ [[()]Append[Type Instance["Boolean"]]]Append[Type Instance["Boolean"]] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1683 ]Builtin? <<[Yes]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1684 ]Bind Worker["Print",
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1685 [[[[[NWorker["rhope"]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1686 ]Inputs <<[("value")]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1687 ]Input Types <<[ [()]Append[Type Instance["Any Type"]] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1688 ]Outputs <<[("out")]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1689 ]Output Types <<[ [()]Append[Type Instance["Int32"]] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1690 ]Builtin? <<[Yes]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1691 ]Bind Worker["Build",
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1692 [[[[[NWorker["rhope"]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1693 ]Inputs <<[("type")]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1694 ]Input Types <<[ [()]Append[Type Instance["Blueprint"]] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1695 ]Outputs <<[("out")]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1696 ]Output Types <<[ [()]Append[Type Instance["Any Type"]] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1697 ]Builtin? <<[Yes]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1698 ]Bind Worker["Blueprint Of",
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1699 [[[[[NWorker["rhope"]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1700 ]Inputs <<[("object")]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1701 ]Input Types <<[ [()]Append[Type Instance["Any Type"]]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1702 ]Outputs <<[("type")]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1703 ]Output Types <<[ [()]Append[Type Instance["Blueprint"]]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1704 ]Builtin? <<[Yes]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1705 ]Bind Worker["Call@Worker",
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1706 [[[[[NWorker["rhope"]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1707 ]Inputs <<[("worker")]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1708 ]Input Types <<[ [()]Append[Type Instance["Worker"]] ]
159
d1e206ff75f9 Fix some bugs involving calling a worker object
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
1709 ]Outputs <<[("ret1","ret2","ret3","ret4","ret5","ret6","ret7","ret8","ret9","ret10")]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1710 ]Output Types <<[ [[()]Append[Type Instance["Any Type"]]]Append[Type Instance["Any Type"]] ]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1711 ]Builtin? << [Yes]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1712 ]Bind Worker["ID",
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1713 [[[[[NWorker["rhope"]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1714 ]Inputs <<[("bp")]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1715 ]Input Types <<[ [()]Append[Type Instance["Blueprint"]]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1716 ]Outputs <<[("id")]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1717 ]Output Types <<[ [()]Append[Type Instance["UInt32"]]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1718 ]Builtin? << [Yes]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1719 ]Bind Worker["Blueprint From ID",
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1720 [[[[[NWorker["rhope"]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1721 ]Inputs <<[("id")]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1722 ]Input Types <<[ [()]Append[Type Instance["UInt32"]]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1723 ]Outputs <<[("bp","none")]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1724 ]Output Types <<[ [[()]Append[Type Instance["Blueprint"]]]Append[Type Instance["Any Type"]]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1725 ]Builtin? << [Yes]]
141
f2cb85c53ced Fix Pause/Resume and rewrite Call Async in Rhope rather than C
Mike Pavone <pavone@retrodev.com>
parents: 140
diff changeset
1726 ]Bind Worker["Pause",
f2cb85c53ced Fix Pause/Resume and rewrite Call Async in Rhope rather than C
Mike Pavone <pavone@retrodev.com>
parents: 140
diff changeset
1727 [[[[[NWorker["rhope"]
f2cb85c53ced Fix Pause/Resume and rewrite Call Async in Rhope rather than C
Mike Pavone <pavone@retrodev.com>
parents: 140
diff changeset
1728 ]Inputs <<[("tocall")]
f2cb85c53ced Fix Pause/Resume and rewrite Call Async in Rhope rather than C
Mike Pavone <pavone@retrodev.com>
parents: 140
diff changeset
1729 ]Input Types <<[ [()]Append[Type Instance["Worker"]]]
f2cb85c53ced Fix Pause/Resume and rewrite Call Async in Rhope rather than C
Mike Pavone <pavone@retrodev.com>
parents: 140
diff changeset
1730 ]Outputs <<[("resumeval")]
f2cb85c53ced Fix Pause/Resume and rewrite Call Async in Rhope rather than C
Mike Pavone <pavone@retrodev.com>
parents: 140
diff changeset
1731 ]Output Types <<[ [()]Append[Type Instance["Any Type"]] ]
f2cb85c53ced Fix Pause/Resume and rewrite Call Async in Rhope rather than C
Mike Pavone <pavone@retrodev.com>
parents: 140
diff changeset
1732 ]Builtin? <<[Yes]]
f2cb85c53ced Fix Pause/Resume and rewrite Call Async in Rhope rather than C
Mike Pavone <pavone@retrodev.com>
parents: 140
diff changeset
1733 ]Bind Worker["Resume",
f2cb85c53ced Fix Pause/Resume and rewrite Call Async in Rhope rather than C
Mike Pavone <pavone@retrodev.com>
parents: 140
diff changeset
1734 [[[[[NWorker["rhope"]
f2cb85c53ced Fix Pause/Resume and rewrite Call Async in Rhope rather than C
Mike Pavone <pavone@retrodev.com>
parents: 140
diff changeset
1735 ]Inputs <<[("toresume","resumeval")]
f2cb85c53ced Fix Pause/Resume and rewrite Call Async in Rhope rather than C
Mike Pavone <pavone@retrodev.com>
parents: 140
diff changeset
1736 ]Input Types <<[ [[()]Append[Type Instance["Contest"]]]Append[Type Instance["Any Type"]] ]
f2cb85c53ced Fix Pause/Resume and rewrite Call Async in Rhope rather than C
Mike Pavone <pavone@retrodev.com>
parents: 140
diff changeset
1737 ]Outputs <<[("success","cantresume")]
f2cb85c53ced Fix Pause/Resume and rewrite Call Async in Rhope rather than C
Mike Pavone <pavone@retrodev.com>
parents: 140
diff changeset
1738 ]Output Types <<[ [[()]Append[Type Instance["Any Type"]]]Append[Type Instance["Any Type"]] ]
f2cb85c53ced Fix Pause/Resume and rewrite Call Async in Rhope rather than C
Mike Pavone <pavone@retrodev.com>
parents: 140
diff changeset
1739 ]Builtin? <<[Yes]]
176
327bcf35e094 Add bytecode interpreter
Mike Pavone <pavone@retrodev.com>
parents: 172
diff changeset
1740 ]Bind Worker["Run Bytecode",
327bcf35e094 Add bytecode interpreter
Mike Pavone <pavone@retrodev.com>
parents: 172
diff changeset
1741 [[[[[NWorker["rhope"]
327bcf35e094 Add bytecode interpreter
Mike Pavone <pavone@retrodev.com>
parents: 172
diff changeset
1742 ]Inputs <<[("bytecode","constants")]
327bcf35e094 Add bytecode interpreter
Mike Pavone <pavone@retrodev.com>
parents: 172
diff changeset
1743 ]Input Types <<[ [[()]Append[Type Instance["Array"]]]Append[Type Instance["Boxed Array"]] ]
327bcf35e094 Add bytecode interpreter
Mike Pavone <pavone@retrodev.com>
parents: 172
diff changeset
1744 ]Outputs <<[("ret1")]
327bcf35e094 Add bytecode interpreter
Mike Pavone <pavone@retrodev.com>
parents: 172
diff changeset
1745 ]Output Types <<[ [()]Append[Type Instance["Any Type"]] ]
327bcf35e094 Add bytecode interpreter
Mike Pavone <pavone@retrodev.com>
parents: 172
diff changeset
1746 ]Builtin? <<[Yes]
327bcf35e094 Add bytecode interpreter
Mike Pavone <pavone@retrodev.com>
parents: 172
diff changeset
1747 ]
102
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1748 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1749
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1750 Find Worker@NProgram[prog, name:out,notfound]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1751 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1752 out,notfound <- [[prog]Worker Refs >>]Index[name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1753 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1754
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1755 Find Worker Def@NProgram[prog,name:out,notfound]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1756 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1757 out,notfound <- [[prog]Workers >>]Index[name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1758 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1759
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1760 Find Method@NProgram[prog, name, type:out,notfound]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1761 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1762 bp,notfound <- [[prog]Blueprints >>]Index[[type]Name >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1763 ,notfound <- If[[bp]Understands Method[name]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1764 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1765 out <- [[prog]Workers >>]Index[[[name]Append["@"]]Append[[type]Name >>]]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1766 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1767 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1768
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1769 Find Field@NProgram[prog, name, type:fieldtype,notfound]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1770 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1771 bp,notfound <- [[prog]Blueprints >>]Index[[type]Name >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1772 fieldtype,notfound <- [bp]Get Field Type[name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1773 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1774
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1775 Implicit Conversion@NProgram[prog, fromtype, totype:func,notfound]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1776 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1777 notfound <- No
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1778 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1779
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1780 Is Method?@NProgram[prog,name:is,is not]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1781 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1782 ,is not <- [[prog]Worker Refs>>]Index[name]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1783 {
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1784 is,is not <- If[[~]Is Method? >>]
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1785 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1786 }
2f6f0867fd68 Added files I forgot to add in a previous commit
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1787