repos/rhope: parse.rhope annotate

annotate parse.rhope @ 175:03e4fa277291

Use worker refs for geninterp

author	Mike Pavone <pavone@retrodev.com>
date	Wed, 08 Jun 2011 23:24:15 -0700
parents	47ab97730865
children	db30bda91aad

rev	line source
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	1
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	2 Blueprint Error
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	3 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	4 Message
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	5 Line
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	6 Column
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	7 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	8
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	9 Error[msg,text:out]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	10 {
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	11 out <- [[[Build[Error()]]Message <<[msg]]Line << [ [[text]Line >>]+[1] ]]Column << [ [[text]Column >>]+[1] ]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	12 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	13
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	14 String@Error[error:out]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	15 {
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	16 out <- [[[[[error]Message >>]Append[" on line "]]Append[String[[error]Line >>]]]Append[" at column "]]Append[String[[error]Column >>]]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	17 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	18
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	19 Blueprint PImport Node
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	20 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	21 File
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	22 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	23
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	24 PImport Node[file:out]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	25 {
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	26 out <- [Build[PImport Node()]]File <<[file]
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	27 }
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	28
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	29 String@PImport Node[node:out]
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	30 {
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	31 out <- ["Import: "]Append[[node]File >>]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	32 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	33
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	34 Blueprint Worker Node
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	35 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	36 Name
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	37 Blueprint
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	38 Inputs
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	39 Outputs
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	40 Tree
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	41 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	42
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	43 Add Node Input@Worker Node[node,input:out]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	44 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	45 Print["Add Node Input"]
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	46 Print[["Input: "]Append[String[input]]]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	47 out <- [node]Inputs <<[[[node]Inputs >>]Append[input]]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	48 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	49
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	50 Add Node Output@Worker Node[node,output:out]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	51 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	52 out <- [node]Outputs <<[[[node]Outputs >>]Append[output]]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	53 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	54
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	55 String@Worker Node[node:out]
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	56 {
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	57 out <- [[[[["Worker: "]Append[[node]Name >>]
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	58 ]Append[ ["\n\tBlueprint:\t"]Append[String[[node]Blueprint >>]] ]
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	59 ]Append[ ["\n\tInputs: \t"]Append[[[node]Inputs >>]Join[", "]] ]
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	60 ]Append[ ["\n\tOutputs:\t"]Append[[[node]Outputs >>]Join[", "]] ]
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	61 ]Append[ ["\n\tTree: \t"]Append[ [[String[[node]Tree >>]]Split["\n"]]Join["\n\t"] ] ]
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	62 }
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	63
5 a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	64 Blueprint Statement
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	65 {
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	66 Expression
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	67 Assignments
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	68 Blocks
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	69 }
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	70
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	71 Statement[expression,assignments:out]
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	72 {
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	73 out <- [[[Build[Statement()]]Expression <<[expression]]Assignments <<[assignments]]Blocks <<[()]
5 a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	74 }
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	75
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	76 Add Block@Statement[statement,block:out]
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	77 {
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	78 out <- [statement]Blocks <<[ [[statement]Blocks >>]Append[block] ]
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	79 }
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	80
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	81 String@Statement[statement:out]
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	82 {
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	83 out <- [[["Statement\n\tExpression:\t"
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	84 ]Append[ [[String[[statement]Expression >>]]Split["\n"]]Join["\n\t"] ]
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	85 ]Append[ ["\n\tAssignments:\t"]Append[[[statement]Assignments >>]Join[", "]] ]
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	86 ]Append[ ["\n\tBlocks:\t"]Append[ [[String[[statement]Blocks >>]]Split["\n"]]Join["\n\t"] ] ]
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	87 }
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	88
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	89 Blueprint Worker Call
5 a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	90 {
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	91 Worker
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	92 Blueprint
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	93 Arguments
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	94 }
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	95
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	96 Worker Call[worker,blueprint:out]
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	97 {
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	98 out <- [[[Build[Worker Call()]]Worker <<[worker]]Blueprint <<[blueprint]]Arguments <<[()]
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	99 }
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	100
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	101 String@Worker Call[exp:out]
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	102 {
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	103 out <- ["Worker Call\n\tWorker:\t"]Append[[exp]Worker >>]
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	104 }
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	105
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	106 Blueprint Global Reference
5 a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	107 {
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	108 Store
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	109 Variable
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	110 }
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	111
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	112 Blueprint Pipe Value
5 a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	113 {
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	114 Name
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	115 }
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	116
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	117 Pipe Value[name:out]
5 a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	118 {
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	119 out <- [Build[Pipe Value()]]Name <<[name]
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	120 }
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	121
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	122 String@Pipe Value[pipe:out]
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	123 {
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	124 out <- ["Pipe Value\n\tName:\t"]Append[[pipe]Name >>]
5 a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	125 }
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	126
134 386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	127 Blueprint Literal
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	128 {
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	129 Value
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	130 }
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	131
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	132 Literal[val:out]
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	133 {
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	134 out <- [Build[Literal()]]Value <<[val]
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	135 }
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	136
5 a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	137 Blueprint Block
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	138 {
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	139 Tree
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	140 }
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	141
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	142 Block[:out]
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	143 {
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	144 out <- [Build[Block()]]Tree <<[()]
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	145 }
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	146
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	147 String@Block[block:out]
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	148 {
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	149 out <- Fold[_String Seq[?], "Block", [block]Tree >>]
5 a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	150 }
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	151
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	152 Blueprint Field Call
5 a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	153 {
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	154 Name
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	155 Set?
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	156 Arguments
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	157 }
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	158
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	159 Field Call[name,set?:out]
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	160 {
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	161 out <- [[[Build[Field Call()]]Name <<[name]]Set? <<[set?]]Arguments <<[()]
5 a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	162 }
a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	163
134 386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	164 After Literal[tokens,current,literal:out,out index]
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	165 {
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	166 next index <- [tokens]Next[current]
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	167 {
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	168 after <- [tokens]Index[~]
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	169 [after]Type Match["Call Separator"]
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	170 {
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	171 out,out index <- To Call[tokens,next index,[()]Append[literal]]
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	172 }{
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	173 [after]Type Match[("Newline","Block End","List End")]
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	174 {
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	175 out <- literal
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	176 out index <- current
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	177 }
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	178 }
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	179 }{
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	180 out <- literal
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	181 out index <- current
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	182 }
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	183 }
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	184
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	185 Parse Hex[text:out,error]
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	186 {
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	187
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	188 }
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	189
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	190 Parse Number[text:out,error]
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	191 {
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	192 [text]Starts With["0x"]
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	193 {
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	194 [text]Slice[2] {}
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	195 { out,error <- Parse Hex[~] }
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	196 }{
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	197 [text]Contains["."]
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	198 {
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	199
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	200 }{
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	201 val,sign,size <-[text]Partition[("u","i")] {} {} {}
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	202 {
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	203 //TODO: Produce "bigint" instead of Int32
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	204 out <- Int32[text]
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	205 }
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	206 }
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	207 }
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	208 }
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	209
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	210 Expression[tokens,current:out,out index,none]
5 a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	211 {
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	212 token <- [tokens]Index[current]
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	213 [token]Type Match["Symbol"]
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	214 {
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	215 ,end stream <- [tokens]Next[current]
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	216 {
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	217 after <- [tokens]Index[~]
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	218 [after]Type Match["Args Begin"]
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	219 {
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	220
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	221 }{
134 386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	222 [after]Type Match["Call Separator"]
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	223 {
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	224
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	225 }{
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	226 [after]Type Match["Newline"]
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	227 {
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	228
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	229 }{
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	230
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	231 }
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	232 }
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	233 }
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	234 }
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	235 }{
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	236 [token]Type Match[("Field Get","Field Set")]
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	237 {
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	238 [token]Type Match["Field Set"]
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	239 { set? <- Yes }
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	240 { set? <- No }
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	241 Field Call[[token]Text >>, set?]
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	242 }{
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	243 [token]Type Match["Args Begin"]
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	244 {
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	245
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	246 }{
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	247 [token]Type Match["List Begin"]
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	248 {
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	249
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	250 }{
134 386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	251 [token]Type Match["String Literal"]
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	252 {
134 386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	253 lit <- [token]Text >>
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	254 }{
134 386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	255 [token]Type Match["Numeric Literal"]
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	256 {
134 386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	257 lit <- Parse Number[[token]Text >>]
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	258 }{
134 386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	259 [token]Type Match["Newline"]
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	260 {
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	261 ,none <- [tokens]Next[current]
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	262 { out, out index <- Expression[tokens, ~] }
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	263 }{
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	264 none, unexpected token <- [token]Type Match["Block End"]
386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	265 }
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	266 }
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	267 }
134 386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	268 out,out index <- After Literal[tokens,current,Literal[lit]]
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	269 }
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	270 }
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	271 }
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	272 }
5 a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	273 }
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	274
5 a4d2d633a356 Groundwork for parsing expressions in new parser Mike Pavone <pavone@retrodev.com> parents: 4 diff changeset	275
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	276 Body[node,tokens,current,depth:out,out index, done]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	277 {
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	278 Print[["Body: Depth="]Append[String[depth]]]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	279 If[[depth] > [0]]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	280 {
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	281 //symbol list = Symbol [List Separator symbol list]
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	282 //value = String Literal \| Number Literal \| List Literal \| Symbol \| Block Reference \| expression
134 386f4a874821 More work on new parser Mike Pavone <pavone@retrodev.com> parents: 132 diff changeset	283 //call = [Args Begin arg list Args End]Symbol[Args Begin arg list Args End] \| (value \| Arg Placeholder) Call Separator Symbol
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	284 //arg list = value \| Arg Placeholder [List Separator arg list]
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	285 //block = Block Begin [expressions] Block End
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	286 //blocks = block [blocks]
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	287 //expressions = expression [expressions]
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	288 //expression = [symbol list Assignment] call \| value blocks \| Newline
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	289 token <- [tokens]Index[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	290 [token]Type Match["Block Begin"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	291 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	292 ,end stream <- [tokens]Next[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	293 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	294 out,out index, done <- Body[node,tokens,~,[depth]+[1]]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	295 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	296 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	297 [token]Type Match["Block End"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	298 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	299 [tokens]Next[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	300 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	301 out,out index, done <- Body[node,tokens,~,[depth]-[1]]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	302 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	303 ,end stream <- If[[depth] = [1]]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	304 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	305 Print["done"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	306 out <- Val[node]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	307 done <- Yes
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	308 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	309 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	310 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	311 ,end stream <- [tokens]Next[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	312 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	313 out,out index, done <- Body[node,tokens,~,depth]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	314 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	315 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	316 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	317 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	318 out <- node
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	319 out index <- current
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	320 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	321 Val[end stream]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	322 {
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	323 Print[String[Error[["Unexpected end of stream after token of type "]Append[[token]Type >>], [token]Raw Text >>]]]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	324 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	325 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	326
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	327 Before Body[node,tokens,current:out,out index, done]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	328 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	329 Print["Before body"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	330 token <- [tokens]Index[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	331 next,end stream <- [tokens]Next[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	332 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	333 [token]Type Match["Block Begin"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	334 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	335 out,out index, done <- Body[node,tokens,next,1]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	336 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	337 out,out index, done <- Before Body[node,tokens,next]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	338 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	339 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	340 Val[end stream]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	341 {
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	342 Print[String[Error[["Unexpected end of stream after token of type "]Append[[token]Type >>], [token]Raw Text >>]]]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	343 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	344 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	345
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	346 Outputs[node,tokens,current:out,out index, done]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	347 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	348 Print["outputs"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	349 token <- [tokens]Index[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	350 next,end stream <- [tokens]Next[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	351 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	352 [token]Type Match["Symbol"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	353 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	354 out,out index, done <- Outputs[[node]Add Node Output[[token]Text >>], tokens, next]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	355 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	356 [token]Type Match["Args End"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	357 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	358 out,out index, done <- Before Body[node, tokens, next]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	359 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	360 [token]Type Match[("List Separator","Block Comment","Line Comment","Newline")]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	361 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	362 out,out index, done <- Outputs[node, tokens, next]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	363 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	364 Print[String[Error[["Unexpected token of type "]Append[[token]Type >>], [token]Raw Text >>]]]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	365 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	366 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	367 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	368 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	369 Val[end stream]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	370 {
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	371 Print[String[Error[["Unexpected end of stream after token of type "]Append[[token]Type >>], [token]Raw Text >>]]]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	372 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	373 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	374
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	375 Inputs[node,tokens,current:out,out index, done]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	376 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	377 Print["Inputs"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	378 token <- [tokens]Index[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	379 next,end stream <- [tokens]Next[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	380 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	381 [token]Type Match["Symbol"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	382 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	383
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	384 out,out index, done <- Inputs[[node]Add Node Input[[token]Text >>], tokens, next]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	385 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	386 [token]Type Match["Name Separator"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	387 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	388 Print["in out sep"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	389 out,out index, done <- Outputs[node, tokens, next]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	390 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	391 [token]Type Match["Args End"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	392 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	393 out,out index, done <- Before Body[node, tokens, next]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	394 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	395 [token]Type Match[("List Separator","Block Comment","Line Comment","Newline")]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	396 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	397 out,out index,done <- Inputs[node, tokens, next]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	398 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	399 Print[String[Error[["Unexpected token of type "]Append[[token]Type >>], [token]Raw Text >>]]]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	400 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	401 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	402 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	403 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	404 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	405 Val[end stream]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	406 {
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	407 Print[String[Error[["Unexpected end of stream after token of type "]Append[[token]Type >>], [token]Raw Text >>]]]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	408 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	409 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	410
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	411 Method[node,tokens,current:out,out index,done]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	412 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	413 token <- [tokens]Index[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	414 next <- [tokens]Next[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	415 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	416 [token]Type Match["Symbol"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	417 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	418 out,out index,done <- Before Inputs[[node]Blueprint <<[[token]Text >>], tokens, next]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	419 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	420 [token]Type Match[("List Separator","Block Comment","Line Comment","Newline")]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	421 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	422 out,out index,done <- Method[node, tokens, next]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	423 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	424 Print[String[Error[["Unexpected token of type "]Append[[token]Type >>], [token]Raw Text >>]]]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	425 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	426 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	427 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	428 Print[String[Error[["Unexpected end of stream after token of type "]Append[[token]Type >>], [token]Raw Text >>]]]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	429 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	430 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	431
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	432 //TODO: support method declarations
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	433 Before Inputs[node, tokens, current:out, out index, done]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	434 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	435 Print["Before Inputs"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	436 token <- [tokens]Index[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	437 [token]Type Match["Args Begin"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	438 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	439 [tokens]Next[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	440 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	441 out,out index, done <- Inputs[node, tokens, ~]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	442 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	443 Print[String[Error[["Unexpected end of stream after token of type "]Append[[token]Type >>], [token]Raw Text >>]]]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	444 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	445 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	446 [token]Type Match["Method Separator"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	447 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	448 [tokens]Next[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	449 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	450 out,out index,done <- Method[node, tokens, ~]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	451 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	452 Print[String[Error[["Unexpected end of stream after token of type "]Append[[token]Type >>], [token]Raw Text >>]]]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	453 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	454 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	455 [token]Type Match[("Line Comment","Block Comment","Newline")]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	456 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	457 continue <- Yes
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	458 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	459 Print[String[Error[["Unexpected token of type "]Append[[token]Type >>], [token]Raw Text >>]]]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	460 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	461 Val[continue]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	462 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	463 [tokens]Next[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	464 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	465 out,out index, done <- Before Inputs[node, tokens, ~]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	466 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	467 Print[String[Error[["Unexpected end of stream after token of type "]Append[[token]Type >>], [token]Raw Text >>]]]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	468 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	469 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	470 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	471 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	472 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	473
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	474 Worker Node[name, tokens, current:out,out index, done]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	475 {
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	476 Print[["Worker: "]Append[String[name]]]
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	477 out,out index, done <- Before Inputs[[[[[[Build[Worker Node()]]Name <<[name]]Inputs <<[()]]Outputs <<[()]]Blueprint <<[No]]Tree <<[()], tokens, current]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	478 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	479
4 0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	480 Skip Nodes[toskip, stop, tokens, current:out]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	481 {
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	482 token <- [tokens]Index[current]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	483 next <- [tokens]Next[current]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	484 {
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	485 [token]Type Match[stop]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	486 {
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	487 out <- Val[next]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	488 }{
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	489 [token]Type Match[toskip]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	490 {
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	491 out <- Skip Nodes[toskip, stop, tokens, next]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	492 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	493 Print[String[Error[["Unexpected end of stream after token of type "]Append[[token]Type >>], [token]Raw Text >>]]]
4 0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	494 }
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	495 }
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	496 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	497 Print[String[Error[["Unexpected end of stream after token of type "]Append[[token]Type >>], [token]Raw Text >>]]]
4 0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	498 }
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	499 }
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	500
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	501 Blueprint PBlueprint Node
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	502 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	503 Name
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	504 Fields
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	505 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	506
4 0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	507 Fields[node,tokens,current:out,out index,done]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	508 {
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	509 token <- [tokens]Index[current]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	510 next <- [tokens]Next[current]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	511 {
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	512 [token]Type Match["Symbol"]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	513 {
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	514 out,out index,done <- Fields[[node]Add BField[[token]Text >>], tokens, next]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	515 }{
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	516 [token]Type Match["Block End"]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	517 {
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	518 out <- Val[node]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	519 out index <- Val[next]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	520 }{
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	521 [token]Type Match[("Newline","Line Comment","Block Comment")]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	522 {
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	523 out,out index,done <- Fields[node, tokens, next]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	524 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	525 Print[String[Error[["Unexpected end of stream after token of type "]Append[[token]Type >>], [token]Raw Text >>]]]
4 0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	526 }
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	527 }
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	528 }
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	529 }{
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	530 [token]Type Match["Block End"]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	531 {
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	532 out <- Val[node]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	533 done <- Yes
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	534 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	535 Print[String[Error[["Unexpected end of stream after token of type "]Append[[token]Type >>], [token]Raw Text >>]]]
4 0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	536 }
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	537 }
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	538 }
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	539
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	540 PBlueprint Node[name, tokens, current:out,out index,done]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	541 {
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	542 node <- [[Build[PBlueprint Node()]]Name <<[name]]Fields <<[()]
4 0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	543 next <- Skip Nodes[("Newline","Block Comment","Comment"), "Block Begin", tokens, current]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	544 out,out index,done <- Fields[node, tokens, next]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	545 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	546
4 0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	547 Add BField@PBlueprint Node[node,field:out]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	548 {
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	549 out <- [node]Fields <<[[[node]Fields >>]Append[field]]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	550 }
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	551
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	552 Top Level[tokens, current, nodes:out]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	553 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	554 token <- [tokens]Index[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	555 Print[[token]Type >>]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	556 [token]Type Match["Symbol"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	557 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	558 [[token]Text >>]After["Import "]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	559 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	560 next nodes <- [nodes]Append[PImport Node[~]]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	561 next index <- Val[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	562 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	563 blueprint name,worker name <- [~]After["Blueprint "]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	564 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	565 [tokens]Next[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	566 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	567 , next index <- PBlueprint Node[blueprint name, tokens, ~]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	568 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	569 next nodes <- [nodes]Append[~]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	570 } {} {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	571 Print["done!"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	572 out <- Val[next nodes]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	573 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	574 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	575 Print[String[Error[["Unexpected end of stream after symbol "]Append[[token]Text >>], [token]Raw Text >>]]]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	576 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	577 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	578 [tokens]Next[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	579 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	580 , next index <- Worker Node[worker name, tokens, ~]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	581 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	582 next nodes <- [nodes]Append[~]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	583 } {} {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	584 Print["done!"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	585 out <- Val[next nodes]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	586 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	587 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	588 Print[String[Error[["Unexpected end of stream after symbol "]Append[[token]Text >>], [token]Raw Text >>]]]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	589 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	590 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	591 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	592
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	593 }{
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	594 [token]Type Match["Newline"]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	595 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	596 next nodes <- Val[nodes]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	597 next index <- Val[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	598 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	599 Print[String[Error[["Unexpected token of type "]Append[[token]Type >>], [token]Raw Text >>]]]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	600 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	601 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	602 [tokens]Next[next index]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	603 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	604 out <- Top Level[tokens, ~, next nodes]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	605 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	606 out <- Val[next nodes]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	607 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	608 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	609
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	610 NotComment[token:out]
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	611 {
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	612 [token]Type Match[("Block Comment","Line Comment")]
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	613 {
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	614 out <- No
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	615 }{
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	616 out <- Yes
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	617 }
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	618 }
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	619
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	620 Parse[tokens:out]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	621 {
165 47ab97730865 Fix a couple of issues in networking lib Mike Pavone <pavone@retrodev.com> parents: 134 diff changeset	622 ftokens <- Filter[tokens, NotComment[?]]
47ab97730865 Fix a couple of issues in networking lib Mike Pavone <pavone@retrodev.com> parents: 134 diff changeset	623 [ftokens]First
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	624 {
165 47ab97730865 Fix a couple of issues in networking lib Mike Pavone <pavone@retrodev.com> parents: 134 diff changeset	625 out <- Top Level[ftokens, ~, ()]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	626 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	627 out <- ()
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	628 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	629 }
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	630

Mercurial > repos > rhope

annotate parse.rhope @ 175:03e4fa277291