annotate parser_old.rhope @ 189:d0e3a13c1bd9 default tip

Remove old calculator example
author Mike Pavone <pavone@retrodev.com>
date Fri, 07 Oct 2011 00:24:04 -0700
parents c6ba9fe45910
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
184
c6ba9fe45910 Strip _c from filenames of current compiler
Mike Pavone <pavone@retrodev.com>
parents: 173
diff changeset
1 Import nworker.rhope
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
2
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
3 //Rather than rewrite the code that uses this
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
4 //let's implement Get DString using Partition
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
5 Get DString[str,delims:after,before,delim,not found]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
6 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
7 before,delim,after,not found <- [str]Partition[delims] {} {} {}
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
8 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
9 before <- str
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
10 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
11 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
12
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
13
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
14 Blueprint Parser
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
15 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
16 Arg Begin
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
17 Arg End
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
18 Line Comment
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
19 Comment Begin
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
20 Comment End
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
21 Assign
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
22 Block Begin
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
23 Block End
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
24 Blueprint Type Delim
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
25 Empty Block
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
26 Binary Operator
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
27 String Begin
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
28 String End
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
29 String Escape
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
30 List Begin
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
31 List End
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
32 List Delim
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
33 In Out Delim
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
34 Index Begin
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
35 Index End
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
36 Previous
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
37 Block Val
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
38 Set Field
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
39 Get Field
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
40 Import
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
41 Blueprint
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
42 Global Separator
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
43 Uses
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
44 Hex Escape
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
45 Escape Map
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
46 Foreign
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
47 Globals
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
48 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
49
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
50 Parser[:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
51 {
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
52 out <- [[[[[[[[[[[[[[[[[[[[[[[[[[[[[[[Build[Parser()]
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
53 ]Arg Begin << ["["]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
54 ]Arg End <<["]"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
55 ]Line Comment <<["//"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
56 ]Comment Begin <<["/*"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
57 ]Comment End <<["*/"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
58 ]Assign <<["<-"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
59 ]Block Begin <<["{"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
60 ]Block End <<["}"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
61 ]Blueprint Type Delim <<[":"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
62 ]Empty Block <<[";"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
63 ]Binary Operator <<["`"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
64 ]String Begin <<["\""]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
65 ]String End <<["\""]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
66 ]String Escape <<["\\"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
67 ]List Begin <<["("]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
68 ]List End <<[")"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
69 ]List Delim <<[","]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
70 ]In Out Delim <<[":"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
71 ]Index Begin <<["("]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
72 ]Index End <<[")"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
73 ]Previous <<["@"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
74 ]Set Field <<["<<"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
75 ]Get Field <<[">>"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
76 ]Import <<["Import"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
77 ]Blueprint <<["Blueprint"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
78 ]Global Separator <<["::"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
79 ]Hex Escape <<["x"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
80 ]Uses <<["uses"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
81 ]Escape Map <<[[[[Dictionary[]]Set["n","\n"]]Set["r","\r"]]Set["t","\t"]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
82 ]Foreign <<["Foreign"]
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
83 ]Globals <<["Globals"]
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
84 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
85
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
86 Blueprint Output Reference
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
87 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
88 Index
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
89 Output Number
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
90 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
91
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
92 Output Reference[index,num:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
93 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
94 out <- [[Build[Output Reference()]]Index <<[index]]Output Number <<[num]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
95 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
96
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
97 Add Pipe Reference[refs,name,reference:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
98 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
99 reflist <- [refs]Index[name] {}
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
100 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
101 reflist <- ()
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
102 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
103 out <- [refs]Set[name, [reflist]Append[reference]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
104 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
105
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
106 Assignment Save Reference[refs,assignment,output num,parse worker,index:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
107 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
108 [[parse worker]Outputs >>]Find[=[assignment,?]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
109 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
110 out <- refs
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
111 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
112 out <- Add Pipe Reference[refs, assignment, Output Reference[index, output num]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
113 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
114 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
115
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
116 Blueprint Foreign Lib
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
117 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
118 Language
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
119 Name
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
120 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
121
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
122 New Foreign Lib[language, library:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
123 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
124 out <- [[Build[Foreign Lib()]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
125 ]Language <<[language]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
126 ]Name <<[library]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
127 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
128
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
129 Blueprint Global Store
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
130 {
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
131 Name
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
132 Vars
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
133 }
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
134
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
135 Global Store[name:out]
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
136 {
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
137 out <- [[Build[Global Store()]]Name <<[name]]Vars <<[Dictionary[]]
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
138 }
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
139
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
140 Blueprint Parse Program
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
141 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
142 Workers
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
143 Imports
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
144 Blueprints
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
145 Global Stores
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
146 Errors
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
147 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
148
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
149 Parse Program[:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
150 {
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
151 out <- [[[[[Build[Parse Program()]
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
152 ]Workers <<[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: 115
diff changeset
153 ]Imports <<[Dictionary[]]
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
154 ]Blueprints <<[Dictionary[]]
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
155 ]Global Stores <<[Dictionary[]]
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
156 ]Errors <<[()]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
157 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
158
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
159 Add Global Store@Parse Program[tree,store:out]
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
160 {
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
161 out <- [tree]Global Stores <<[ [[tree]Global Stores >>]Set[[store]Name >>, store] ]
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
162 }
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
163
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
164 Blueprint Blueprint Definition
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
165 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
166 Name
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
167 Fields
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
168 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
169
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
170 New Blueprint Definition[name,fields:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
171 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
172 out <- [[Build[Blueprint Definition()]]Name << [name]]Fields <<[fields]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
173 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
174
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
175 Blueprint Parse Worker
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
176 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
177 Name
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
178 Inputs
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
179 Outputs
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
180 Line Number
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
181 Trees
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
182 Uses Stores
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
183 Input Types
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
184 Output Types
173
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
185 Assigned
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
186 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
187
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
188 Parse Worker[name,inputs,outputs,intypes,outtypes,line:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
189 {
173
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
190 out <- [[[[[[[[[Build[Parse Worker()]]Name <<[name]]Inputs <<[inputs]]Outputs <<[outputs]]Line Number <<[line]]Trees <<[()]]Uses Stores <<[()]]Input Types <<[intypes]]Output Types <<[outtypes]]Assigned <<[Dictionary[]]
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
191 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
192
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
193 Blueprint Worker Node
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
194 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
195 Name
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
196 Params
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
197 Assignments
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
198 Blocks
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
199 Index
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
200 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
201
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
202 Worker Node[name,params:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
203 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
204 out <- [[[[Build[Worker Node()]]Name <<[name]]Params <<[params]]Assignments <<[()]]Blocks <<[()]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
205 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
206
173
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
207 _Get Assigned Pipes[pipe dict,node:out]
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
208 {
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
209 out <- [node]Get Assigned Pipes[pipe dict]
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
210 }
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
211
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
212 Get Assigned Pipes[node,pipe dict:out]
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
213 {
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
214 Fold[Set[?,?,Yes], pipe dict, [node]Assignments >>]
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
215 { out <- Fold[Fold[_Get Assigned Pipes[?], ?], ~, [node]Blocks >>] }
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
216 }
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
217
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
218 Add List Helper[inlist,worker,program,key,parse worker,refs:out list,out worker,out refs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
219 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
220 ,nextworker,nextrefs <- [[inlist]Index[key]]Add to Worker[worker, program, parse worker, refs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
221 { nextlist <- [inlist]Set[key, ~] }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
222 [inlist]Next[key]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
223 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
224 out list,out worker,out refs <- Add List Helper[nextlist, nextworker, program, ~, parse worker, nextrefs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
225 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
226 out list <- Val[nextlist]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
227 out worker <- Val[nextworker]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
228 out refs <- Val[nextrefs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
229 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
230 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
231
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
232 Add List to Worker[list,worker,program,parse worker,refs:out list,out worker,out refs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
233 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
234 [list]First
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
235 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
236 out list,out worker,out refs <- Add List Helper[list, worker, program, ~, parse worker, refs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
237 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
238 out list <- list
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
239 out worker <- worker
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
240 out refs <- refs
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
241 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
242 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
243
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
244 _Add Blocks to Worker[blocks,worker,program,parse worker,key,refs:out blocks,out worker,out refs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
245 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
246 block, next worker, nextrefs <- Add List to Worker[[blocks]Index[key], worker, program, parse worker, refs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
247 next blocks <- [blocks]Set[key, block]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
248 [blocks]Next[key]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
249 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
250 out blocks,out worker,out refs <- _Add Blocks to Worker[next blocks, next worker, program, parse worker, ~, nextrefs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
251 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
252 out blocks <- Val[next blocks]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
253 out worker <- Val[next worker]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
254 out refs <- Val[nextrefs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
255 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
256 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
257
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
258 Add Blocks to Worker[blocks,worker,program,parse worker,refs:out blocks,out worker,out refs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
259 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
260 [blocks]First
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
261 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
262 out blocks, out worker, out refs <- _Add Blocks to Worker[blocks, worker, program, parse worker, ~, refs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
263 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
264 out blocks <- blocks
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
265 out worker <- worker
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
266 out refs <- refs
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
267 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
268 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
269
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
270 Add to Worker@Worker Node[node,worker,program,parse worker,refs:out node,out worker,out refs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
271 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
272 [program]Find Worker[[node]Name >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
273 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
274 after worker <- [worker]Add Worker Call[~] {}
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
275 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
276 //Print[[[[node]Name >>]Append[" has index "]]Append[~]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
277 assignment refs <- Fold[Assignment Save Reference[?, ?, ?, parse worker, ~], refs, [node]Assignments >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
278 [node]Index <<[~]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
279 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
280 params list, params worker, params refs <- Add List to Worker[[~]Params >>, after worker, program, parse worker, assignment refs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
281 block list, out worker, out refs <- Add Blocks to Worker[[~]Blocks >>, params worker, program, parse worker, params refs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
282 out node <- [[~]Params <<[params list]]Blocks <<[block list]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
283 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
284 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
285 }{
173
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
286 make call <- [[parse worker]Assigned >>]Index[[node]Name >>] {}
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
287 {
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
288 make call <- [[parse worker]Inputs >>]Find[=[?,[node]Name >>]] {}
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
289 {
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
290 Print[["Error: Could not find a worker named "]Append[[node]Name >>]]
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
291 }
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
292 }
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
293 Val[make call]
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
294 {
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
295 new params <- Fold[Append[?], [()]Append[Named Pipe Node[[node]Name >>]], [node]Params >>]
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
296 out node, out worker, out refs <- [[[node]Params <<[new params]]Name <<["Call"]]Add to Worker[worker, program, parse worker, refs]
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
297 }
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
298 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
299 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
300
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
301 Check Question Mark[params, index:has mark,no mark]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
302 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
303 param,no mark <-[params]Index[index]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
304 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
305 If[[Blueprint Of[param]]=[Named Pipe Node()]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
306 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
307 has mark <-If[[[param]Name >>] = ["?"]] {}
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
308 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
309 has mark,no mark <- Check Question Mark[params, [index]+[1]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
310 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
311 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
312 has mark,no mark <- Check Question Mark[params, [index]+[1]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
313 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
314 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
315 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
316
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
317 Collect Literal Inputs[literal, params, index, complex inputs:literal out,complex out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
318 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
319 param <- [params]Index[index]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
320 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
321 If[[Blueprint Of[param]]=[Literal Node()]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
322 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
323 next literal <- [literal]Set Input[index, [param]Value >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
324 next complex <- Val[complex inputs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
325 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
326 ,doset <- If[[Blueprint Of[param]]=[Named Pipe Node()]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
327 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
328 ,doset <- If[[[param]Name >>] = ["?"]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
329 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
330 //Question mark indicates unpopulated input
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
331 next complex <- Val[complex inputs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
332 next literal <- Val[literal]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
333 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
334 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
335
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
336 Val[doset]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
337 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
338 next complex <- [complex inputs]Set[index, param]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
339 next literal <- Val[literal]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
340 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
341 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
342 literal out, complex out <- Collect Literal Inputs[next literal, params, [index]+[1], next complex]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
343 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
344 literal out <- literal
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
345 complex out <- complex inputs
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
346 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
347 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
348
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
349 Do Set Input[literal,param,index:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
350 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
351 out <- Worker Node["Set Input", [[[()]Append[literal]]Append[Literal Node[index]]]Append[param]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
352 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
353
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
354 Check Worker Literals@Worker Node[node,program:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
355 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
356 new params <- Map[[node]Params >>, Check Worker Literals[?, program]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
357 Check Question Mark[new params, 0]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
358 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
359 base literal, complex inputs <- Collect Literal Inputs[Worker Literal[[node]Name >>], new params, 0, ()]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
360 new node <- Fold[Do Set Input[?], Literal Node[base literal], complex inputs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
361 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
362 new node <- [node]Params <<[new params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
363 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
364 out <- [new node]Blocks <<[ Map[[node]Blocks >>, Map[?, Check Worker Literals[?, program]]] ]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
365 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
366
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
367 Add Multi Wire[worker,ref,junk,end index,input num:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
368 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
369 out <- [worker]Add Wire[[ref]Index >>, [ref]Output Number >>, end index, input num]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
370 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
371
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
372 Add Param Wire[worker,param,input num,end index,blocks,parse worker,assignments:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
373 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
374 param worker, start index, output num <- [param]Add Wires[worker, blocks, parse worker, assignments] {}
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
375 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
376 out <- [param worker]Add Wire[start index, output num, end index, input num]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
377 }{}{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
378 out <- Fold[Add Multi Wire[?, ?, ?, end index, input num], param worker, ~]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
379 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
380 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
381
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
382 _Add Block Wire[worker,node,junk,blocks,parse worker,assignments:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
383 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
384 out <- [node]Add Wires[worker, blocks, parse worker, assignments]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
385 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
386
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
387 Add Block Wire[worker,block nodes,output num,parent index,existing blocks,parse worker,assignments:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
388 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
389 blocks <- [existing blocks]Append[Output Reference[parent index, output num]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
390 out <- Fold[_Add Block Wire[?, ?, ?, blocks, parse worker, assignments], worker, block nodes]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
391 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
392
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
393 Assignments Add Wires[worker,assignment,output num,parse worker,start index:out worker]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
394 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
395 [[parse worker]Outputs >>]Find[=[assignment,?]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
396 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
397 ,output index <- [worker]Add Typed Output[assignment, ~, [[parse worker]Output Types >>]Index[~]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
398 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
399 out worker <- [~]Add Wire[start index, output num, output index, 0]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
400 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
401 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
402 //Ugly hack alert!
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
403 If[[assignment]Contains["::"]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
404 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
405 parts <- [assignment]Split["::"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
406 ,global index <- [worker]Add Global Set[[parts]Index[0], [parts]Index[1]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
407 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
408 out worker <- [~]Add Wire[start index, output num, global index, 0]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
409 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
410 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
411 out worker <- worker
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
412 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
413 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
414 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
415
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
416 Has Block@Worker Node[junk:out,unused]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
417 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
418 out <- Yes
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
419 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
420
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
421 _Has Block Params[param list,key:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
422 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
423 param <- [param list]Index[key]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
424 out <- [param]Has Block {}
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
425 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
426 [param list]Next[key]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
427 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
428 out <- _Has Block Params[param list, ~]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
429 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
430 out <- No
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
431 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
432 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
433
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
434 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
435
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
436 Has Block Params[param list:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
437 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
438 [param list]First
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
439 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
440 out <- _Has Block Params[param list, ~]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
441 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
442 out <- No
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
443 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
444 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
445
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
446 Add Wires@Worker Node[node,worker,blocks,parse worker,assignments:outworker,index,num,unused]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
447 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
448 outworker,index,num <- Add Wires Worker or Field[node, worker, blocks, parse worker, assignments]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
449 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
450
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
451 Add Wires Worker or Field[node,worker,blocks,parse worker,assignments:outworker,index,num,unused]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
452 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
453 Fold[Assignments Add Wires[?, ?, ?, parse worker, [node]Index >>], worker, [node]Assignments >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
454 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
455 Fold[Add Block Wire[?, ?, ?, [node]Index >>, blocks, parse worker, assignments], ~, [node]Blocks >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
456 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
457 params worker <- Fold[Add Param Wire[?, ?, ?, [node]Index >>, blocks, parse worker, assignments], ~, [node]Params >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
458 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
459 index <- [node]Index >>
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
460 num <- 0
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
461 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
462 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
463 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
464 If[Has Block Params[[node]Params >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
465 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
466 outworker <- Val[params worker]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
467 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
468 [blocks]Peek
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
469 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
470 outworker <- [params worker]Add Wire[[~]Index >>, [~]Output Number >>, [node]Index >>, [0]-[1]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
471 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
472 outworker <- Val[params worker]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
473 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
474 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
475 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
476
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
477 Blueprint Field Node
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
478 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
479 Name
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
480 Params
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
481 Assignments
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
482 Blocks
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
483 Index
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
484 Set?
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
485 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
486
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
487 Has Block@Field Node[junk:has block,unused]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
488 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
489 has block <- Yes
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
490 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
491
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
492 Field Node[name,params,set:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
493 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
494 out <- [[[[[Build[Field Node()]]Name <<[name]]Assignments <<[()]]Blocks <<[()]]Set? <<[set]]Params <<[params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
495 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
496
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
497 Add to Worker@Field Node[node,worker,program,parse worker,refs:out node,out worker,out refs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
498 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
499 If[[node]Set? >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
500 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
501 after worker,index <- [worker]Add Object Set[[node]Name >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
502 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
503 after worker,index <- [worker]Add Object Get[[node]Name >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
504 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
505 Val[index]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
506 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
507 assignment refs <- Fold[Assignment Save Reference[?, ?, ?, parse worker, ~], refs, [node]Assignments >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
508 [node]Index <<[~]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
509 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
510 params list, params worker, params refs <- Add List to Worker[[~]Params >>, after worker, program, parse worker, assignment refs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
511 block list, out worker, out refs <- Add Blocks to Worker[[~]Blocks >>, params worker, program, parse worker, params refs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
512 out node <- [[~]Params <<[params list]]Blocks <<[block list]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
513 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
514 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
515 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
516
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
517 Add Wires@Field Node[node,worker,blocks,parse worker,assignments:outworker,index,num]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
518 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
519 outworker,index,num <- Add Wires Worker or Field[node, worker, blocks, parse worker, assignments]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
520 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
521
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
522 Check Worker Literals@Field Node[node,program:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
523 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
524 new params <- Map[[node]Params >>, Check Worker Literals[?, program]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
525 out <- [[node]Blocks <<[ Map[[node]Blocks >>, Map[?, Check Worker Literals[?, program]]] ]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
526 ]Params <<[new params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
527 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
528
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
529 Blueprint Named Pipe Node
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
530 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
531 Name
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
532 Assignments
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
533 Blocks
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
534 Index
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
535 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
536
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
537 Has Block@Named Pipe Node[node:has block,no block]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
538 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
539 If[[[node]Index >>] < [0]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
540 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
541 //~ should really be a parser parameter
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
542 If[[[node]Name >>] = ["~"]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
543 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
544 has block <- Yes
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
545 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
546 no block <- No
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
547 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
548 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
549 has block <- Yes
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
550 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
551 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
552
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
553 Named Pipe Node[name:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
554 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
555 out <- [[[Build[Named Pipe Node()]]Name <<[name]]Assignments <<[()]]Blocks <<[()]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
556 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
557
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
558 Add to Worker@Named Pipe Node[node,worker,program,parse worker,refs:out node,out worker,out refs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
559 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
560 [[parse worker]Inputs >>]Find[=[[node]Name >>, ?]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
561 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
562 after add <- [worker]Add Typed Input[[node]Name >>, ~, [[parse worker]Input Types>>]Index[~]] {}
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
563 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
564 assign refs <- Fold[Assignment Save Reference[?, ?, ?, parse worker, ~], refs, [node]Assignments >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
565 index node <- [node]Index <<[~]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
566 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
567 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
568 after add <- worker
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
569 index node <- [node]Index <<[[0]-[1]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
570 //TODO: Handle assignments from a named pipe that isn't an input
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
571 assign refs <- refs
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
572 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
573 block list, out worker, out refs <- Add Blocks to Worker[[node]Blocks >>, after add, program, parse worker, assign refs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
574 out node <- [index node]Blocks <<[block list]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
575 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
576
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
577 Add Wires@Named Pipe Node[node,worker,blocks,parse worker,assignments:outworker,index,num,reflist]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
578 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
579 reflist <- [assignments]Index[[node]Name >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
580 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
581 //TODO: Fix support for a named pipe with a block
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
582 outworker <- worker
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
583 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
584 If[[[node]Name >>] = ["~"]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
585 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
586 wires worker <- worker
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
587 [blocks]Peek
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
588 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
589 my index <- [~]Index >>
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
590 num <- [~]Output Number >>
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
591 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
592 //TODO: Propagate an error rather than printing it out
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
593 Print["Error, block reference symbol located outside of a block"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
594 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
595 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
596 If[[[node]Index >>] < [0]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
597 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
598 Print[[[["Error, reference to named pipe "]Append[[node]Name >>]]Append[" that was never assigned to in worker "]]Append[[parse worker]Name >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
599 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
600 my index <- [node]Index >>
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
601 num <- 0
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
602 assignments worker <- Fold[Assignments Add Wires[?, ?, ?, parse worker, [node]Index >>], worker, [node]Assignments >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
603 [blocks]Peek
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
604 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
605 wires worker <- [assignments worker]Add Wire[[~]Index >>, [~]Output Number >>, [node]Index >>, [0]-[1]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
606 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
607 wires worker <- Val[assignments worker]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
608 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
609 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
610 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
611 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
612 index <- Val[my index]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
613
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
614 outworker <- Fold[Add Block Wire[?, ?, ?, my index, blocks, parse worker, assignments], wires worker, [node]Blocks >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
615 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
616
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
617 Check Worker Literals@Named Pipe Node[node,program:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
618 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
619 out <- [node]Blocks <<[ Map[[node]Blocks >>, Map[?, Check Worker Literals[?, program]]] ]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
620 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
621
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
622 Blueprint Global Node
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
623 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
624 Store
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
625 Name
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
626 Assignments
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
627 Blocks
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
628 Index
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
629 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
630
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
631 Global Node[store,name:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
632 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
633 out <- [[[[Build[Global Node()]]Store <<[store]]Name <<[name]]Assignments <<[()]]Blocks <<[()]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
634 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
635
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
636 Add to Worker@Global Node[node,worker,unused,parse worker,refs:out node,out worker,outrefs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
637 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
638 out worker <- [worker]Add Global Get[[node]Store >>, [node]Name >>] {}
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
639 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
640 outrefs <- Fold[Assignment Save Reference[?, ?, ?, parse worker, ~], refs, [node]Assignments >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
641 out node <- [node]Index <<[~]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
642 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
643 outrefs <- refs
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
644 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
645
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
646 Add Wires@Global Node[node,worker,blocks,parse worker,assignments:outworker,index,num,unused]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
647 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
648 outworker,index,num <- Add Wires Literal or Global[node, worker, blocks, parse worker, assignments]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
649 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
650
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
651 Has Block@Global Node[junk:out,unused]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
652 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
653 out <- Yes
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
654 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
655
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
656 Check Worker Literals@Global Node[node,program:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
657 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
658 out <- [node]Blocks <<[ Map[[node]Blocks >>, Map[?, Check Worker Literals[?, program]]] ]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
659 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
660
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
661 Blueprint Literal Node
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
662 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
663 Value
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
664 Assignments
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
665 Blocks
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
666 Index
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
667 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
668
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
669 Has Block@Literal Node[junk:out,unused]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
670 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
671 out <- Yes
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
672 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
673
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
674 Literal Node[value:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
675 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
676 out <- [[[Build[Literal Node()]]Value <<[value]]Assignments <<[()]]Blocks <<[()]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
677 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
678
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
679 Add to Worker@Literal Node[node,worker,unused,parse worker,refs:out node,out worker,out refs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
680 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
681 out worker <- [worker]Add Constant[[node]Value >>] {}
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
682 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
683 out refs <- Fold[Assignment Save Reference[?, ?, ?, parse worker, ~], refs, [node]Assignments >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
684 out node <- [node]Index <<[~]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
685 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
686 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
687
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
688 Add Wires@Literal Node[node,worker,blocks,parse worker,assignments:outworker,index,num,unused]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
689 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
690 outworker,index,num <- Add Wires Literal or Global[node, worker, blocks, parse worker, assignments]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
691 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
692
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
693 Check Worker Literals@Literal Node[node,program:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
694 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
695 out <- [node]Blocks <<[ Map[[node]Blocks >>, Map[?, Check Worker Literals[?, program]]] ]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
696 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
697
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
698 Add Wires Literal or Global[node,worker,blocks,parse worker,junk:outworker,index,num,unused]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
699 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
700 assignments worker <- Fold[Assignments Add Wires[?, ?, ?, parse worker, [node]Index >>], worker, [node]Assignments >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
701 [blocks]Peek
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
702 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
703 outworker <- [assignments worker]Add Wire[[~]Index >>, [~]Output Number>>, [node]Index >>, [0]-[1]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
704 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
705 outworker <- Val[assignments worker]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
706 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
707 index <- [node]Index >>
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
708 num <- 0
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
709 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
710
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
711 Blueprint Block Node
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
712 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
713 Number
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
714 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
715
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
716 Blueprint Parse Error
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
717 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
718 Type
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
719 Text
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
720 Line Number
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
721 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
722
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
723 Parse Error[type,text,number:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
724 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
725 out <- [[[Build[Parse Error()]]Type <<[type]]Text <<[text]]Line Number <<[number]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
726 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
727
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
728 Not Empty[string:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
729 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
730 If[[[string]Length] > [0]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
731 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
732 out <- Yes
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
733 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
734 out <- No
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
735 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
736 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
737
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
738 Blueprint Blueprint Field
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
739 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
740 Name
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
741 Type
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
742 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
743
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
744 New Blueprint Field[name,type:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
745 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
746 out <- [[Build[Blueprint Field()]]Name <<[name]]Type <<[type]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
747 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
748
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
749 Process Blueprint Field[list,field,params:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
750 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
751 ,name <- [field]Get DString[[params]List Begin >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
752 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
753 type info <- Parse List[~,params,()]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
754 type <- [type info]Index[0]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
755 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
756 If[[Blueprint Of[~]] = [Named Pipe Node()]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
757 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
758 before variant <- Type Instance[[type]Name >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
759 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
760 before variant <- [type]Params <<[ Map[[type]Params >>, Remove Named Pipe Node[?]] ]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
761 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
762 variant <- [type info]Index[1]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
763 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
764 ,warn <- If[[Blueprint Of[~]] = [Named Pipe Node()]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
765 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
766 fieldtype,warn <- [before variant]Set Variant[[variant]Name >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
767 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
768 Val[warn]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
769 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
770 Print[[[["Warning: Invalid variant for type "]Append[[before variant]Name >>]]Append[" on field "]]Append[name]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
771 fieldtype <- Val[before variant]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
772 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
773 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
774 fieldtype <- Val[before variant]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
775 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
776 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
777 fieldtype <- Type Instance["Any Type"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
778 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
779 out <- [list]Append[New Blueprint Field[name, fieldtype]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
780 } {} {} {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
781 out <- [list]Append[New Blueprint Field[name, Type Instance["Any Type"]]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
782 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
783 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
784
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
785 Block Comment[string,begin comment,end comment,block count:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
786 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
787 If[[block count] > [0]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
788 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
789 after, before <- [string]Get DString[[[()]Append[begin comment]]Append[end comment]] {} {}
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
790 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
791 If[[~] = [begin comment]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
792 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
793 out <- Block Comment[after, begin comment, end comment, [block count]+[1]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
794 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
795 out <- Block Comment[after, begin comment, end comment, [block count]-[1]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
796 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
797 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
798 //No match
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
799 out <- ""
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
800 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
801 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
802 out <- string
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
803 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
804 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
805
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
806 Line Comment[string:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
807 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
808 [string]Get DString["\n"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
809 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
810 out <- ["\n"]Append[~]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
811 } {} {} {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
812 out <- ""
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
813 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
814 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
815
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
816 _Get Comment DString[string,delims,line comment,begin comment,end comment,prev before:rest,before,delim,nomatch]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
817 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
818 after,befored,used delim,nomatch <- [string]Get DString[delims]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
819 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
820 If[[used delim] = [line comment]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
821 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
822 after comment <- Line Comment[after]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
823 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
824 If[[used delim] = [begin comment]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
825 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
826 after comment <- Block Comment[after, begin comment, end comment, 1]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
827 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
828 rest <- Val[after]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
829 before <- [prev before]Append[befored]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
830 delim <- Val[used delim]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
831 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
832 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
833 } {} {} {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
834 before <- [prev before]Append[befored]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
835 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
836
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
837 after comment
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
838 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
839 rest,more before,delim,nomatch <- _Get Comment DString[~, delims, line comment, begin comment, end comment, prev before]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
840 before <- [before]Append[more before]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
841 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
842
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
843 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
844
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
845 As List[val:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
846 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
847 [(List(),List Leaf())]Find[=[Blueprint Of[val], ?]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
848 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
849 out <- val
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
850 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
851 out <- [()]Append[val]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
852 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
853 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
854
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
855 Get Comment DString[string,delims,params:rest,before,delim,not found]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
856 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
857 line comment <- [params]Line Comment >>
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
858 begin comment <- [params]Comment Begin >>
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
859 end comment <- [params]Comment End >>
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
860 all delims <- [[[delims]As List]Append[begin comment]]Append[line comment]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
861 rest, before, delim, not found <- _Get Comment DString[string, delims, line comment, begin comment, end comment, ""]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
862 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
863
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
864 Comment Left Trim[string,trim chars,params:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
865 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
866 line comment <- [params]Line Comment >>
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
867
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
868 end comment <- [params]Comment End >>
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
869 trimmed <- Left Trim[string, trim chars]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
870 If[[trimmed]Starts With[line comment]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
871 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
872 ,after delim <- [trimmed]Slice[[line comment]Length]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
873 out <- Comment Left Trim[Line Comment[after delim], trim chars, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
874 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
875 begin comment <- [params]Comment Begin >>
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
876 If[[trimmed]Starts With[begin comment]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
877 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
878 ,after delim <- [trimmed]Slice[[line comment]Length]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
879 out <- Comment Left Trim[Block Comment[after delim, begin comment, end comment, 1], trim chars, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
880 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
881 out <- Val[trimmed]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
882 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
883 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
884 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
885
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
886 PBlueprint[string,params,tree,lines:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
887 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
888 ,whitespace name <- [string]Get Comment DString[[params]Block Begin >>, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
889 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
890 ,no blueprint <- [whitespace name]Slice[ [[params]Blueprint >>]Length ]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
891 name <- Trim[no blueprint, "\r\n\t "]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
892 name lines <- 0
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
893 ,body <- [~]Get Comment DString[ [params]Block End >>, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
894 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
895 body lines <- [body]Split["\n"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
896 more lines <- [[[body lines]Length] - [1]] + [name lines]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
897 fields <- Fold[Process Blueprint Field[?, ?, params], (), Filter[Map[body lines, Trim[?,"\n\r\t "]], Not Empty[?]]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
898 new tree <- [tree]Blueprints << [ [[tree]Blueprints >>]Set[name, New Blueprint Definition[name, fields]] ]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
899 out <- Null[~, params, new tree, [lines] + [more lines]]
101
f4fc0a98088a Fixed some bugs that were preventing compiled compiler from working correctly. Need to address memory usage
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
900 } {} {} {
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
901 out <- [tree]Errors <<[ [[tree]Errors >>]Append[Parse Error["Error",[["Blueprint is missing an block close symbol \""]Append[[params]Block End >>]]Append["\""], lines]] ]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
902 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
903
101
f4fc0a98088a Fixed some bugs that were preventing compiled compiler from working correctly. Need to address memory usage
Mike Pavone <pavone@retrodev.com>
parents: 100
diff changeset
904 } {} {} {
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
905 out <- [tree]Errors <<[ [[tree]Errors >>]Append[Parse Error["Error",[["Blueprint is missing an block open symbol \""]Append[[params]Block Begin >>]]Append["\""], lines]] ]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
906 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
907 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
908
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
909 Parse Import[string,params,tree,lines:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
910 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
911 [line]Slice[ [[params]Import >>]Length ] {}
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
912 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
913 filename <- Trim[~, " \n\r\t"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
914 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
915
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
916 new tree <- [tree]Imports <<[[[tree]Imports >>]Set[filename, Yes]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
917
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
918 ,line <- [string]Get Comment DString["\n", params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
919 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
920 out <- Null[~, params, new tree, [lines] + [1]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
921 } {} {} {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
922 out <- Val[new tree]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
923 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
924 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
925
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
926 Get Expression Blocks[string,params,blocks:outblocks,after]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
927 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
928 check block <- Comment Left Trim[string, "\n\r\t ", params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
929 If[[check block]Starts With[[params]Block Begin >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
930 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
931 ,begin block <- [check block]Slice[[[params]Block Begin >>]Length]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
932 trees, after block <- Worker Body[begin block, params, ()]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
933 outblocks, after <- Get Expression Blocks[after block, params, [blocks]Append[trees]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
934 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
935 If[[check block]Starts With[[params]Empty Block >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
936 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
937 outblocks <- blocks
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
938 ,after <- [check block]Slice[[[params]Empty Block >>]Length]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
939 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
940 outblocks <- blocks
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
941 after <- Val[check block]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
942 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
943 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
944 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
945
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
946 Parse Escape[string,params:char,after]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
947 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
948 code,rest <- [string]Slice[1]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
949 If[[code] = [[params]Hex Escape >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
950 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
951 hex,after <- [rest]Slice[2]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
952 char <- String[[Array[]]Append[Trunc UInt8[Abs UInt[Hex Int32[hex]]]]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
953 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
954 after <- Val[rest]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
955 char <- [[params]Escape Map >>]Index[code] {}
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
956 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
957 char <- Val[code]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
958 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
959 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
960 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
961
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
962 Parse String[string,params,current:value,after]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
963 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
964 delims <- [[()]Append[[params]String End >>]]Append[[params]String Escape >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
965 afters, before, delim <- [string]Get Comment DString[delims, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
966 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
967 If[[delim] = [[params]String End >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
968 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
969 value <- [current]Append[before]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
970 after <- Val[afters]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
971 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
972 char,after escape <- Parse Escape[afters, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
973 value,after <- Parse String[after escape, params, [[current]Append[before]]Append[char]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
974 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
975 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
976 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
977
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
978 Parse List[string,params,list:value,after]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
979 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
980 trimmed <- Comment Left Trim[string, "\r\n\t ", params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
981 If[[trimmed]Starts With[[params]List End >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
982 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
983 value <- list
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
984 ,after <- [trimmed]Slice[[[params]List End >>]Length]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
985 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
986 If[[trimmed]Starts With[[params]List Delim >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
987 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
988 ,el string <- [trimmed]Slice[[[params]List Delim >>]Length]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
989 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
990 el string <- Val[trimmed]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
991 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
992 element,after el <- Named Pipe or Literal[el string, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
993 value,after <- Parse List[after el, params, [list]Append[[element]Get Value]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
994 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
995 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
996
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
997 Get Value@Literal Node[node:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
998 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
999 out <- [node]Value >>
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1000 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1001
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1002 Get Value@Named Pipe Node[node:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1003 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1004 out <- node
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1005 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1006
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1007 Machine Integer[val, size, signed?:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1008 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1009 conv <- [[[[[[[[()
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1010 ]Append[UInt8[?]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1011 ]Append[Int8[?]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1012 ]Append[UInt16[?]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1013 ]Append[Int16[?]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1014 ]Append[UInt32[?]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1015 ]Append[Int32[?]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1016 ]Append[UInt64[?]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1017 ]Append[Int64[?]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1018
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1019 base idx <- [[(8,16,32,64)]Find[=[size,?]]]*[2]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1020
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1021 If[signed?]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1022 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1023 idx <- [base idx]+[1]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1024 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1025 idx <- Val[base idx]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1026 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1027 out <- [[conv]Index[idx]]Call[val]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1028 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1029
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1030 Parse Number[string,params:value,after]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1031 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1032 delims <- [[[[(" ","\t","\n","\r")]Append[[params]List Delim >>]]Append[[params]Block Begin >>]]Append[[params]Arg End >>]]Append[[params]List End >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1033 after delim,valstring <- [string]Get Comment DString[delims, params] {} {}
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1034 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1035 after <- [~]Append[after delim]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1036 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1037 after <- ""
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1038 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1039 first two,rest <- [valstring]Slice[2]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1040 If[[first two] = ["0x"]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1041 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1042 value <- Hex Int32[rest]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1043 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1044 If[[valstring]Contains["."]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1045 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1046 value <- Real64[valstring]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1047 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1048 size, val, type <- [valstring]Get DString[("i","u")]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1049 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1050 value <- Machine Integer[val, Int32[size], [type]=["i"]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1051 } {} {} {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1052 value <- Int32[valstring]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1053 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1054 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1055 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1056 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1057
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1058 Parse Params@Type Instance[literal,params,string:out,after]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1059 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1060 plist,after <- Parse List[string,params,()]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1061 out <- [literal]Params <<[plist]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1062 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1063
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1064 Named Pipe or Literal[string,params:out,after]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1065 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1066 name <- Comment Left Trim[string, "\n\r\t ", params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1067 If[[name]Starts With[[params]String Begin >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1068 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1069 ,string begin <- [name]Slice[[[params]String Begin >>]Length]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1070 value,after <- Parse String[string begin, params, ""]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1071 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1072 If[[name]Starts With[[params]List Begin >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1073 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1074 ,list start <- [name]Slice[[[params]List Begin >>]Length]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1075 value,after <- Parse List[list start, params, ()]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1076 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1077 If[[[name]Slice[1]]In["-0123456789"]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1078 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1079 value,after <- Parse Number[name, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1080 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1081 delims <- [[[[[[[("\n")]Append[[params]Block Begin >>]]Append[[params]Block End >>]]Append[[params]Empty Block >>]]Append[[params]Arg End >>]]Append[[params]List Delim >>]]Append[[params]List End >>]]Append[[params]List Begin >>]
142
7bbdc034e347 Fix some bugs. Get basic network code working (epoll listener + accept connections). Start porting webserver.
Mike Pavone <pavone@retrodev.com>
parents: 139
diff changeset
1082 afterdelim,raw before,delim,nodelim <- [name]Get Comment DString[delims, params] {} {} {}
7bbdc034e347 Fix some bugs. Get basic network code working (epoll listener + accept connections). Start porting webserver.
Mike Pavone <pavone@retrodev.com>
parents: 139
diff changeset
1083 { delim <- "" }
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1084
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1085 before <- Trim[raw before, "\r\n\t "]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1086 If[[delim] = [[params]List Begin >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1087 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1088 value,after <- [Type Instance[before]]Parse Params[params,afterdelim]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1089 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1090 Val[afterdelim]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1091 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1092 after <- [delim]Append[~]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1093 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1094 Val[nodelim]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1095 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1096 after <- ""
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1097 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1098 If[[before] = ["Yes"]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1099 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1100 yesno <- Yes
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1101 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1102 If[[before] = ["No"]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1103 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1104 yesno <- No
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1105 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1106 If[[before] = [""]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1107 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1108 Print[[["Found "]Append[delim]]Append[" where a named pipe or literal was expected"]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1109 { Print[["Near: "]Append[ [afterdelim]Slice[80]]] }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1110 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1111 If[[before]Contains[[params]Global Separator >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1112 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1113 parts <- [before]Split[[params]Global Separator >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1114 out <- Global Node[Right Trim[[parts]Index[0],"\r\n\t "], Trim[[parts]Index[1], "\r\n\t "]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1115 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1116 out <- Named Pipe Node[Right Trim[before,"\r\n\t "]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1117 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1118 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1119 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1120 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1121 out <- Literal Node[yesno]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1122 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1123 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1124 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1125 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1126 out <- Literal Node[value]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1127 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1128
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1129 Parse Arguments[string,params,arglist:args,after]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1130 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1131 targs <- Comment Left Trim[string, "\r\n\t ", params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1132 If[[targs]Starts With[[params]List Delim >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1133 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1134 [targs]Slice[[[params]List Delim >>]Length] {}
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1135 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1136 final args <- Comment Left Trim[~, "\r\n\t ", params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1137 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1138 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1139 If[[targs]Starts With[[params]Arg End >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1140 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1141 args <- arglist
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1142 ,after <- [targs]Slice[[[params]Arg End >>]Length]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1143 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1144 final args <- Val[targs]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1145 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1146 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1147 arg, after arg <- Parse Expression[final args, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1148 args, after <- Parse Arguments[after arg, params, [arglist]Append[arg]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1149 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1150
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1151 Worker or Field[name,args,params:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1152 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1153 get field <- [params]Get Field >>
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1154 If[[name]Ends With[get field]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1155 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1156 field <- Right Trim[[name]Slice[[[name]Length] - [[get field]Length]], "\n\r\t "]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1157 out <- Field Node[field, args, No]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1158 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1159 set field <- [params]Set Field >>
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1160 If[[name]Ends With[set field]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1161 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1162 field <- Right Trim[[name]Slice[[[name]Length] - [[set field]Length]], "\n\r\t "]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1163 out <- Field Node[field, args, Yes]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1164 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1165 out <- Worker Node[name, args]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1166 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1167 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1168 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1169
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1170 Prefix[string,params,name,existing args:expression,after]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1171 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1172 //Parse argument list
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1173 more args,after <- Parse Arguments[string, params, existing args]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1174 expression <- Worker or Field[name, more args, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1175 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1176
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1177 Postfix or Infix[string,params:expression,after]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1178 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1179 args, after args <- Parse Arguments[string, params, ()]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1180 delims <- [[[[[("\n")]Append[[params]Arg Begin >>]]Append[[params]Empty Block >>]]Append[[params]Block Begin >>]]Append[[params]Arg End >>]]Append[[params]List Delim >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1181 aftere,before,delim <- [after args]Get Comment DString[delims, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1182 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1183 If[[delim] = [[params]Arg Begin >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1184 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1185 expression, after <- Prefix[aftere, params, Trim[before,"\r\n\t "], args]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1186 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1187 If[[delim] = [[params]Empty Block >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1188 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1189 after <- Val[aftere]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1190 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1191 ,after <- [after args]Slice[[before]Length]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1192 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1193 expression <- Worker or Field[Trim[before,"\r\n\t "], args, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1194 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1195 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1196 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1197
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1198 Parse Expression[trimmed,params:final expression,after blocks]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1199 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1200 delims <- [[[[[[[("\n")]Append[[params]Arg Begin >>]]Append[[params]Arg End >>]]Append[[params]Assign >>]]Append["\n"]]Append[[params]Empty Block >>]]Append[[params]Block End >>]]Append[[params]String Begin >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1201 after, before, delim <- [trimmed]Get Comment DString[delims, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1202 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1203 //If we find an arg begin token, we have a worker expression
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1204 If[[delim] = [[params]Arg Begin >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1205 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1206 maybe name <- Right Trim[before, "\r\t "]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1207 //Prefix expressions will have the worker name before the first arg begin token
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1208 If[[maybe name] = [""]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1209 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1210 expression, after expression <- Postfix or Infix[after, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1211 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1212 If[[maybe name]Contains[[params]List Delim >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1213 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1214 after expression <- [after literal]Append[[delim]Append[after]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1215 expression, after literal <- Named Pipe or Literal[Right Trim[before, "\r\n\t "], params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1216 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1217 expression, after expression <- Prefix[after, params, maybe name, ()]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1218 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1219 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1220 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1221 If[[delim] = [[params]Assign >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1222 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1223 //Expressions starting with an assignment can be prefix, postfix or infix
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1224 //or they can be a simple literal or named pipe
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1225 assignments <- Map[[before]Split[[params]List Delim >>], Trim[?,"\n\r\t "]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1226 ,after blocks <- Parse Expression[Comment Left Trim[after, " \n\r\t", params], params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1227 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1228 final expression <- [~]Assignments <<[assignments]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1229 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1230 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1231 //If[[delim] = [[params]String Begin >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1232 //{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1233 // If[[Trim[before, "\r\n\t "]] = [""]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1234 // {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1235 // expression, after expression <- Named Pipe or Literal[[delim]Append[after], params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1236 // }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1237 // after expression <- [after literal]Append[[delim]Append[after]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1238 // expression, after literal <- Named Pipe or Literal[Right Trim[before, "\r\n\t "], params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1239 // }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1240 //}{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1241 // after expression <- [after literal]Append[[delim]Append[after]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1242 // expression, after literal <- Named Pipe or Literal[Right Trim[before, "\r\n\t "], params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1243 //}
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1244 expression, after expression <- Named Pipe or Literal[trimmed, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1245 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1246 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1247 //Any expression can be followed by one or more blocks mapping the inputs of other expressions
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1248 //to the outputs of the current one
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1249 blocks,after blocks <- Get Expression Blocks[after expression, params, ()]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1250 final expression <- [expression]Blocks <<[blocks]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1251 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1252 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1253
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1254 Worker Body[string,params,trees:outtrees,after end]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1255 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1256 trimmed <- Comment Left Trim[string, "\n\r\t ", params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1257 If[[trimmed]Starts With[[params]Block End >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1258 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1259 //We're done with this block, return
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1260 ,after end <- [trimmed]Slice[[[params]Block End >>]Length]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1261 outtrees <- trees
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1262 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1263 expression, after expression <- Parse Expression[trimmed, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1264 outtrees,after end <- Worker Body[after expression, params, [trees]Append[expression]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1265 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1266 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1267
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1268 Process Modifiers[worker,params,modifiers:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1269 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1270 //Eventually this will need to be more sophisticated to handle more modifiers
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1271 trimmed <- Comment Left Trim[modifiers, "\n\r\t ", params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1272 If[[trimmed]Starts With[[params]Uses >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1273 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1274 ,after uses <- [trimmed]Slice[[[params]Uses >>]Length]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1275 ,stores string <- [after uses]Get Comment DString["\n", params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1276 out <- [worker]Uses Stores <<[Map[[stores string]Split[[params]List Delim >>], Trim[?, "\r\n\t "]]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1277 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1278 out <- worker
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1279 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1280 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1281
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1282 Remove Named Pipe Node[element:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1283 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1284 If[[Blueprint Of[element]] = [Named Pipe Node()]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1285 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1286 out <- [element]Name >>
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1287 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1288 If[[Blueprint Of[element]] = [Type Instance()]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1289 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1290 out <- [element]Params <<[ Map[[element]Params >>, Remove Named Pipe Node[?]] ]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1291 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1292 out <- element
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1293 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1294 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1295 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1296
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1297 Parse Param List[text,paramlist,typelist,params:out params,out types]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1298 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1299 delims <- [[()]Append[[params]List Begin >>]]Append[[params]List Delim >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1300 after,param name <-[text]Get DString[delims] {}
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1301 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1302 tname <- Trim[~, "\r\n\t "]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1303 If[[tname] = [""]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1304 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1305 nextlist <- Val[paramlist]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1306 next types <- Val[typelist]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1307 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1308 nextlist <- [paramlist]Append[tname]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1309 next types <- [typelist]Append[paramtype]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1310 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1311 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1312 If[[~] = [[params]List Begin >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1313 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1314 type info,after type <- Parse List[after,params,()]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1315 type <- [type info]Index[0]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1316 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1317 If[[Blueprint Of[~]] = [Named Pipe Node()]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1318 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1319 before variant <- Type Instance[[type]Name >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1320 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1321 before variant <- <- [type]Params <<[ Map[[type]Params >>, Remove Named Pipe Node[?]] ]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1322 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1323 variant <- [type info]Index[1]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1324 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1325 ,warn <- If[[Blueprint Of[~]] = [Named Pipe Node()]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1326 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1327 before mutable,warn <- [before variant]Set Variant[[variant]Name >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1328 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1329 Val[warn]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1330 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1331 Print[[[["Warning: Invalid variant for type "]Append[[before variant]Name >>]]Append[" on input "]]Append[param name]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1332 before mutable <- Val[before variant]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1333 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1334 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1335 before mutable <- Val[before variant]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1336 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1337 [type info]Index[2]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1338 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1339 paramtype <- [before mutable]Mutable? <<[ [[~]Name >>] = ["Mutable"] ]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1340 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1341 paramtype <- Val[before mutable]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1342 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1343 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1344 paramtype <- Type Instance["Any Type"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1345 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1346 [after type]Get DString[","]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1347 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1348 out params,out types <- Parse Param List[~,nextlist,next types,params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1349 } {} {} {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1350 out params <- Val[nextlist]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1351 out types <- Val[next types]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1352 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1353 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1354 paramtype <- Type Instance["Any Type"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1355 out params,out types <- Parse Param List[after,nextlist,next types,params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1356 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1357
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1358 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1359 paramtype <- Type Instance["Any Type"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1360 out params <- Val[nextlist]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1361 out types <- Val[next types]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1362 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1363 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1364
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1365 Worker Declaration[string,params:worker,rest,no match]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1366 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1367 ,whitespace name <- [string]Get Comment DString[[params]Arg Begin >>, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1368 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1369 worker name <- Trim[whitespace name, "\n\r\t "]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1370 in out <- [params]In Out Delim >>
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1371 arg end <- [params]Arg End >>
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1372 delims <- [[()]Append[in out]]Append[arg end]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1373 after <- [~]Get Comment DString[delims, params] {}
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1374 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1375 arglist <- Trim[~,"\r\n\t "]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1376 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1377 //check if there is an in/out separator
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1378 //if it isn't present, everything in the arglist is an input
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1379 If[[~] = [in out]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1380 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1381 rest <- [after]Get Comment DString[arg end, params] {}
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1382 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1383 outputs,output types <- Parse Param List[~, (), (), params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1384 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1385 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1386 rest <- Val[after]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1387 outputs <- ()
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1388 output types <- ()
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1389 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1390 inputs,input types <- Parse Param List[arglist, (), (), params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1391 worker <- Parse Worker[worker name, inputs, outputs, input types, output types, 0]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1392 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1393 }{}{}{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1394 no match <- string
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1395 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1396 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1397
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1398 Worker Name[string,params,tree,lines:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1399 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1400 ,after arglist <- Worker Declaration[string, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1401 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1402 worker name <- [~]Name >>
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1403 body text, modifiers <- [after arglist]Get Comment DString[[params]Block Begin >>, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1404 modified <- Process Modifiers[~, params, modifiers]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1405 expression trees, after body <- Worker Body[body text, params, ()]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1406 worker <- [modified]Trees <<[expression trees]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1407 new worker dict <- [[tree]Workers >>]Set[worker name, worker]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1408 out <- Null[after body, params, [tree]Workers <<[new worker dict], 0]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1409 } {} {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1410 out <- tree
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1411 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1412 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1413
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1414 Parse Foreign Worker[tree, string, lib, params:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1415 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1416 ,rest <- Worker Declaration[string, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1417 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1418 foreign <- [~]Trees << [lib]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1419 next <- [tree]Workers << [[[tree]Workers >>]Set[[foreign]Name >>, foreign]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1420 out <- Parse Foreign Worker[next, rest, lib, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1421 } {} {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1422 out <- tree
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1423 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1424 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1425
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1426 Parse Foreign[string,params,tree,lines:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1427 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1428 ,after foreign <- [string]Slice[[[params]Foreign >>]Length]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1429 [after foreign]Get Comment DString[[params]Blueprint Type Delim >>, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1430 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1431 [~]Get Comment DString[[params]Block Begin >>, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1432 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1433 rest, body <- [~]Get Comment DString[[params]Block End >>, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1434 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1435 { lib <- Trim[~, "\r\n\t "] }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1436 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1437 { language <- Trim[~, "\r\n\t "] }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1438 Parse Foreign Worker[tree, body, New Foreign Lib[language, lib], params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1439 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1440 out <- Null[rest, params, ~, 0]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1441 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1442 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1443
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
1444 Parse Global Vars[string,params,store:out]
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
1445 {
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
1446 trimmed <- Left Trim[string, "\r\n\t "]
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
1447 If[trimmed]
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
1448 {
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
1449 ,,after <- [trimmed]Partition[[params]Assign >>]
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
1450 {
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
1451 varname <- Right Trim[~, "\r\n\t "]
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
1452 } {} {
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
1453 valstring <- [~]Partition["\n"] {} {}
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
1454 {
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
1455 out <- Parse Global Vars[~,params,next store]
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
1456 }{
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
1457 valstring <- Val[after]
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
1458 out <- Val[next store]
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
1459 }
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
1460 Val[valstring]
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
1461 {
142
7bbdc034e347 Fix some bugs. Get basic network code working (epoll listener + accept connections). Start porting webserver.
Mike Pavone <pavone@retrodev.com>
parents: 139
diff changeset
1462 Print[["Parsing initial value: "]Append[valstring]]
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
1463 value <- [Named Pipe or Literal[Trim[~, "\r\n\t "], params]]Value >>
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
1464 next store <- [store]Vars <<[ [[store]Vars >>]Set[varname, value] ]
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
1465 }
142
7bbdc034e347 Fix some bugs. Get basic network code working (epoll listener + accept connections). Start porting webserver.
Mike Pavone <pavone@retrodev.com>
parents: 139
diff changeset
1466 }{
7bbdc034e347 Fix some bugs. Get basic network code working (epoll listener + accept connections). Start porting webserver.
Mike Pavone <pavone@retrodev.com>
parents: 139
diff changeset
1467 Print[["Expected assignment operator in global var block, found "]Append[trimmed]]
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
1468 }
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
1469 }{
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
1470 out <- store
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
1471 }
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
1472 }
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
1473
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
1474 Parse Globals[string,params,tree,lines:out]
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
1475 {
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
1476 ,after globals <- [string]Slice[[[params]Globals >>]Length]
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
1477 [after globals]Partition[[params]Block Begin >>]
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
1478 {
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
1479 store <- Global Store[Trim[~, "\r\n\t "]]
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
1480 } {} {
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
1481
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
1482 [~]Partition[[params]Block End >>]
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
1483 {
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
1484 next tree <- [tree]Add Global Store[Parse Global Vars[~, params, store]]
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
1485 } {} {
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
1486 out <- Null[~,params,next tree,lines]
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
1487 }{
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
1488 Print["Error: Globals declaration missing block close symbol"]
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
1489 out <- tree
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
1490 }
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
1491 } {
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
1492 Print["Error: Globals declaration without block"]
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
1493 out <- tree
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
1494 }
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
1495 }
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
1496
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
1497
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1498 Null[string,params,tree,lines:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1499 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1500 trimmed <- Comment Left Trim[string, " \n\r\t", params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1501 current line <- 0
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1502 If[[trimmed]Starts With[ [params]Blueprint >> ]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1503 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1504 out <- PBlueprint[trimmed, params, tree, current line]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1505 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1506 If[[trimmed]Starts With[ [params]Import >> ]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1507 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1508 out <- Parse Import[trimmed, params, tree, current line]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1509 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1510 If[[trimmed]Starts With[ [params]Foreign >> ]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1511 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1512 out <- Parse Foreign[trimmed, params, tree, current line]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1513 }{
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
1514 If[[trimmed]Starts With[[params]Globals >>]]
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1515 {
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
1516 out <- Parse Globals[trimmed, params, tree, current line]
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1517 }{
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
1518 If[trimmed]
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
1519 {
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
1520 out <- Worker Name[trimmed, params, tree, current line]
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
1521 }{
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
1522 out <- tree
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
1523 }
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1524 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1525 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1526 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1527 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1528 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1529
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1530 Check Worker Literals@Parse Worker[worker,program:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1531 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1532 [(List(),List Leaf())]Find[=[Blueprint Of[[worker]Trees >>], ?]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1533 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1534 out <- [worker]Trees <<[ Map[[worker]Trees >>, Check Worker Literals[?, program]] ]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1535 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1536 out <- worker
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1537 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1538 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1539
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1540 Register Workers Compile[prog, worker, name:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1541 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1542 //Print[["Registering "]Append[name]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1543 If[[ Blueprint Of[[worker]Trees >>] ] = [Foreign Lib()]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1544 { convention <- Val[[[worker]Trees >>]Language >>] }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1545 { convention <- "rhope" }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1546 out <- [prog]Register Worker[name, convention, [[worker]Inputs >>]Length, [[worker]Outputs >>]Length]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1547 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1548
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1549 Add Workers Compile[prog, worker, name:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1550 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1551 Print[["Transforming "]Append[name]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1552 If[[Blueprint Of[[worker]Trees >>]] = [Foreign Lib()]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1553 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1554 //TODO: Handle foreign func
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1555 final nworker <- [[[[[NWorker[[[worker]Trees >>]Language >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1556 ]Inputs <<[ [worker]Inputs >> ]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1557 ]Input Types <<[ [worker]Input Types >> ]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1558 ]Outputs <<[ [worker]Outputs >> ]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1559 ]Output Types <<[ [worker]Output Types >> ]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1560 ]Library <<[ [[worker]Trees >>]Name >> ]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1561
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1562 }{
173
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
1563 assigned <- Fold[_Get Assigned Pipes[?], Dictionary[], [worker]Trees >>]
e769b2e0facc Syntactic sugar for calling a value
Mike Pavone <pavone@retrodev.com>
parents: 142
diff changeset
1564 trees, nworker, refs <- Add List to Worker[[worker]Trees >>, [[NWorker["rhope"]]Uses[[worker]Uses Stores >>]]Outputs <<[ [worker]Outputs >> ], prog, [worker]Assigned <<[assigned], Dictionary[]]
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1565 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1566 final nworker <- Fold[Add Wires Helper[?, ?, ?, worker, refs], nworker, trees]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1567 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1568
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1569 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1570 out <- [prog]Bind Worker[name, final nworker]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1571 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1572
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1573 Add Wires Helper[worker,node,unused,parse worker,assignments:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1574 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1575 out <- [node]Add Wires[worker, (), parse worker, assignments]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1576 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1577
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1578 Add Blueprint Field[blueprint,field,unused:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1579 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1580 out <- [blueprint]Add Field[[field]Name >>, [field]Type >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1581 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1582
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1583 Add Blueprint Compile[prog,def:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1584 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1585 out <- [prog]Bind Blueprint[[def]Name >>, Fold[Add Blueprint Field[?], NBlueprint[], [def]Fields >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1586 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1587
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: 115
diff changeset
1588 Tree to Program Native[parse tree,number types:out]
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1589 {
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
1590 registered <- Fold[Register Workers Compile[?], [Fold[Add Blueprint Compile[?], [[NProgram[]]Numtypes <<[number types]]Global Stores <<[[parse tree]Global Stores >>], [parse tree]Blueprints >>]]Register Builtins, [parse tree]Workers >>]
100
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1591 out <- Fold[Add Workers Compile[?], registered, [parse tree]Workers >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1592 { Print["Transformed AST to dataflow graph "] }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1593 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1594
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1595 Needs Imports[needs import,not imported?,name:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1596 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1597 If[not imported?]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1598 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1599 out <- [needs import]Append[name]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1600 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1601 out <- needs import
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1602 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1603 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1604
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1605 Do Import[tree,file name,unused,params:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1606 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1607 Print[["Parsing: "]Append[file name]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1608 file <- [File[file name]]Open["r"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1609 text <- String[[file]Read[[file]Length]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1610 after import <- Null[text, params, tree, 0]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1611
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1612 out <- [after import]Imports <<[[[after import]Imports >>]Set[file name, No]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1613 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1614
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1615 Process Imports[parse tree,params:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1616 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1617 needs import <- Fold[Needs Imports[?], (), [parse tree]Imports >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1618 If[[[needs import]Length] > [0]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1619 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1620 import tree <- Fold[Do Import[?, ?, ?, params], parse tree, needs import]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1621 out <- Process Imports[import tree, params]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1622 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1623 out <- parse tree
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1624 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1625 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1626
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1627 Until End[text:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1628 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1629 line <- Get Input[]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1630 If[[line] = ["End"]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1631 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1632 out <- [text]Append["\n"]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1633 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1634 out <- Until End[[[text]Append["\n"]]Append[line]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1635 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1636 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1637
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1638 Add If Store[stores,name,params:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1639 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1640 If[[name]Contains[[params]Global Separator >>]]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1641 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1642 parts <- [name]Split[[params]Global Separator >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1643 out <- [stores]Set[[parts]Index[0], Yes]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1644 }{
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1645 out <- stores
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1646 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1647 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1648
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1649 Param Gather Stores[stores,node,params:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1650 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1651 out <- [node]Gather Stores[params, stores]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1652 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1653
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1654 Gather Stores@Named Pipe Node[node,params,stores:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1655 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1656 out <- Fold[Add If Store[?, ?, params], stores, [node]Assignments >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1657 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1658
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1659 Gather Stores@Global Node[node,params,stores:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1660 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1661 out <- [stores]Set[[node]Store >>, Yes]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1662 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1663
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1664 Gather Stores@Worker Node[node,params,stores:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1665 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1666 //TODO: Handle blocks
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1667 store list <- Fold[Param Gather Stores[?, ?, params], stores, [node]Params >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1668 out <- Fold[Add If Store[?, ?, params], store list, [node]Assignments >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1669 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1670
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1671 Gather Stores@Field Node[node,params,stores:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1672 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1673 //TODO: Handle blocks
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1674 store list <- Fold[Param Gather Stores[?, ?, params], stores, [node]Params >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1675 out <- Fold[Add If Store[?, ?, params], store list, [node]Assignments >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1676 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1677
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1678 Gather Stores@Literal Node[node,params,stores:out]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1679 {
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1680 out <- Fold[Add If Store[?, ?, params], stores, [node]Assignments >>]
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1681 }
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1682
f51c4c17457c Broken port of parser to compiler
Mike Pavone <pavone@retrodev.com>
parents:
diff changeset
1683