Mon Jul 30 17:39:12 WEST 2007 Miguel Vilaca <jmvilaca@di.uminho.pt>
* Examples Corrections
{
addfile ./examples/Lambda-calculusForLinearTerms.INblobs
hunk ./examples/Lambda-calculusForLinearTerms.INblobs 1
+<Document
+ ><Network
+ ><Network
+ ><Width
+ >15.0</Width
+ ><Height
+ >9.0</Height
+ ><Info
+ ><unit/></Info
+ ><Nodes
+ /><Edges/></Network></Network
+ ><Palette
+ ><Palette
+ ><string
+ ><![CDATA[interface]]></string
+ ><Circle
+ ><ShapeStyle
+ ><int value="2"
+ /><RGB
+ ><int value="255"
+ /><int value="255"
+ /><int value="255"/></RGB
+ ><RGB
+ ><int value="255"
+ /><int value="255"
+ /><int value="255"/></RGB></ShapeStyle
+ ><double value="0.25"/></Circle
+ ><maybe-list-tuple2-string-DoublePoint
+ ><list-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint
+ ><maybe-list-int
+ ><list-int/></maybe-list-int
+ ><string
+ ><![CDATA[lambda]]></string
+ ><Composite
+ ><list-Shape
+ ><Circle
+ ><ShapeStyle
+ ><int value="1"
+ /><RGB
+ ><int value="0"
+ /><int value="0"
+ /><int value="0"/></RGB
+ ><RGB
+ ><int value="255"
+ /><int value="215"
+ /><int value="0"/></RGB></ShapeStyle
+ ><double value="0.5"/></Circle
+ ><Lines
+ ><ShapeStyle
+ ><int value="2"
+ /><RGB
+ ><int value="0"
+ /><int value="0"
+ /><int value="0"/></RGB
+ ><RGB
+ ><int value="255"
+ /><int value="255"
+ /><int value="255"/></RGB></ShapeStyle
+ ><list-DoublePoint
+ ><X
+ >-0.25</X
+ ><Y
+ >-0.25</Y
+ ><X
+ >0.25</X
+ ><Y
+ >0.25</Y></list-DoublePoint></Lines
+ ><Lines
+ ><ShapeStyle
+ ><int value="2"
+ /><RGB
+ ><int value="0"
+ /><int value="0"
+ /><int value="0"/></RGB
+ ><RGB
+ ><int value="255"
+ /><int value="255"
+ /><int value="255"/></RGB></ShapeStyle
+ ><list-DoublePoint
+ ><X
+ >0.0</X
+ ><Y
+ >0.0</Y
+ ><X
+ >-0.25</X
+ ><Y
+ >0.25</Y></list-DoublePoint></Lines></list-Shape></Composite
+ ><maybe-list-tuple2-string-DoublePoint
+ ><list-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[res]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >-0.35</Y
+ ><string
+ ><![CDATA[body]]></string
+ ><X
+ >0.3</X
+ ><Y
+ >0.3</Y
+ ><string
+ ><![CDATA[var]]></string
+ ><X
+ >-0.3</X
+ ><Y
+ >0.3</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint
+ ><maybe-list-int
+ /><string
+ ><![CDATA[application]]></string
+ ><TextInEllipse
+ ><ShapeStyle
+ ><int value="1"
+ /><RGB
+ ><int value="0"
+ /><int value="0"
+ /><int value="0"/></RGB
+ ><RGB
+ ><int value="255"
+ /><int value="215"
+ /><int value="0"/></RGB></ShapeStyle
+ ><string
+ ><![CDATA[@]]></string></TextInEllipse
+ ><maybe-list-tuple2-string-DoublePoint
+ ><list-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[func]]></string
+ ><X
+ >-0.3</X
+ ><Y
+ >0.3</Y
+ ><string
+ ><![CDATA[res]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >-0.35</Y
+ ><string
+ ><![CDATA[arg]]></string
+ ><X
+ >0.3</X
+ ><Y
+ >0.3</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint
+ ><maybe-list-int
+ /></Palette></Palette
+ ><Rules
+ ><INRule
+ ><Name
+ >application_lambda</Name
+ ><LHS
+ ><Network
+ ><Width
+ >15.0</Width
+ ><Height
+ >9.0</Height
+ ><Info
+ ><unit/></Info
+ ><Nodes
+ ><Node id="N1"
+ ><X
+ >3.2591666666666668</X
+ ><Y
+ >1.9470833333333335</Y
+ ><Name
+ ><![CDATA[Node 1]]></Name
+ ><LabelAbove
+ >True</LabelAbove
+ ><Shape
+ ><Left-string
+ ><string
+ ><![CDATA[application]]></string></Left-string></Shape
+ ><Ports
+ ><maybe-list-tuple2-string-DoublePoint
+ ><list-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[func]]></string
+ ><X
+ >-0.3</X
+ ><Y
+ >0.3</Y
+ ><string
+ ><![CDATA[res]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >-0.35</Y
+ ><string
+ ><![CDATA[arg]]></string
+ ><X
+ >0.3</X
+ ><Y
+ >0.3</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
+ ><Info
+ ><list-int/></Info></Node
+ ><Node id="N2"
+ ><X
+ >2.0</X
+ ><Y
+ >4.0</Y
+ ><Name
+ ><![CDATA[Node 2]]></Name
+ ><LabelAbove
+ >True</LabelAbove
+ ><Shape
+ ><Left-string
+ ><string
+ ><![CDATA[lambda]]></string></Left-string></Shape
+ ><Ports
+ ><maybe-list-tuple2-string-DoublePoint
+ ><list-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[res]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >-0.35</Y
+ ><string
+ ><![CDATA[body]]></string
+ ><X
+ >0.3</X
+ ><Y
+ >0.3</Y
+ ><string
+ ><![CDATA[var]]></string
+ ><X
+ >-0.3</X
+ ><Y
+ >0.3</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
+ ><Info
+ ><list-int/></Info></Node
+ ><Node id="N3"
+ ><X
+ >3.278125</X
+ ><Y
+ >0.579375</Y
+ ><Name
+ ><![CDATA[Node 3]]></Name
+ ><LabelAbove
+ >True</LabelAbove
+ ><Shape
+ ><Left-string
+ ><string
+ ><![CDATA[interface]]></string></Left-string></Shape
+ ><Ports
+ ><maybe-list-tuple2-string-DoublePoint
+ ><list-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
+ ><Info
+ ><list-int/></Info></Node
+ ><Node id="N4"
+ ><X
+ >3.558333333333333</X
+ ><Y
+ >5.420624999999999</Y
+ ><Name
+ ><![CDATA[Node 4]]></Name
+ ><LabelAbove
+ >True</LabelAbove
+ ><Shape
+ ><Left-string
+ ><string
+ ><![CDATA[interface]]></string></Left-string></Shape
+ ><Ports
+ ><maybe-list-tuple2-string-DoublePoint
+ ><list-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
+ ><Info
+ ><list-int/></Info></Node
+ ><Node id="N5"
+ ><X
+ >2.537291666666667</X
+ ><Y
+ >5.394166666666667</Y
+ ><Name
+ ><![CDATA[Node 5]]></Name
+ ><LabelAbove
+ >True</LabelAbove
+ ><Shape
+ ><Left-string
+ ><string
+ ><![CDATA[interface]]></string></Left-string></Shape
+ ><Ports
+ ><maybe-list-tuple2-string-DoublePoint
+ ><list-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
+ ><Info
+ ><list-int/></Info></Node
+ ><Node id="N6"
+ ><X
+ >1.3677083333333333</X
+ ><Y
+ >5.394166666666667</Y
+ ><Name
+ ><![CDATA[Node 6]]></Name
+ ><LabelAbove
+ >True</LabelAbove
+ ><Shape
+ ><Left-string
+ ><string
+ ><![CDATA[interface]]></string></Left-string></Shape
+ ><Ports
+ ><maybe-list-tuple2-string-DoublePoint
+ ><list-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
+ ><Info
+ ><list-int/></Info></Node></Nodes
+ ><Edges
+ ><Edge id="E1"
+ ><From
+ >1</From
+ ><PortFrom
+ ><maybe-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[func]]></string
+ ><X
+ >-0.3</X
+ ><Y
+ >0.3</Y></maybe-tuple2-string-DoublePoint></PortFrom
+ ><To
+ >2</To
+ ><PortTo
+ ><maybe-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[res]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >-0.35</Y></maybe-tuple2-string-DoublePoint></PortTo
+ ><Via
+ /><Info
+ ><list-int/></Info></Edge
+ ><Edge id="E2"
+ ><From
+ >1</From
+ ><PortFrom
+ ><maybe-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[arg]]></string
+ ><X
+ >0.3</X
+ ><Y
+ >0.3</Y></maybe-tuple2-string-DoublePoint></PortFrom
+ ><To
+ >4</To
+ ><PortTo
+ ><maybe-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></maybe-tuple2-string-DoublePoint></PortTo
+ ><Via
+ /><Info
+ ><list-int/></Info></Edge
+ ><Edge id="E3"
+ ><From
+ >1</From
+ ><PortFrom
+ ><maybe-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[res]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >-0.35</Y></maybe-tuple2-string-DoublePoint></PortFrom
+ ><To
+ >3</To
+ ><PortTo
+ ><maybe-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></maybe-tuple2-string-DoublePoint></PortTo
+ ><Via
+ /><Info
+ ><list-int/></Info></Edge
+ ><Edge id="E4"
+ ><From
+ >2</From
+ ><PortFrom
+ ><maybe-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[var]]></string
+ ><X
+ >-0.3</X
+ ><Y
+ >0.3</Y></maybe-tuple2-string-DoublePoint></PortFrom
+ ><To
+ >6</To
+ ><PortTo
+ ><maybe-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></maybe-tuple2-string-DoublePoint></PortTo
+ ><Via
+ /><Info
+ ><list-int/></Info></Edge
+ ><Edge id="E5"
+ ><From
+ >2</From
+ ><PortFrom
+ ><maybe-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[body]]></string
+ ><X
+ >0.3</X
+ ><Y
+ >0.3</Y></maybe-tuple2-string-DoublePoint></PortFrom
+ ><To
+ >5</To
+ ><PortTo
+ ><maybe-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></maybe-tuple2-string-DoublePoint></PortTo
+ ><Via
+ /><Info
+ ><list-int/></Info></Edge></Edges></Network></LHS
+ ><RHS
+ ><Network
+ ><Width
+ >15.0</Width
+ ><Height
+ >9.0</Height
+ ><Info
+ ><unit/></Info
+ ><Nodes
+ ><Node id="N3"
+ ><X
+ >3.278125</X
+ ><Y
+ >0.579375</Y
+ ><Name
+ ><![CDATA[Node 3]]></Name
+ ><LabelAbove
+ >True</LabelAbove
+ ><Shape
+ ><Left-string
+ ><string
+ ><![CDATA[interface]]></string></Left-string></Shape
+ ><Ports
+ ><maybe-list-tuple2-string-DoublePoint
+ ><list-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
+ ><Info
+ ><list-int/></Info></Node
+ ><Node id="N4"
+ ><X
+ >3.558333333333333</X
+ ><Y
+ >5.420624999999999</Y
+ ><Name
+ ><![CDATA[Node 4]]></Name
+ ><LabelAbove
+ >True</LabelAbove
+ ><Shape
+ ><Left-string
+ ><string
+ ><![CDATA[interface]]></string></Left-string></Shape
+ ><Ports
+ ><maybe-list-tuple2-string-DoublePoint
+ ><list-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
+ ><Info
+ ><list-int/></Info></Node
+ ><Node id="N5"
+ ><X
+ >2.537291666666667</X
+ ><Y
+ >5.394166666666667</Y
+ ><Name
+ ><![CDATA[Node 5]]></Name
+ ><LabelAbove
+ >True</LabelAbove
+ ><Shape
+ ><Left-string
+ ><string
+ ><![CDATA[interface]]></string></Left-string></Shape
+ ><Ports
+ ><maybe-list-tuple2-string-DoublePoint
+ ><list-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
+ ><Info
+ ><list-int/></Info></Node
+ ><Node id="N6"
+ ><X
+ >1.3677083333333333</X
+ ><Y
+ >5.394166666666667</Y
+ ><Name
+ ><![CDATA[Node 6]]></Name
+ ><LabelAbove
+ >True</LabelAbove
+ ><Shape
+ ><Left-string
+ ><string
+ ><![CDATA[interface]]></string></Left-string></Shape
+ ><Ports
+ ><maybe-list-tuple2-string-DoublePoint
+ ><list-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
+ ><Info
+ ><list-int/></Info></Node></Nodes
+ ><Edges
+ ><Edge id="E3"
+ ><From
+ >6</From
+ ><PortFrom
+ ><maybe-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></maybe-tuple2-string-DoublePoint></PortFrom
+ ><To
+ >4</To
+ ><PortTo
+ ><maybe-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></maybe-tuple2-string-DoublePoint></PortTo
+ ><Via
+ ><X
+ >1.3758333333333332</X
+ ><Y
+ >4.048125</Y
+ ><X
+ >3.5454166666666667</X
+ ><Y
+ >4.048125000000001</Y></Via
+ ><Info
+ ><list-int/></Info></Edge
+ ><Edge id="E4"
+ ><From
+ >3</From
+ ><PortFrom
+ ><maybe-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></maybe-tuple2-string-DoublePoint></PortFrom
+ ><To
+ >5</To
+ ><PortTo
+ ><maybe-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></maybe-tuple2-string-DoublePoint></PortTo
+ ><Via
+ /><Info
+ ><list-int/></Info></Edge></Edges></Network></RHS
+ ><Mapping
+ ><int value="3"
+ /><maybe-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></maybe-tuple2-string-DoublePoint
+ ><int value="3"
+ /><maybe-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></maybe-tuple2-string-DoublePoint
+ ><int value="4"
+ /><maybe-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></maybe-tuple2-string-DoublePoint
+ ><int value="4"
+ /><maybe-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></maybe-tuple2-string-DoublePoint
+ ><int value="5"
+ /><maybe-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></maybe-tuple2-string-DoublePoint
+ ><int value="5"
+ /><maybe-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></maybe-tuple2-string-DoublePoint
+ ><int value="6"
+ /><maybe-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></maybe-tuple2-string-DoublePoint
+ ><int value="6"
+ /><maybe-tuple2-string-DoublePoint
+ ><string
+ ><![CDATA[interface]]></string
+ ><X
+ >0.0</X
+ ><Y
+ >0.25</Y></maybe-tuple2-string-DoublePoint></Mapping></INRule></Rules></Document>
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 389
- ><Node id="N54"
- ><X
- >20.558125</X
- ><Y
- >20.028958333333335</Y
- ><Name
- ><![CDATA[Node 54]]></Name
- ><LabelAbove
- >True</LabelAbove
- ><Shape
- ><Left-string
- ><string
- ><![CDATA[beforeApplication]]></string></Left-string></Shape
- ><Ports
- ><maybe-list-tuple2-string-DoublePoint
- ><list-tuple2-string-DoublePoint
- ><string
- ><![CDATA[res]]></string
- ><X
- >0.0</X
- ><Y
- >-0.3</Y
- ><string
- ><![CDATA[arg]]></string
- ><X
- >0.3</X
- ><Y
- >0.3</Y
- ><string
- ><![CDATA[func]]></string
- ><X
- >-0.3</X
- ><Y
- >0.3</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
- ><Info
- ><list-int/></Info></Node
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 1811
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 7589
- ><list-int/></Info></Node
- ><Node id="N7"
- ><X
- >27.75479166666667</X
- ><Y
- >2.831041666666667</Y
- ><Name
- ><![CDATA[Node 7]]></Name
- ><LabelAbove
- >True</LabelAbove
- ><Shape
- ><Left-string
- ><string
- ><![CDATA[Erase]]></string></Left-string></Shape
- ><Ports
- ><maybe-list-tuple2-string-DoublePoint
- ><list-tuple2-string-DoublePoint
- ><string
- ><![CDATA[down]]></string
- ><X
- >0.0</X
- ><Y
- >0.5</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
- ><Info
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 8721
- ><list-int/></Info></Node
- ><Node id="N11"
- ><X
- >28.098750000000003</X
- ><Y
- >2.1431250000000004</Y
- ><Name
- ><![CDATA[Node 11]]></Name
- ><LabelAbove
- >True</LabelAbove
- ><Shape
- ><Left-string
- ><string
- ><![CDATA[duplicator]]></string></Left-string></Shape
- ><Ports
- ><maybe-list-tuple2-string-DoublePoint
- ><list-tuple2-string-DoublePoint
- ><string
- ><![CDATA[down]]></string
- ><X
- >0.0</X
- ><Y
- >0.5</Y
- ><string
- ><![CDATA[copy1]]></string
- ><X
- >-0.3</X
- ><Y
- >-0.3</Y
- ><string
- ><![CDATA[copy2]]></string
- ><X
- >0.3</X
- ><Y
- >-0.3</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
- ><Info
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 42625
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 42759
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 42839
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 42955
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 44721
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 44855
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 45225
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 45359
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 45723
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 45809
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 46591
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 46773
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 47021
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 47057
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 47215
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 47239
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 48587
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 48769
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 49017
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 49053
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 49211
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 49235
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameForClosedTerms.INblobs 5955
- ><list-int/></Info></Node
- ><Node id="N7"
- ><X
- >27.75479166666667</X
- ><Y
- >2.831041666666667</Y
- ><Name
- ><![CDATA[Node 7]]></Name
- ><LabelAbove
- >True</LabelAbove
- ><Shape
- ><Left-string
- ><string
- ><![CDATA[Erase]]></string></Left-string></Shape
- ><Ports
- ><maybe-list-tuple2-string-DoublePoint
- ><list-tuple2-string-DoublePoint
- ><string
- ><![CDATA[down]]></string
- ><X
- >0.0</X
- ><Y
- >0.5</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
- ><Info
hunk ./examples/Token-Passing/CallByNameForClosedTerms.INblobs 6709
- ><list-int/></Info></Node
- ><Node id="N7"
- ><X
- >16.16604166666667</X
- ><Y
- >3.862916666666667</Y
- ><Name
- ><![CDATA[Node 7]]></Name
- ><LabelAbove
- >True</LabelAbove
- ><Shape
- ><Left-string
- ><string
- ><![CDATA[duplicator]]></string></Left-string></Shape
- ><Ports
- ><maybe-list-tuple2-string-DoublePoint
- ><list-tuple2-string-DoublePoint
- ><string
- ><![CDATA[down]]></string
- ><X
- >0.0</X
- ><Y
- >0.5</Y
- ><string
- ><![CDATA[copy1]]></string
- ><X
- >-0.3</X
- ><Y
- >-0.3</Y
- ><string
- ><![CDATA[copy2]]></string
- ><X
- >0.3</X
- ><Y
- >-0.3</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
- ><Info
hunk ./examples/Token-Passing/CallByNameForClosedTerms.INblobs 7087
- ><list-int/></Info></Node
- ><Node id="N11"
- ><X
- >28.098750000000003</X
- ><Y
- >2.1431250000000004</Y
- ><Name
- ><![CDATA[Node 11]]></Name
- ><LabelAbove
- >True</LabelAbove
- ><Shape
- ><Left-string
- ><string
- ><![CDATA[duplicator]]></string></Left-string></Shape
- ><Ports
- ><maybe-list-tuple2-string-DoublePoint
- ><list-tuple2-string-DoublePoint
- ><string
- ><![CDATA[down]]></string
- ><X
- >0.0</X
- ><Y
- >0.5</Y
- ><string
- ><![CDATA[copy1]]></string
- ><X
- >-0.3</X
- ><Y
- >-0.3</Y
- ><string
- ><![CDATA[copy2]]></string
- ><X
- >0.3</X
- ><Y
- >-0.3</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
- ><Info
hunk ./examples/Token-Passing/CallByNameForClosedTerms.INblobs 9354
- ><int value="5"
+ ><int value="6"
hunk ./examples/Token-Passing/CallByNameForClosedTerms.INblobs 9370
- ><int value="6"
+ ><int value="5"
hunk ./examples/Token-Passing/CallByNameForClosedTerms.INblobs 13870
+
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 389
- ><Node id="N54"
- ><X
- >20.558125</X
- ><Y
- >20.028958333333335</Y
- ><Name
- ><![CDATA[Node 54]]></Name
- ><LabelAbove
- >True</LabelAbove
- ><Shape
- ><Left-string
- ><string
- ><![CDATA[beforeApplication]]></string></Left-string></Shape
- ><Ports
- ><maybe-list-tuple2-string-DoublePoint
- ><list-tuple2-string-DoublePoint
- ><string
- ><![CDATA[res]]></string
- ><X
- >0.0</X
- ><Y
- >-0.3</Y
- ><string
- ><![CDATA[arg]]></string
- ><X
- >0.3</X
- ><Y
- >0.3</Y
- ><string
- ><![CDATA[func]]></string
- ><X
- >-0.3</X
- ><Y
- >0.3</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
- ><Info
- ><list-int/></Info></Node
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 1954
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 7732
- ><list-int/></Info></Node
- ><Node id="N7"
- ><X
- >27.75479166666667</X
- ><Y
- >2.831041666666667</Y
- ><Name
- ><![CDATA[Node 7]]></Name
- ><LabelAbove
- >True</LabelAbove
- ><Shape
- ><Left-string
- ><string
- ><![CDATA[Erase]]></string></Left-string></Shape
- ><Ports
- ><maybe-list-tuple2-string-DoublePoint
- ><list-tuple2-string-DoublePoint
- ><string
- ><![CDATA[down]]></string
- ><X
- >0.0</X
- ><Y
- >0.5</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
- ><Info
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 8864
- ><list-int/></Info></Node
- ><Node id="N11"
- ><X
- >28.098750000000003</X
- ><Y
- >2.1431250000000004</Y
- ><Name
- ><![CDATA[Node 11]]></Name
- ><LabelAbove
- >True</LabelAbove
- ><Shape
- ><Left-string
- ><string
- ><![CDATA[duplicator]]></string></Left-string></Shape
- ><Ports
- ><maybe-list-tuple2-string-DoublePoint
- ><list-tuple2-string-DoublePoint
- ><string
- ><![CDATA[down]]></string
- ><X
- >0.0</X
- ><Y
- >0.5</Y
- ><string
- ><![CDATA[copy1]]></string
- ><X
- >-0.3</X
- ><Y
- >-0.3</Y
- ><string
- ><![CDATA[copy2]]></string
- ><X
- >0.3</X
- ><Y
- >-0.3</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
- ><Info
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 46576
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 46710
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 46790
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 46906
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 48672
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 48806
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 49176
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 49310
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 49674
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 49760
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 50542
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 50724
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 50972
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 51008
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 51166
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 51190
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 52538
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 52720
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 52968
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 53004
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 53162
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 53186
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 67069
+
hunk ./examples/Token-Passing/CallByNameWithOpenTerms.INblobs 6836
- ><list-int/></Info></Node
- ><Node id="N7"
- ><X
- >27.75479166666667</X
- ><Y
- >2.831041666666667</Y
- ><Name
- ><![CDATA[Node 7]]></Name
- ><LabelAbove
- >True</LabelAbove
- ><Shape
- ><Left-string
- ><string
- ><![CDATA[Erase]]></string></Left-string></Shape
- ><Ports
- ><maybe-list-tuple2-string-DoublePoint
- ><list-tuple2-string-DoublePoint
- ><string
- ><![CDATA[down]]></string
- ><X
- >0.0</X
- ><Y
- >0.5</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
- ><Info
hunk ./examples/Token-Passing/CallByNameWithOpenTerms.INblobs 7968
- ><list-int/></Info></Node
- ><Node id="N11"
- ><X
- >28.098750000000003</X
- ><Y
- >2.1431250000000004</Y
- ><Name
- ><![CDATA[Node 11]]></Name
- ><LabelAbove
- >True</LabelAbove
- ><Shape
- ><Left-string
- ><string
- ><![CDATA[duplicator]]></string></Left-string></Shape
- ><Ports
- ><maybe-list-tuple2-string-DoublePoint
- ><list-tuple2-string-DoublePoint
- ><string
- ><![CDATA[down]]></string
- ><X
- >0.0</X
- ><Y
- >0.5</Y
- ><string
- ><![CDATA[copy1]]></string
- ><X
- >-0.3</X
- ><Y
- >-0.3</Y
- ><string
- ><![CDATA[copy2]]></string
- ><X
- >0.3</X
- ><Y
- >-0.3</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
- ><Info
hunk ./examples/Token-Passing/CallByNameWithOpenTerms.INblobs 10235
- ><int value="5"
+ ><int value="6"
hunk ./examples/Token-Passing/CallByNameWithOpenTerms.INblobs 10251
- ><int value="6"
+ ><int value="5"
hunk ./examples/Token-Passing/CallByNameWithOpenTerms.INblobs 18559
+
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 389
- ><Node id="N54"
- ><X
- >20.558125</X
- ><Y
- >20.028958333333335</Y
- ><Name
- ><![CDATA[Node 54]]></Name
- ><LabelAbove
- >True</LabelAbove
- ><Shape
- ><Left-string
- ><string
- ><![CDATA[beforeApplication]]></string></Left-string></Shape
- ><Ports
- ><maybe-list-tuple2-string-DoublePoint
- ><list-tuple2-string-DoublePoint
- ><string
- ><![CDATA[res]]></string
- ><X
- >0.0</X
- ><Y
- >-0.3</Y
- ><string
- ><![CDATA[arg]]></string
- ><X
- >0.3</X
- ><Y
- >0.3</Y
- ><string
- ><![CDATA[func]]></string
- ><X
- >-0.3</X
- ><Y
- >0.3</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
- ><Info
- ><list-int/></Info></Node
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 1811
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 8399
- ><list-int/></Info></Node
- ><Node id="N7"
- ><X
- >27.75479166666667</X
- ><Y
- >2.831041666666667</Y
- ><Name
- ><![CDATA[Node 7]]></Name
- ><LabelAbove
- >True</LabelAbove
- ><Shape
- ><Left-string
- ><string
- ><![CDATA[Erase]]></string></Left-string></Shape
- ><Ports
- ><maybe-list-tuple2-string-DoublePoint
- ><list-tuple2-string-DoublePoint
- ><string
- ><![CDATA[down]]></string
- ><X
- >0.0</X
- ><Y
- >0.5</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
- ><Info
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 9531
- ><list-int/></Info></Node
- ><Node id="N11"
- ><X
- >28.098750000000003</X
- ><Y
- >2.1431250000000004</Y
- ><Name
- ><![CDATA[Node 11]]></Name
- ><LabelAbove
- >True</LabelAbove
- ><Shape
- ><Left-string
- ><string
- ><![CDATA[duplicator]]></string></Left-string></Shape
- ><Ports
- ><maybe-list-tuple2-string-DoublePoint
- ><list-tuple2-string-DoublePoint
- ><string
- ><![CDATA[down]]></string
- ><X
- >0.0</X
- ><Y
- >0.5</Y
- ><string
- ><![CDATA[copy1]]></string
- ><X
- >-0.3</X
- ><Y
- >-0.3</Y
- ><string
- ><![CDATA[copy2]]></string
- ><X
- >0.3</X
- ><Y
- >-0.3</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
- ><Info
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 45065
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 46297
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 46365
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 48107
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 48241
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 48611
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 48745
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 49109
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 49195
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 49977
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 50159
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 50407
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 50443
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 50601
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 50625
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 51973
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 52155
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 52403
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 52439
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 52597
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 52621
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueForClosedTerms.INblobs 2691
- >0.25</Y></maybe-tuple2-string-DoublePoint></Mapping></INRule><INRule
+ >0.25</Y></maybe-tuple2-string-DoublePoint></Mapping></INRule
+ ><INRule
hunk ./examples/Token-Passing/CallByValueForClosedTerms.INblobs 6531
- ><list-int/></Info></Node
- ><Node id="N7"
- ><X
- >27.75479166666667</X
- ><Y
- >2.831041666666667</Y
- ><Name
- ><![CDATA[Node 7]]></Name
- ><LabelAbove
- >True</LabelAbove
- ><Shape
- ><Left-string
- ><string
- ><![CDATA[Erase]]></string></Left-string></Shape
- ><Ports
- ><maybe-list-tuple2-string-DoublePoint
- ><list-tuple2-string-DoublePoint
- ><string
- ><![CDATA[down]]></string
- ><X
- >0.0</X
- ><Y
- >0.5</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
- ><Info
hunk ./examples/Token-Passing/CallByValueForClosedTerms.INblobs 7285
- ><list-int/></Info></Node
- ><Node id="N7"
- ><X
- >16.16604166666667</X
- ><Y
- >3.862916666666667</Y
- ><Name
- ><![CDATA[Node 7]]></Name
- ><LabelAbove
- >True</LabelAbove
- ><Shape
- ><Left-string
- ><string
- ><![CDATA[duplicator]]></string></Left-string></Shape
- ><Ports
- ><maybe-list-tuple2-string-DoublePoint
- ><list-tuple2-string-DoublePoint
- ><string
- ><![CDATA[down]]></string
- ><X
- >0.0</X
- ><Y
- >0.5</Y
- ><string
- ><![CDATA[copy1]]></string
- ><X
- >-0.3</X
- ><Y
- >-0.3</Y
- ><string
- ><![CDATA[copy2]]></string
- ><X
- >0.3</X
- ><Y
- >-0.3</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
- ><Info
hunk ./examples/Token-Passing/CallByValueForClosedTerms.INblobs 7663
- ><list-int/></Info></Node
- ><Node id="N11"
- ><X
- >28.098750000000003</X
- ><Y
- >2.1431250000000004</Y
- ><Name
- ><![CDATA[Node 11]]></Name
- ><LabelAbove
- >True</LabelAbove
- ><Shape
- ><Left-string
- ><string
- ><![CDATA[duplicator]]></string></Left-string></Shape
- ><Ports
- ><maybe-list-tuple2-string-DoublePoint
- ><list-tuple2-string-DoublePoint
- ><string
- ><![CDATA[down]]></string
- ><X
- >0.0</X
- ><Y
- >0.5</Y
- ><string
- ><![CDATA[copy1]]></string
- ><X
- >-0.3</X
- ><Y
- >-0.3</Y
- ><string
- ><![CDATA[copy2]]></string
- ><X
- >0.3</X
- ><Y
- >-0.3</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
- ><Info
hunk ./examples/Token-Passing/CallByValueForClosedTerms.INblobs 9930
- ><int value="5"
+ ><int value="6"
hunk ./examples/Token-Passing/CallByValueForClosedTerms.INblobs 9946
- ><int value="6"
+ ><int value="5"
hunk ./examples/Token-Passing/CallByValueForClosedTerms.INblobs 14445
- >0.25</Y></maybe-tuple2-string-DoublePoint></Mapping></INRule
- ></Rules></Document>
+ >0.25</Y></maybe-tuple2-string-DoublePoint></Mapping></INRule></Rules></Document>
+
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 389
- ><Node id="N54"
- ><X
- >20.558125</X
- ><Y
- >20.028958333333335</Y
- ><Name
- ><![CDATA[Node 54]]></Name
- ><LabelAbove
- >True</LabelAbove
- ><Shape
- ><Left-string
- ><string
- ><![CDATA[beforeApplication]]></string></Left-string></Shape
- ><Ports
- ><maybe-list-tuple2-string-DoublePoint
- ><list-tuple2-string-DoublePoint
- ><string
- ><![CDATA[res]]></string
- ><X
- >0.0</X
- ><Y
- >-0.3</Y
- ><string
- ><![CDATA[arg]]></string
- ><X
- >0.3</X
- ><Y
- >0.3</Y
- ><string
- ><![CDATA[func]]></string
- ><X
- >-0.3</X
- ><Y
- >0.3</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
- ><Info
- ><list-int/></Info></Node
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 1954
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 8542
- ><list-int/></Info></Node
- ><Node id="N7"
- ><X
- >27.75479166666667</X
- ><Y
- >2.831041666666667</Y
- ><Name
- ><![CDATA[Node 7]]></Name
- ><LabelAbove
- >True</LabelAbove
- ><Shape
- ><Left-string
- ><string
- ><![CDATA[Erase]]></string></Left-string></Shape
- ><Ports
- ><maybe-list-tuple2-string-DoublePoint
- ><list-tuple2-string-DoublePoint
- ><string
- ><![CDATA[down]]></string
- ><X
- >0.0</X
- ><Y
- >0.5</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
- ><Info
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 9674
- ><list-int/></Info></Node
- ><Node id="N11"
- ><X
- >28.098750000000003</X
- ><Y
- >2.1431250000000004</Y
- ><Name
- ><![CDATA[Node 11]]></Name
- ><LabelAbove
- >True</LabelAbove
- ><Shape
- ><Left-string
- ><string
- ><![CDATA[duplicator]]></string></Left-string></Shape
- ><Ports
- ><maybe-list-tuple2-string-DoublePoint
- ><list-tuple2-string-DoublePoint
- ><string
- ><![CDATA[down]]></string
- ><X
- >0.0</X
- ><Y
- >0.5</Y
- ><string
- ><![CDATA[copy1]]></string
- ><X
- >-0.3</X
- ><Y
- >-0.3</Y
- ><string
- ><![CDATA[copy2]]></string
- ><X
- >0.3</X
- ><Y
- >-0.3</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
- ><Info
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 49502
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 50734
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 50802
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 52544
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 52678
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 53048
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 53182
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 53546
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 53632
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 54414
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 54596
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 54844
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 54880
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 55038
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 55062
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 56410
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 56592
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 56840
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 56876
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 57034
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 57058
- ><![CDATA[fsnd_arg]]></string
+ ><![CDATA[snd_arg]]></string
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 59992
- >0.25</Y></maybe-tuple2-string-DoublePoint></Mapping></INRule><INRule
+ >0.25</Y></maybe-tuple2-string-DoublePoint></Mapping></INRule
+ ><INRule
hunk ./examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs 71773
+
hunk ./examples/Token-Passing/CallByValueWithOpenTerms.INblobs 7412
- ><list-int/></Info></Node
- ><Node id="N7"
- ><X
- >27.75479166666667</X
- ><Y
- >2.831041666666667</Y
- ><Name
- ><![CDATA[Node 7]]></Name
- ><LabelAbove
- >True</LabelAbove
- ><Shape
- ><Left-string
- ><string
- ><![CDATA[Erase]]></string></Left-string></Shape
- ><Ports
- ><maybe-list-tuple2-string-DoublePoint
- ><list-tuple2-string-DoublePoint
- ><string
- ><![CDATA[down]]></string
- ><X
- >0.0</X
- ><Y
- >0.5</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
- ><Info
hunk ./examples/Token-Passing/CallByValueWithOpenTerms.INblobs 8544
- ><list-int/></Info></Node
- ><Node id="N11"
- ><X
- >28.098750000000003</X
- ><Y
- >2.1431250000000004</Y
- ><Name
- ><![CDATA[Node 11]]></Name
- ><LabelAbove
- >True</LabelAbove
- ><Shape
- ><Left-string
- ><string
- ><![CDATA[duplicator]]></string></Left-string></Shape
- ><Ports
- ><maybe-list-tuple2-string-DoublePoint
- ><list-tuple2-string-DoublePoint
- ><string
- ><![CDATA[down]]></string
- ><X
- >0.0</X
- ><Y
- >0.5</Y
- ><string
- ><![CDATA[copy1]]></string
- ><X
- >-0.3</X
- ><Y
- >-0.3</Y
- ><string
- ><![CDATA[copy2]]></string
- ><X
- >0.3</X
- ><Y
- >-0.3</Y></list-tuple2-string-DoublePoint></maybe-list-tuple2-string-DoublePoint></Ports
- ><Info
hunk ./examples/Token-Passing/CallByValueWithOpenTerms.INblobs 10811
- ><int value="5"
+ ><int value="6"
hunk ./examples/Token-Passing/CallByValueWithOpenTerms.INblobs 10827
- ><int value="6"
+ ><int value="5"
hunk ./examples/Token-Passing/CallByValueWithOpenTerms.INblobs 19621
+
}