repos/rhope: parse.rhope annotate

annotate parse.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	db30bda91aad
children

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 {
182 db30bda91aad Cleanup grammar comment in new parser Mike Pavone <pavone@retrodev.com> parents: 165 diff changeset	281 /*
db30bda91aad Cleanup grammar comment in new parser Mike Pavone <pavone@retrodev.com> parents: 165 diff changeset	282 symbol list = Symbol [List Separator symbol list]
db30bda91aad Cleanup grammar comment in new parser Mike Pavone <pavone@retrodev.com> parents: 165 diff changeset	283 value = String Literal \| Number Literal \| List Literal \| Symbol \| Block Reference \| expression
db30bda91aad Cleanup grammar comment in new parser Mike Pavone <pavone@retrodev.com> parents: 165 diff changeset	284 call =
db30bda91aad Cleanup grammar comment in new parser Mike Pavone <pavone@retrodev.com> parents: 165 diff changeset	285 Args Begin arg list Args End Symbol[Args Begin [arg list] Args End]
db30bda91aad Cleanup grammar comment in new parser Mike Pavone <pavone@retrodev.com> parents: 165 diff changeset	286 \| Symbol Args Begin [arg list] Args End
db30bda91aad Cleanup grammar comment in new parser Mike Pavone <pavone@retrodev.com> parents: 165 diff changeset	287 \| (value \| Arg Placeholder) Call Separator Symbol[Args Begin [arg list] Args End]
db30bda91aad Cleanup grammar comment in new parser Mike Pavone <pavone@retrodev.com> parents: 165 diff changeset	288 arg list = value \| Arg Placeholder [List Separator arg list]
db30bda91aad Cleanup grammar comment in new parser Mike Pavone <pavone@retrodev.com> parents: 165 diff changeset	289 block = Block Begin [expressions] Block End
db30bda91aad Cleanup grammar comment in new parser Mike Pavone <pavone@retrodev.com> parents: 165 diff changeset	290 blocks = block [blocks]
db30bda91aad Cleanup grammar comment in new parser Mike Pavone <pavone@retrodev.com> parents: 165 diff changeset	291 expressions = expression [expressions]
db30bda91aad Cleanup grammar comment in new parser Mike Pavone <pavone@retrodev.com> parents: 165 diff changeset	292 expression = [symbol list Assignment] (call \| value) blocks
db30bda91aad Cleanup grammar comment in new parser Mike Pavone <pavone@retrodev.com> parents: 165 diff changeset	293
db30bda91aad Cleanup grammar comment in new parser Mike Pavone <pavone@retrodev.com> parents: 165 diff changeset	294 */
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	295 token <- [tokens]Index[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	296 [token]Type Match["Block Begin"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	297 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	298 ,end stream <- [tokens]Next[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	299 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	300 out,out index, done <- Body[node,tokens,~,[depth]+[1]]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	301 }
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 [token]Type Match["Block End"]
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 [tokens]Next[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	306 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	307 out,out index, done <- Body[node,tokens,~,[depth]-[1]]
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 ,end stream <- If[[depth] = [1]]
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 Print["done"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	312 out <- Val[node]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	313 done <- Yes
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 ,end stream <- [tokens]Next[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	318 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	319 out,out index, done <- Body[node,tokens,~,depth]
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 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	322 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	323 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	324 out <- node
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	325 out index <- current
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 Val[end stream]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	328 {
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	329 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	330 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	331 }
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 Before Body[node,tokens,current:out,out index, done]
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 Print["Before body"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	336 token <- [tokens]Index[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	337 next,end stream <- [tokens]Next[current]
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 [token]Type Match["Block Begin"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	340 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	341 out,out index, done <- Body[node,tokens,next,1]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	342 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	343 out,out index, done <- Before Body[node,tokens,next]
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 Val[end stream]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	347 {
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	348 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	349 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	350 }
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 Outputs[node,tokens,current:out,out index, done]
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 Print["outputs"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	355 token <- [tokens]Index[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	356 next,end stream <- [tokens]Next[current]
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 [token]Type Match["Symbol"]
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 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	361 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	362 [token]Type Match["Args End"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	363 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	364 out,out index, done <- Before Body[node, tokens, next]
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 [token]Type Match[("List Separator","Block Comment","Line Comment","Newline")]
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 out,out index, done <- Outputs[node, tokens, next]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	369 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	370 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	371 }
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 Val[end stream]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	376 {
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	377 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	378 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	379 }
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 Inputs[node,tokens,current:out,out index, done]
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 Print["Inputs"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	384 token <- [tokens]Index[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	385 next,end stream <- [tokens]Next[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	386 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	387 [token]Type Match["Symbol"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	388 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	389
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	390 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	391 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	392 [token]Type Match["Name Separator"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	393 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	394 Print["in out sep"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	395 out,out index, done <- Outputs[node, tokens, next]
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 [token]Type Match["Args End"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	398 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	399 out,out index, done <- Before Body[node, tokens, next]
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 [token]Type Match[("List Separator","Block Comment","Line Comment","Newline")]
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 out,out index,done <- Inputs[node, tokens, next]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	404 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	405 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	406 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	407 }
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 Val[end stream]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	412 {
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	413 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	414 }
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
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	417 Method[node,tokens,current:out,out index,done]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	418 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	419 token <- [tokens]Index[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	420 next <- [tokens]Next[current]
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 [token]Type Match["Symbol"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	423 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	424 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	425 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	426 [token]Type Match[("List Separator","Block Comment","Line Comment","Newline")]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	427 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	428 out,out index,done <- Method[node, tokens, next]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	429 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	430 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	431 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	432 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	433 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	434 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	435 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	436 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	437
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	438 //TODO: support method declarations
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	439 Before Inputs[node, tokens, current:out, out index, done]
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 Print["Before Inputs"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	442 token <- [tokens]Index[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	443 [token]Type Match["Args Begin"]
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 [tokens]Next[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	446 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	447 out,out index, done <- Inputs[node, tokens, ~]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	448 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	449 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	450 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	451 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	452 [token]Type Match["Method Separator"]
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 [tokens]Next[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	455 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	456 out,out index,done <- Method[node, tokens, ~]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	457 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	458 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	459 }
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 [token]Type Match[("Line Comment","Block Comment","Newline")]
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 continue <- Yes
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	464 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	465 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	466 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	467 Val[continue]
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 [tokens]Next[current]
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 out,out index, done <- Before Inputs[node, tokens, ~]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	472 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	473 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	474 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	475 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	476 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	477 }
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
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	480 Worker Node[name, tokens, current:out,out index, done]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	481 {
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	482 Print[["Worker: "]Append[String[name]]]
0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	483 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	484 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	485
4 0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	486 Skip Nodes[toskip, stop, tokens, current:out]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	487 {
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	488 token <- [tokens]Index[current]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	489 next <- [tokens]Next[current]
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 [token]Type Match[stop]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	492 {
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	493 out <- Val[next]
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 [token]Type Match[toskip]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	496 {
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	497 out <- Skip Nodes[toskip, stop, tokens, next]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	498 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	499 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	500 }
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	501 }
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	502 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	503 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	504 }
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	505 }
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	506
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	507 Blueprint PBlueprint Node
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	508 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	509 Name
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	510 Fields
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	511 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	512
4 0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	513 Fields[node,tokens,current:out,out index,done]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	514 {
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	515 token <- [tokens]Index[current]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	516 next <- [tokens]Next[current]
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 [token]Type Match["Symbol"]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	519 {
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	520 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	521 }{
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	522 [token]Type Match["Block End"]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	523 {
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	524 out <- Val[node]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	525 out index <- Val[next]
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 [token]Type Match[("Newline","Line Comment","Block Comment")]
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 out,out index,done <- Fields[node, tokens, next]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	530 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	531 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	532 }
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	533 }
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	534 }
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	535 }{
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	536 [token]Type Match["Block End"]
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 out <- Val[node]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	539 done <- Yes
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	540 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	541 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	542 }
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	543 }
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	544 }
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	545
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	546 PBlueprint Node[name, tokens, current:out,out index,done]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	547 {
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	548 node <- [[Build[PBlueprint Node()]]Name <<[name]]Fields <<[()]
4 0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	549 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	550 out,out index,done <- Fields[node, tokens, next]
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
4 0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	553 Add BField@PBlueprint Node[node,field:out]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	554 {
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	555 out <- [node]Fields <<[[[node]Fields >>]Append[field]]
0c5f24b4f69d Handle blueprints in new parser Mike Pavone <pavone@retrodev.com> parents: 2 diff changeset	556 }
2 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 Top Level[tokens, current, nodes:out]
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 token <- [tokens]Index[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	561 Print[[token]Type >>]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	562 [token]Type Match["Symbol"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	563 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	564 [[token]Text >>]After["Import "]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	565 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	566 next nodes <- [nodes]Append[PImport Node[~]]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	567 next index <- Val[current]
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 blueprint name,worker name <- [~]After["Blueprint "]
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 [tokens]Next[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	572 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	573 , next index <- PBlueprint Node[blueprint name, tokens, ~]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	574 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	575 next nodes <- [nodes]Append[~]
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 Print["done!"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	578 out <- Val[next nodes]
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 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	581 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	582 }
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 [tokens]Next[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	585 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	586 , next index <- Worker Node[worker name, tokens, ~]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	587 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	588 next nodes <- [nodes]Append[~]
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 Print["done!"]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	591 out <- Val[next nodes]
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 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	594 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	595 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	596 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	597 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	598
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	599 }{
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	600 [token]Type Match["Newline"]
2 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 next nodes <- Val[nodes]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	603 next index <- Val[current]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	604 }{
131 0a4682be2db2 Modify lexer and new parser to work in compiler Mike Pavone <pavone@retrodev.com> parents: 5 diff changeset	605 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	606 }
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 [tokens]Next[next index]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	609 {
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	610 out <- Top Level[tokens, ~, next nodes]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	611 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	612 out <- Val[next nodes]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	613 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	614 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	615
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	616 NotComment[token:out]
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 [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	619 {
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	620 out <- No
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	621 }{
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	622 out <- Yes
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	623 }
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	624 }
1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	625
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	626 Parse[tokens:out]
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	627 {
165 47ab97730865 Fix a couple of issues in networking lib Mike Pavone <pavone@retrodev.com> parents: 134 diff changeset	628 ftokens <- Filter[tokens, NotComment[?]]
47ab97730865 Fix a couple of issues in networking lib Mike Pavone <pavone@retrodev.com> parents: 134 diff changeset	629 [ftokens]First
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	630 {
165 47ab97730865 Fix a couple of issues in networking lib Mike Pavone <pavone@retrodev.com> parents: 134 diff changeset	631 out <- Top Level[ftokens, ~, ()]
2 73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	632 }{
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	633 out <- ()
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	634 }
73e978d590c7 Adding WIP compiler code Mike Pavone <pavone@retrodev.com> parents: diff changeset	635 }
132 1f238280047f Some work on expression parsing in new parser Mike Pavone <pavone@retrodev.com> parents: 131 diff changeset	636

Mercurial > repos > rhope

annotate parse.rhope @ 189:d0e3a13c1bd9 default tip