eyeprolog 1.3.39 → 1.3.41
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +5 -0
- package/examples/book/README.md +2 -0
- package/examples/book/chapter-40/02-program.pl +5 -0
- package/examples/book/chapter-40/03-program-2.pl +5 -0
- package/package.json +1 -1
- package/src/io.js +1 -1
- package/src/iso.js +12 -4
- package/src/quads.js +56 -16
- package/src/write.js +59 -6
- package/test/conformance/WG17-SYNTAX-STATUS.md +2 -2
- package/test/conformance/expected/iso/wg17_syntax_high_risk.pl +2 -2
- package/test/conformance/wg17-syntax-cases.json +99 -90
- package/test/run-regression.mjs +63 -1
- package/the-art-of-eyeprolog.md +87 -27
|
@@ -479,7 +479,7 @@
|
|
|
479
479
|
"type": "success",
|
|
480
480
|
"stages": [
|
|
481
481
|
{
|
|
482
|
-
"output": "(-)
|
|
482
|
+
"output": "(-)-(-)",
|
|
483
483
|
"variables": "[]"
|
|
484
484
|
}
|
|
485
485
|
]
|
|
@@ -495,7 +495,7 @@
|
|
|
495
495
|
"type": "success",
|
|
496
496
|
"stages": [
|
|
497
497
|
{
|
|
498
|
-
"output": "(:-)
|
|
498
|
+
"output": "(:-):-(:-)",
|
|
499
499
|
"variables": "[]"
|
|
500
500
|
}
|
|
501
501
|
]
|
|
@@ -511,7 +511,7 @@
|
|
|
511
511
|
"type": "success",
|
|
512
512
|
"stages": [
|
|
513
513
|
{
|
|
514
|
-
"output": "(*)
|
|
514
|
+
"output": "(*)=(*)",
|
|
515
515
|
"variables": "[]"
|
|
516
516
|
}
|
|
517
517
|
]
|
|
@@ -559,7 +559,7 @@
|
|
|
559
559
|
"type": "success",
|
|
560
560
|
"stages": [
|
|
561
561
|
{
|
|
562
|
-
"output": "a
|
|
562
|
+
"output": "a*(b+c)",
|
|
563
563
|
"variables": "[]"
|
|
564
564
|
}
|
|
565
565
|
]
|
|
@@ -607,7 +607,7 @@
|
|
|
607
607
|
"type": "success",
|
|
608
608
|
"stages": [
|
|
609
609
|
{
|
|
610
|
-
"output": "a
|
|
610
|
+
"output": "a:-b,c",
|
|
611
611
|
"variables": "[]"
|
|
612
612
|
}
|
|
613
613
|
]
|
|
@@ -862,7 +862,7 @@
|
|
|
862
862
|
},
|
|
863
863
|
{
|
|
864
864
|
"output": "",
|
|
865
|
-
"variables": "['F'
|
|
865
|
+
"variables": "['F'=('.'),'A'=2]"
|
|
866
866
|
}
|
|
867
867
|
]
|
|
868
868
|
}
|
|
@@ -1015,7 +1015,7 @@
|
|
|
1015
1015
|
},
|
|
1016
1016
|
{
|
|
1017
1017
|
"output": "",
|
|
1018
|
-
"variables": "['X'
|
|
1018
|
+
"variables": "['X'=1.2,'Y'=3]"
|
|
1019
1019
|
}
|
|
1020
1020
|
]
|
|
1021
1021
|
}
|
|
@@ -1308,7 +1308,7 @@
|
|
|
1308
1308
|
"type": "success",
|
|
1309
1309
|
"stages": [
|
|
1310
1310
|
{
|
|
1311
|
-
"output": "-
|
|
1311
|
+
"output": "-(1)",
|
|
1312
1312
|
"variables": "[]"
|
|
1313
1313
|
}
|
|
1314
1314
|
]
|
|
@@ -1340,7 +1340,7 @@
|
|
|
1340
1340
|
"type": "success",
|
|
1341
1341
|
"stages": [
|
|
1342
1342
|
{
|
|
1343
|
-
"output": "-
|
|
1343
|
+
"output": "-(1^2)",
|
|
1344
1344
|
"variables": "[]"
|
|
1345
1345
|
}
|
|
1346
1346
|
]
|
|
@@ -1356,7 +1356,7 @@
|
|
|
1356
1356
|
"type": "success",
|
|
1357
1357
|
"stages": [
|
|
1358
1358
|
{
|
|
1359
|
-
"output": "-
|
|
1359
|
+
"output": "-a^2",
|
|
1360
1360
|
"variables": "[]"
|
|
1361
1361
|
}
|
|
1362
1362
|
]
|
|
@@ -1372,7 +1372,7 @@
|
|
|
1372
1372
|
"type": "success",
|
|
1373
1373
|
"stages": [
|
|
1374
1374
|
{
|
|
1375
|
-
"output": "-
|
|
1375
|
+
"output": "-(a,b)",
|
|
1376
1376
|
"variables": "[]"
|
|
1377
1377
|
}
|
|
1378
1378
|
]
|
|
@@ -1388,7 +1388,7 @@
|
|
|
1388
1388
|
"type": "success",
|
|
1389
1389
|
"stages": [
|
|
1390
1390
|
{
|
|
1391
|
-
"output": "-
|
|
1391
|
+
"output": "-(1*2)",
|
|
1392
1392
|
"variables": "[]"
|
|
1393
1393
|
}
|
|
1394
1394
|
]
|
|
@@ -1404,7 +1404,7 @@
|
|
|
1404
1404
|
"type": "success",
|
|
1405
1405
|
"stages": [
|
|
1406
1406
|
{
|
|
1407
|
-
"output": "-
|
|
1407
|
+
"output": "-a",
|
|
1408
1408
|
"variables": "[]"
|
|
1409
1409
|
}
|
|
1410
1410
|
]
|
|
@@ -1420,7 +1420,7 @@
|
|
|
1420
1420
|
"type": "success",
|
|
1421
1421
|
"stages": [
|
|
1422
1422
|
{
|
|
1423
|
-
"output": "-
|
|
1423
|
+
"output": "-(-)",
|
|
1424
1424
|
"variables": "[]"
|
|
1425
1425
|
}
|
|
1426
1426
|
]
|
|
@@ -1436,7 +1436,7 @@
|
|
|
1436
1436
|
"type": "success",
|
|
1437
1437
|
"stages": [
|
|
1438
1438
|
{
|
|
1439
|
-
"output": "-
|
|
1439
|
+
"output": "-[-]",
|
|
1440
1440
|
"variables": "[]"
|
|
1441
1441
|
}
|
|
1442
1442
|
]
|
|
@@ -1452,7 +1452,7 @@
|
|
|
1452
1452
|
"type": "success",
|
|
1453
1453
|
"stages": [
|
|
1454
1454
|
{
|
|
1455
|
-
"output": "-
|
|
1455
|
+
"output": "-p(c)",
|
|
1456
1456
|
"variables": "[]"
|
|
1457
1457
|
}
|
|
1458
1458
|
]
|
|
@@ -1468,7 +1468,7 @@
|
|
|
1468
1468
|
"type": "success",
|
|
1469
1469
|
"stages": [
|
|
1470
1470
|
{
|
|
1471
|
-
"output": "-
|
|
1471
|
+
"output": "-{}",
|
|
1472
1472
|
"variables": "[]"
|
|
1473
1473
|
}
|
|
1474
1474
|
]
|
|
@@ -1484,7 +1484,7 @@
|
|
|
1484
1484
|
"type": "success",
|
|
1485
1485
|
"stages": [
|
|
1486
1486
|
{
|
|
1487
|
-
"output": "-
|
|
1487
|
+
"output": "-{a}",
|
|
1488
1488
|
"variables": "[]"
|
|
1489
1489
|
}
|
|
1490
1490
|
]
|
|
@@ -1500,7 +1500,7 @@
|
|
|
1500
1500
|
"type": "success",
|
|
1501
1501
|
"stages": [
|
|
1502
1502
|
{
|
|
1503
|
-
"output": "- -
|
|
1503
|
+
"output": "- -a",
|
|
1504
1504
|
"variables": "[]"
|
|
1505
1505
|
}
|
|
1506
1506
|
]
|
|
@@ -1516,7 +1516,7 @@
|
|
|
1516
1516
|
"type": "success",
|
|
1517
1517
|
"stages": [
|
|
1518
1518
|
{
|
|
1519
|
-
"output": "- - -
|
|
1519
|
+
"output": "- - -a",
|
|
1520
1520
|
"variables": "[]"
|
|
1521
1521
|
}
|
|
1522
1522
|
]
|
|
@@ -1532,7 +1532,7 @@
|
|
|
1532
1532
|
"type": "success",
|
|
1533
1533
|
"stages": [
|
|
1534
1534
|
{
|
|
1535
|
-
"output": "- -
|
|
1535
|
+
"output": "- -(1)",
|
|
1536
1536
|
"variables": "[]"
|
|
1537
1537
|
}
|
|
1538
1538
|
]
|
|
@@ -1552,7 +1552,7 @@
|
|
|
1552
1552
|
"variables": "[]"
|
|
1553
1553
|
},
|
|
1554
1554
|
{
|
|
1555
|
-
"output": "-
|
|
1555
|
+
"output": "-(1~2~3)",
|
|
1556
1556
|
"variables": "[]"
|
|
1557
1557
|
}
|
|
1558
1558
|
]
|
|
@@ -1572,7 +1572,7 @@
|
|
|
1572
1572
|
"variables": "[]"
|
|
1573
1573
|
},
|
|
1574
1574
|
{
|
|
1575
|
-
"output": "-
|
|
1575
|
+
"output": "-(1~2)",
|
|
1576
1576
|
"variables": "[]"
|
|
1577
1577
|
}
|
|
1578
1578
|
]
|
|
@@ -1592,7 +1592,7 @@
|
|
|
1592
1592
|
"variables": "[]"
|
|
1593
1593
|
},
|
|
1594
1594
|
{
|
|
1595
|
-
"output": "1
|
|
1595
|
+
"output": "1~2",
|
|
1596
1596
|
"variables": "[]"
|
|
1597
1597
|
}
|
|
1598
1598
|
]
|
|
@@ -1608,7 +1608,7 @@
|
|
|
1608
1608
|
"type": "success",
|
|
1609
1609
|
"stages": [
|
|
1610
1610
|
{
|
|
1611
|
-
"output": "-
|
|
1611
|
+
"output": "-[1]",
|
|
1612
1612
|
"variables": "[]"
|
|
1613
1613
|
}
|
|
1614
1614
|
]
|
|
@@ -1624,7 +1624,7 @@
|
|
|
1624
1624
|
"type": "success",
|
|
1625
1625
|
"stages": [
|
|
1626
1626
|
{
|
|
1627
|
-
"output": "-
|
|
1627
|
+
"output": "-A",
|
|
1628
1628
|
"variables": "[]"
|
|
1629
1629
|
}
|
|
1630
1630
|
]
|
|
@@ -1640,7 +1640,7 @@
|
|
|
1640
1640
|
"type": "success",
|
|
1641
1641
|
"stages": [
|
|
1642
1642
|
{
|
|
1643
|
-
"output": "-
|
|
1643
|
+
"output": "-A",
|
|
1644
1644
|
"variables": "[]"
|
|
1645
1645
|
},
|
|
1646
1646
|
{
|
|
@@ -1660,11 +1660,11 @@
|
|
|
1660
1660
|
"type": "success",
|
|
1661
1661
|
"stages": [
|
|
1662
1662
|
{
|
|
1663
|
-
"output": "-
|
|
1663
|
+
"output": "-A",
|
|
1664
1664
|
"variables": "[]"
|
|
1665
1665
|
},
|
|
1666
1666
|
{
|
|
1667
|
-
"output": "-1
|
|
1667
|
+
"output": "-1'$VAR'",
|
|
1668
1668
|
"variables": "[]"
|
|
1669
1669
|
}
|
|
1670
1670
|
]
|
|
@@ -1685,7 +1685,7 @@
|
|
|
1685
1685
|
},
|
|
1686
1686
|
{
|
|
1687
1687
|
"output": "",
|
|
1688
|
-
"variables": "['X'
|
|
1688
|
+
"variables": "['X'= -1]"
|
|
1689
1689
|
}
|
|
1690
1690
|
]
|
|
1691
1691
|
}
|
|
@@ -1732,7 +1732,7 @@
|
|
|
1732
1732
|
"type": "success",
|
|
1733
1733
|
"stages": [
|
|
1734
1734
|
{
|
|
1735
|
-
"output": "+
|
|
1735
|
+
"output": "+1^2",
|
|
1736
1736
|
"variables": "[]"
|
|
1737
1737
|
}
|
|
1738
1738
|
]
|
|
@@ -1759,7 +1759,7 @@
|
|
|
1759
1759
|
"type": "success",
|
|
1760
1760
|
"stages": [
|
|
1761
1761
|
{
|
|
1762
|
-
"output": "[+
|
|
1762
|
+
"output": "[+{a},+[]]",
|
|
1763
1763
|
"variables": "[]"
|
|
1764
1764
|
}
|
|
1765
1765
|
]
|
|
@@ -1840,7 +1840,7 @@
|
|
|
1840
1840
|
},
|
|
1841
1841
|
{
|
|
1842
1842
|
"output": "",
|
|
1843
|
-
"variables": "['X'
|
|
1843
|
+
"variables": "['X'=[a|b]]"
|
|
1844
1844
|
}
|
|
1845
1845
|
]
|
|
1846
1846
|
}
|
|
@@ -2165,7 +2165,7 @@
|
|
|
2165
2165
|
"stages": [
|
|
2166
2166
|
{
|
|
2167
2167
|
"output": "",
|
|
2168
|
-
"variables": "['X'
|
|
2168
|
+
"variables": "['X'=1]"
|
|
2169
2169
|
}
|
|
2170
2170
|
]
|
|
2171
2171
|
}
|
|
@@ -2246,7 +2246,7 @@
|
|
|
2246
2246
|
"stages": [
|
|
2247
2247
|
{
|
|
2248
2248
|
"output": "",
|
|
2249
|
-
"variables": "['X'
|
|
2249
|
+
"variables": "['X'=a141]"
|
|
2250
2250
|
}
|
|
2251
2251
|
]
|
|
2252
2252
|
}
|
|
@@ -2467,7 +2467,7 @@
|
|
|
2467
2467
|
},
|
|
2468
2468
|
{
|
|
2469
2469
|
"output": "",
|
|
2470
|
-
"variables": "['X'
|
|
2470
|
+
"variables": "['X'=0]"
|
|
2471
2471
|
}
|
|
2472
2472
|
]
|
|
2473
2473
|
}
|
|
@@ -2486,7 +2486,7 @@
|
|
|
2486
2486
|
"variables": "[]"
|
|
2487
2487
|
},
|
|
2488
2488
|
{
|
|
2489
|
-
"output": "0
|
|
2489
|
+
"output": "0''",
|
|
2490
2490
|
"variables": "[]"
|
|
2491
2491
|
}
|
|
2492
2492
|
]
|
|
@@ -2506,7 +2506,7 @@
|
|
|
2506
2506
|
"variables": "[]"
|
|
2507
2507
|
},
|
|
2508
2508
|
{
|
|
2509
|
-
"output": "0
|
|
2509
|
+
"output": "0''",
|
|
2510
2510
|
"variables": "[]"
|
|
2511
2511
|
}
|
|
2512
2512
|
]
|
|
@@ -2543,7 +2543,7 @@
|
|
|
2543
2543
|
},
|
|
2544
2544
|
{
|
|
2545
2545
|
"output": "",
|
|
2546
|
-
"variables": "['F'
|
|
2546
|
+
"variables": "['F'=(''),'A'=2]"
|
|
2547
2547
|
}
|
|
2548
2548
|
]
|
|
2549
2549
|
}
|
|
@@ -2563,7 +2563,7 @@
|
|
|
2563
2563
|
},
|
|
2564
2564
|
{
|
|
2565
2565
|
"output": "",
|
|
2566
|
-
"variables": "['F'
|
|
2566
|
+
"variables": "['F'=(''),'A'=2]"
|
|
2567
2567
|
}
|
|
2568
2568
|
]
|
|
2569
2569
|
}
|
|
@@ -2653,7 +2653,7 @@
|
|
|
2653
2653
|
"variables": "[]"
|
|
2654
2654
|
},
|
|
2655
2655
|
{
|
|
2656
|
-
"output": "0
|
|
2656
|
+
"output": "0'f '",
|
|
2657
2657
|
"variables": "[]"
|
|
2658
2658
|
}
|
|
2659
2659
|
]
|
|
@@ -2685,7 +2685,7 @@
|
|
|
2685
2685
|
},
|
|
2686
2686
|
{
|
|
2687
2687
|
"output": "",
|
|
2688
|
-
"variables": "['F'
|
|
2688
|
+
"variables": "['F'=('1'),'A'=2]"
|
|
2689
2689
|
}
|
|
2690
2690
|
]
|
|
2691
2691
|
}
|
|
@@ -2705,7 +2705,7 @@
|
|
|
2705
2705
|
},
|
|
2706
2706
|
{
|
|
2707
2707
|
"output": "",
|
|
2708
|
-
"variables": "['F'
|
|
2708
|
+
"variables": "['F'=('1'),'A'=2]"
|
|
2709
2709
|
}
|
|
2710
2710
|
]
|
|
2711
2711
|
}
|
|
@@ -2721,7 +2721,7 @@
|
|
|
2721
2721
|
"stages": [
|
|
2722
2722
|
{
|
|
2723
2723
|
"output": "",
|
|
2724
|
-
"variables": "['X'
|
|
2724
|
+
"variables": "['X'=65]"
|
|
2725
2725
|
}
|
|
2726
2726
|
]
|
|
2727
2727
|
}
|
|
@@ -2737,7 +2737,7 @@
|
|
|
2737
2737
|
"stages": [
|
|
2738
2738
|
{
|
|
2739
2739
|
"output": "",
|
|
2740
|
-
"variables": "['X'
|
|
2740
|
+
"variables": "['X'=65]"
|
|
2741
2741
|
}
|
|
2742
2742
|
]
|
|
2743
2743
|
}
|
|
@@ -2753,7 +2753,7 @@
|
|
|
2753
2753
|
"stages": [
|
|
2754
2754
|
{
|
|
2755
2755
|
"output": "",
|
|
2756
|
-
"variables": "['X'
|
|
2756
|
+
"variables": "['X'=1]"
|
|
2757
2757
|
}
|
|
2758
2758
|
]
|
|
2759
2759
|
}
|
|
@@ -2780,7 +2780,7 @@
|
|
|
2780
2780
|
"stages": [
|
|
2781
2781
|
{
|
|
2782
2782
|
"output": "",
|
|
2783
|
-
"variables": "['X'
|
|
2783
|
+
"variables": "['X'=0]"
|
|
2784
2784
|
}
|
|
2785
2785
|
]
|
|
2786
2786
|
}
|
|
@@ -2796,7 +2796,7 @@
|
|
|
2796
2796
|
"stages": [
|
|
2797
2797
|
{
|
|
2798
2798
|
"output": "",
|
|
2799
|
-
"variables": "['X'
|
|
2799
|
+
"variables": "['X'=1]"
|
|
2800
2800
|
}
|
|
2801
2801
|
]
|
|
2802
2802
|
}
|
|
@@ -2823,7 +2823,7 @@
|
|
|
2823
2823
|
"stages": [
|
|
2824
2824
|
{
|
|
2825
2825
|
"output": "",
|
|
2826
|
-
"variables": "['X'
|
|
2826
|
+
"variables": "['X'=2]"
|
|
2827
2827
|
}
|
|
2828
2828
|
]
|
|
2829
2829
|
}
|
|
@@ -2839,7 +2839,7 @@
|
|
|
2839
2839
|
"stages": [
|
|
2840
2840
|
{
|
|
2841
2841
|
"output": "",
|
|
2842
|
-
"variables": "['X'
|
|
2842
|
+
"variables": "['X'=2]"
|
|
2843
2843
|
}
|
|
2844
2844
|
]
|
|
2845
2845
|
}
|
|
@@ -2855,7 +2855,7 @@
|
|
|
2855
2855
|
"stages": [
|
|
2856
2856
|
{
|
|
2857
2857
|
"output": "",
|
|
2858
|
-
"variables": "['X'
|
|
2858
|
+
"variables": "['X'=1]"
|
|
2859
2859
|
}
|
|
2860
2860
|
]
|
|
2861
2861
|
}
|
|
@@ -2871,7 +2871,7 @@
|
|
|
2871
2871
|
"stages": [
|
|
2872
2872
|
{
|
|
2873
2873
|
"output": "",
|
|
2874
|
-
"variables": "['X'
|
|
2874
|
+
"variables": "['X'=0+1]"
|
|
2875
2875
|
}
|
|
2876
2876
|
]
|
|
2877
2877
|
}
|
|
@@ -2957,7 +2957,7 @@
|
|
|
2957
2957
|
"variables": "[]"
|
|
2958
2958
|
},
|
|
2959
2959
|
{
|
|
2960
|
-
"output": "' op'
|
|
2960
|
+
"output": "' op'[]",
|
|
2961
2961
|
"variables": "[]"
|
|
2962
2962
|
}
|
|
2963
2963
|
]
|
|
@@ -2984,7 +2984,7 @@
|
|
|
2984
2984
|
"type": "success",
|
|
2985
2985
|
"stages": [
|
|
2986
2986
|
{
|
|
2987
|
-
"output": "-
|
|
2987
|
+
"output": "-(a*b)",
|
|
2988
2988
|
"variables": "[]"
|
|
2989
2989
|
}
|
|
2990
2990
|
]
|
|
@@ -3000,7 +3000,7 @@
|
|
|
3000
3000
|
"type": "success",
|
|
3001
3001
|
"stages": [
|
|
3002
3002
|
{
|
|
3003
|
-
"output": "\\
|
|
3003
|
+
"output": "\\(a*b)",
|
|
3004
3004
|
"variables": "[]"
|
|
3005
3005
|
}
|
|
3006
3006
|
]
|
|
@@ -3086,7 +3086,7 @@
|
|
|
3086
3086
|
"variables": "[]"
|
|
3087
3087
|
},
|
|
3088
3088
|
{
|
|
3089
|
-
"output": "-
|
|
3089
|
+
"output": "-[1]",
|
|
3090
3090
|
"variables": "[]"
|
|
3091
3091
|
}
|
|
3092
3092
|
]
|
|
@@ -3107,7 +3107,7 @@
|
|
|
3107
3107
|
},
|
|
3108
3108
|
{
|
|
3109
3109
|
"output": "",
|
|
3110
|
-
"variables": "['X'
|
|
3110
|
+
"variables": "['X'=[1|e]]"
|
|
3111
3111
|
}
|
|
3112
3112
|
]
|
|
3113
3113
|
}
|
|
@@ -3131,7 +3131,7 @@
|
|
|
3131
3131
|
},
|
|
3132
3132
|
{
|
|
3133
3133
|
"output": "",
|
|
3134
|
-
"variables": "['X'
|
|
3134
|
+
"variables": "['X'=1]"
|
|
3135
3135
|
}
|
|
3136
3136
|
]
|
|
3137
3137
|
}
|
|
@@ -3711,7 +3711,7 @@
|
|
|
3711
3711
|
"type": "success",
|
|
3712
3712
|
"stages": [
|
|
3713
3713
|
{
|
|
3714
|
-
"output": "'.'
|
|
3714
|
+
"output": "'.'+'.'",
|
|
3715
3715
|
"variables": "[]"
|
|
3716
3716
|
}
|
|
3717
3717
|
]
|
|
@@ -3795,7 +3795,7 @@
|
|
|
3795
3795
|
"stages": [
|
|
3796
3796
|
{
|
|
3797
3797
|
"output": "9.8813129168249309e-324",
|
|
3798
|
-
"variables": "['X'
|
|
3798
|
+
"variables": "['X'=9.8813129168249309e-324]"
|
|
3799
3799
|
}
|
|
3800
3800
|
]
|
|
3801
3801
|
}
|
|
@@ -3843,7 +3843,7 @@
|
|
|
3843
3843
|
"stages": [
|
|
3844
3844
|
{
|
|
3845
3845
|
"output": "",
|
|
3846
|
-
"variables": "['T'
|
|
3846
|
+
"variables": "['T'=t(1,1,1)]"
|
|
3847
3847
|
}
|
|
3848
3848
|
]
|
|
3849
3849
|
}
|
|
@@ -3859,7 +3859,7 @@
|
|
|
3859
3859
|
"stages": [
|
|
3860
3860
|
{
|
|
3861
3861
|
"output": "",
|
|
3862
|
-
"variables": "['X'
|
|
3862
|
+
"variables": "['X'=1]"
|
|
3863
3863
|
}
|
|
3864
3864
|
]
|
|
3865
3865
|
}
|
|
@@ -3894,7 +3894,7 @@
|
|
|
3894
3894
|
"variables": "[]"
|
|
3895
3895
|
},
|
|
3896
3896
|
{
|
|
3897
|
-
"output": "a
|
|
3897
|
+
"output": "a-->b,c'|'d",
|
|
3898
3898
|
"variables": "[]"
|
|
3899
3899
|
}
|
|
3900
3900
|
]
|
|
@@ -3965,7 +3965,7 @@
|
|
|
3965
3965
|
"variables": "[]"
|
|
3966
3966
|
},
|
|
3967
3967
|
{
|
|
3968
|
-
"output": "[(a
|
|
3968
|
+
"output": "[(a'|'b)]",
|
|
3969
3969
|
"variables": "[]"
|
|
3970
3970
|
}
|
|
3971
3971
|
]
|
|
@@ -3985,7 +3985,7 @@
|
|
|
3985
3985
|
"variables": "[]"
|
|
3986
3986
|
},
|
|
3987
3987
|
{
|
|
3988
|
-
"output": "[a,(b,
|
|
3988
|
+
"output": "[a,(b,c)]",
|
|
3989
3989
|
"variables": "[]"
|
|
3990
3990
|
}
|
|
3991
3991
|
]
|
|
@@ -4002,7 +4002,7 @@
|
|
|
4002
4002
|
"stages": [
|
|
4003
4003
|
{
|
|
4004
4004
|
"output": "",
|
|
4005
|
-
"variables": "['X'
|
|
4005
|
+
"variables": "['X'=7]"
|
|
4006
4006
|
}
|
|
4007
4007
|
]
|
|
4008
4008
|
}
|
|
@@ -4018,7 +4018,7 @@
|
|
|
4018
4018
|
"stages": [
|
|
4019
4019
|
{
|
|
4020
4020
|
"output": "",
|
|
4021
|
-
"variables": "['X'
|
|
4021
|
+
"variables": "['X'=7]"
|
|
4022
4022
|
}
|
|
4023
4023
|
]
|
|
4024
4024
|
}
|
|
@@ -4097,7 +4097,7 @@
|
|
|
4097
4097
|
"stages": [
|
|
4098
4098
|
{
|
|
4099
4099
|
"output": "'\\0\\'",
|
|
4100
|
-
"variables": "['C'
|
|
4100
|
+
"variables": "['C'='\\0\\']"
|
|
4101
4101
|
}
|
|
4102
4102
|
]
|
|
4103
4103
|
}
|
|
@@ -4145,7 +4145,7 @@
|
|
|
4145
4145
|
"stages": [
|
|
4146
4146
|
{
|
|
4147
4147
|
"output": "+(_A,_A)",
|
|
4148
|
-
"variables": "['B'
|
|
4148
|
+
"variables": "['B'=B]"
|
|
4149
4149
|
}
|
|
4150
4150
|
]
|
|
4151
4151
|
}
|
|
@@ -4219,7 +4219,7 @@
|
|
|
4219
4219
|
"variables": "[]"
|
|
4220
4220
|
},
|
|
4221
4221
|
{
|
|
4222
|
-
"output": "f (1,
|
|
4222
|
+
"output": "f (1,2)",
|
|
4223
4223
|
"variables": "[]"
|
|
4224
4224
|
}
|
|
4225
4225
|
]
|
|
@@ -4282,7 +4282,7 @@
|
|
|
4282
4282
|
"variables": "[]"
|
|
4283
4283
|
},
|
|
4284
4284
|
{
|
|
4285
|
-
"output": "a
|
|
4285
|
+
"output": "a>. >b",
|
|
4286
4286
|
"variables": "[]"
|
|
4287
4287
|
}
|
|
4288
4288
|
]
|
|
@@ -4393,7 +4393,7 @@
|
|
|
4393
4393
|
"variables": "[]"
|
|
4394
4394
|
},
|
|
4395
4395
|
{
|
|
4396
|
-
"output": ">(a)
|
|
4396
|
+
"output": ">(a)>b",
|
|
4397
4397
|
"variables": "[]"
|
|
4398
4398
|
}
|
|
4399
4399
|
]
|
|
@@ -4693,7 +4693,7 @@
|
|
|
4693
4693
|
"stages": [
|
|
4694
4694
|
{
|
|
4695
4695
|
"output": "",
|
|
4696
|
-
"variables": "['C'
|
|
4696
|
+
"variables": "['C'=' ']"
|
|
4697
4697
|
}
|
|
4698
4698
|
]
|
|
4699
4699
|
}
|
|
@@ -4709,7 +4709,7 @@
|
|
|
4709
4709
|
"stages": [
|
|
4710
4710
|
{
|
|
4711
4711
|
"output": "",
|
|
4712
|
-
"variables": "['C'
|
|
4712
|
+
"variables": "['C'='%']"
|
|
4713
4713
|
}
|
|
4714
4714
|
]
|
|
4715
4715
|
}
|
|
@@ -4735,7 +4735,7 @@
|
|
|
4735
4735
|
"type": "success",
|
|
4736
4736
|
"stages": [
|
|
4737
4737
|
{
|
|
4738
|
-
"output": "--
|
|
4738
|
+
"output": "--a",
|
|
4739
4739
|
"variables": "[]"
|
|
4740
4740
|
}
|
|
4741
4741
|
]
|
|
@@ -4751,7 +4751,7 @@
|
|
|
4751
4751
|
"type": "success",
|
|
4752
4752
|
"stages": [
|
|
4753
4753
|
{
|
|
4754
|
-
"output": "--
|
|
4754
|
+
"output": "--a",
|
|
4755
4755
|
"variables": "[]"
|
|
4756
4756
|
},
|
|
4757
4757
|
{
|
|
@@ -4803,7 +4803,7 @@
|
|
|
4803
4803
|
"type": "success",
|
|
4804
4804
|
"stages": [
|
|
4805
4805
|
{
|
|
4806
|
-
"output": "0
|
|
4806
|
+
"output": "0+1",
|
|
4807
4807
|
"variables": "[]"
|
|
4808
4808
|
}
|
|
4809
4809
|
]
|
|
@@ -4841,7 +4841,7 @@
|
|
|
4841
4841
|
"type": "success",
|
|
4842
4842
|
"stages": [
|
|
4843
4843
|
{
|
|
4844
|
-
"output": "[(a,
|
|
4844
|
+
"output": "[(a,b)]",
|
|
4845
4845
|
"variables": "[]"
|
|
4846
4846
|
}
|
|
4847
4847
|
]
|
|
@@ -4857,7 +4857,7 @@
|
|
|
4857
4857
|
"type": "success",
|
|
4858
4858
|
"stages": [
|
|
4859
4859
|
{
|
|
4860
|
-
"output": "1
|
|
4860
|
+
"output": "1= \\\\",
|
|
4861
4861
|
"variables": "[]"
|
|
4862
4862
|
}
|
|
4863
4863
|
]
|
|
@@ -4923,7 +4923,7 @@
|
|
|
4923
4923
|
"stages": [
|
|
4924
4924
|
{
|
|
4925
4925
|
"output": "",
|
|
4926
|
-
"variables": "['T'
|
|
4926
|
+
"variables": "['T'=(a,b)]"
|
|
4927
4927
|
}
|
|
4928
4928
|
]
|
|
4929
4929
|
}
|
|
@@ -4958,7 +4958,7 @@
|
|
|
4958
4958
|
"variables": "[]"
|
|
4959
4959
|
},
|
|
4960
4960
|
{
|
|
4961
|
-
"output": "~
|
|
4961
|
+
"output": "~(a=b)",
|
|
4962
4962
|
"variables": "[]"
|
|
4963
4963
|
}
|
|
4964
4964
|
]
|
|
@@ -4974,7 +4974,7 @@
|
|
|
4974
4974
|
"type": "success",
|
|
4975
4975
|
"stages": [
|
|
4976
4976
|
{
|
|
4977
|
-
"output": "\\
|
|
4977
|
+
"output": "\\(a=b)",
|
|
4978
4978
|
"variables": "[]"
|
|
4979
4979
|
}
|
|
4980
4980
|
]
|
|
@@ -4990,7 +4990,7 @@
|
|
|
4990
4990
|
"type": "success",
|
|
4991
4991
|
"stages": [
|
|
4992
4992
|
{
|
|
4993
|
-
"output": "+
|
|
4993
|
+
"output": "+(a=b)",
|
|
4994
4994
|
"variables": "[]"
|
|
4995
4995
|
}
|
|
4996
4996
|
]
|
|
@@ -5038,7 +5038,7 @@
|
|
|
5038
5038
|
"type": "success",
|
|
5039
5039
|
"stages": [
|
|
5040
5040
|
{
|
|
5041
|
-
"output": "{a,
|
|
5041
|
+
"output": "{a,b}",
|
|
5042
5042
|
"variables": "[]"
|
|
5043
5043
|
}
|
|
5044
5044
|
]
|
|
@@ -5076,7 +5076,7 @@
|
|
|
5076
5076
|
"type": "success",
|
|
5077
5077
|
"stages": [
|
|
5078
5078
|
{
|
|
5079
|
-
"output": "+
|
|
5079
|
+
"output": "+(1*2)^3",
|
|
5080
5080
|
"variables": "[]"
|
|
5081
5081
|
}
|
|
5082
5082
|
]
|
|
@@ -5092,7 +5092,7 @@
|
|
|
5092
5092
|
"type": "success",
|
|
5093
5093
|
"stages": [
|
|
5094
5094
|
{
|
|
5095
|
-
"output": "-
|
|
5095
|
+
"output": "-((1*2)^3)",
|
|
5096
5096
|
"variables": "[]"
|
|
5097
5097
|
}
|
|
5098
5098
|
]
|
|
@@ -5108,7 +5108,7 @@
|
|
|
5108
5108
|
"type": "success",
|
|
5109
5109
|
"stages": [
|
|
5110
5110
|
{
|
|
5111
|
-
"output": "[a|\\+
|
|
5111
|
+
"output": "[a|\\+2]",
|
|
5112
5112
|
"variables": "[]"
|
|
5113
5113
|
}
|
|
5114
5114
|
]
|
|
@@ -5293,7 +5293,7 @@
|
|
|
5293
5293
|
"variables": "[]"
|
|
5294
5294
|
},
|
|
5295
5295
|
{
|
|
5296
|
-
"output": "a
|
|
5296
|
+
"output": "a.> .>",
|
|
5297
5297
|
"variables": "[]"
|
|
5298
5298
|
}
|
|
5299
5299
|
]
|
|
@@ -5451,7 +5451,7 @@
|
|
|
5451
5451
|
"type": "success",
|
|
5452
5452
|
"stages": [
|
|
5453
5453
|
{
|
|
5454
|
-
"output": "{a
|
|
5454
|
+
"output": "{a:-b}",
|
|
5455
5455
|
"variables": "[]"
|
|
5456
5456
|
}
|
|
5457
5457
|
]
|
|
@@ -5555,7 +5555,16 @@
|
|
|
5555
5555
|
"input": "writeq(?).",
|
|
5556
5556
|
"readCount": 1,
|
|
5557
5557
|
"expected": "?",
|
|
5558
|
-
"assertion": "upstream"
|
|
5558
|
+
"assertion": "upstream",
|
|
5559
|
+
"outcome": {
|
|
5560
|
+
"type": "success",
|
|
5561
|
+
"stages": [
|
|
5562
|
+
{
|
|
5563
|
+
"output": "?",
|
|
5564
|
+
"variables": "[]"
|
|
5565
|
+
}
|
|
5566
|
+
]
|
|
5567
|
+
}
|
|
5559
5568
|
}
|
|
5560
5569
|
],
|
|
5561
5570
|
"sourceRevision": "1.300",
|