bit2 0.0.1 → 0.0.3

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.
Files changed (113) hide show
  1. package/package.json +4 -2
  2. package/dist/src/bx/biEval.js +0 -59
  3. package/dist/src/bx/biEval.js.map +0 -1
  4. package/dist/src/common/Exp.js +0 -44
  5. package/dist/src/common/Exp.js.map +0 -1
  6. package/dist/src/common/PrettyPrint.js +0 -32
  7. package/dist/src/common/PrettyPrint.js.map +0 -1
  8. package/dist/src/common/Print.js +0 -73
  9. package/dist/src/common/Print.js.map +0 -1
  10. package/dist/src/core/AST.js +0 -47
  11. package/dist/src/core/AST.js.map +0 -1
  12. package/dist/src/core/PrettyPrint.js +0 -64
  13. package/dist/src/core/PrettyPrint.js.map +0 -1
  14. package/dist/src/core/Print.js +0 -77
  15. package/dist/src/core/Print.js.map +0 -1
  16. package/dist/src/fuse/Fuse.js +0 -1436
  17. package/dist/src/fuse/Fuse.js.map +0 -1
  18. package/dist/src/fuse/Print.js +0 -22
  19. package/dist/src/fuse/Print.js.map +0 -1
  20. package/dist/src/fuse/Update.js +0 -3
  21. package/dist/src/fuse/Update.js.map +0 -1
  22. package/dist/src/lambda/AST.js +0 -3
  23. package/dist/src/lambda/AST.js.map +0 -1
  24. package/dist/src/lambda/Evaluation.js +0 -98
  25. package/dist/src/lambda/Evaluation.js.map +0 -1
  26. package/dist/src/lambda/Print.js +0 -31
  27. package/dist/src/lambda/Print.js.map +0 -1
  28. package/dist/src/lambdalize/lambdalize.js +0 -94
  29. package/dist/src/lambdalize/lambdalize.js.map +0 -1
  30. package/dist/src/lambdalize/unLambdalize.js +0 -59
  31. package/dist/src/lambdalize/unLambdalize.js.map +0 -1
  32. package/dist/src/partial/AST.js +0 -3
  33. package/dist/src/partial/AST.js.map +0 -1
  34. package/dist/src/partial/Print.js +0 -93
  35. package/dist/src/partial/Print.js.map +0 -1
  36. package/dist/src/partialEval/peval.js +0 -322
  37. package/dist/src/partialEval/peval.js.map +0 -1
  38. package/dist/src/partialEval/unpeval.js +0 -360
  39. package/dist/src/partialEval/unpeval.js.map +0 -1
  40. package/dist/src/surface/AST.js +0 -3
  41. package/dist/src/surface/AST.js.map +0 -1
  42. package/dist/src/surface/Parser.js +0 -314
  43. package/dist/src/surface/Parser.js.map +0 -1
  44. package/dist/src/translate/Translate.js +0 -91
  45. package/dist/src/translate/Translate.js.map +0 -1
  46. package/dist/src/utils/Utils.js +0 -7
  47. package/dist/src/utils/Utils.js.map +0 -1
  48. package/dist/test/bx/biEval.test.d.ts +0 -1
  49. package/dist/test/bx/biEval.test.js +0 -41
  50. package/dist/test/bx/biEval.test.js.map +0 -1
  51. package/dist/test/bx/test.d.ts +0 -1
  52. package/dist/test/bx/test.js +0 -29
  53. package/dist/test/bx/test.js.map +0 -1
  54. package/dist/test/core/0.simple.test.d.ts +0 -4
  55. package/dist/test/core/0.simple.test.js +0 -68
  56. package/dist/test/core/0.simple.test.js.map +0 -1
  57. package/dist/test/core/1.core.test.d.ts +0 -2
  58. package/dist/test/core/1.core.test.js +0 -30
  59. package/dist/test/core/1.core.test.js.map +0 -1
  60. package/dist/test/core/core.test.d.ts +0 -1
  61. package/dist/test/core/core.test.js +0 -28
  62. package/dist/test/core/core.test.js.map +0 -1
  63. package/dist/test/fuse/branchnop.test.d.ts +0 -1
  64. package/dist/test/fuse/branchnop.test.js +0 -47
  65. package/dist/test/fuse/branchnop.test.js.map +0 -1
  66. package/dist/test/fuse/bulk.test.d.ts +0 -1
  67. package/dist/test/fuse/bulk.test.js +0 -111
  68. package/dist/test/fuse/bulk.test.js.map +0 -1
  69. package/dist/test/fuse/const.test.d.ts +0 -1
  70. package/dist/test/fuse/const.test.js +0 -118
  71. package/dist/test/fuse/const.test.js.map +0 -1
  72. package/dist/test/fuse/exp.test.d.ts +0 -1
  73. package/dist/test/fuse/exp.test.js +0 -225
  74. package/dist/test/fuse/exp.test.js.map +0 -1
  75. package/dist/test/fuse/lambda.test.d.ts +0 -1
  76. package/dist/test/fuse/lambda.test.js +0 -139
  77. package/dist/test/fuse/lambda.test.js.map +0 -1
  78. package/dist/test/fuse/loop.test.d.ts +0 -1
  79. package/dist/test/fuse/loop.test.js +0 -39
  80. package/dist/test/fuse/loop.test.js.map +0 -1
  81. package/dist/test/fuse/seq.test.d.ts +0 -1
  82. package/dist/test/fuse/seq.test.js +0 -64
  83. package/dist/test/fuse/seq.test.js.map +0 -1
  84. package/dist/test/fuse/space.test.d.ts +0 -1
  85. package/dist/test/fuse/space.test.js +0 -136
  86. package/dist/test/fuse/space.test.js.map +0 -1
  87. package/dist/test/lambda/evaluation.test.d.ts +0 -1
  88. package/dist/test/lambda/evaluation.test.js +0 -24
  89. package/dist/test/lambda/evaluation.test.js.map +0 -1
  90. package/dist/test/lambda/lambda.test.d.ts +0 -1
  91. package/dist/test/lambda/lambda.test.js +0 -45
  92. package/dist/test/lambda/lambda.test.js.map +0 -1
  93. package/dist/test/lambdalize/lambdalize.test.d.ts +0 -1
  94. package/dist/test/lambdalize/lambdalize.test.js +0 -23
  95. package/dist/test/lambdalize/lambdalize.test.js.map +0 -1
  96. package/dist/test/lambdalize/unLambdalize.test.d.ts +0 -1
  97. package/dist/test/lambdalize/unLambdalize.test.js +0 -35
  98. package/dist/test/lambdalize/unLambdalize.test.js.map +0 -1
  99. package/dist/test/partial/partial.test.d.ts +0 -1
  100. package/dist/test/partial/partial.test.js +0 -35
  101. package/dist/test/partial/partial.test.js.map +0 -1
  102. package/dist/test/partialEval/peval.test.d.ts +0 -1
  103. package/dist/test/partialEval/peval.test.js +0 -29
  104. package/dist/test/partialEval/peval.test.js.map +0 -1
  105. package/dist/test/partialEval/unPeval.test.d.ts +0 -1
  106. package/dist/test/partialEval/unPeval.test.js +0 -40
  107. package/dist/test/partialEval/unPeval.test.js.map +0 -1
  108. package/dist/test/surface/AST.test.d.ts +0 -1
  109. package/dist/test/surface/AST.test.js +0 -41
  110. package/dist/test/surface/AST.test.js.map +0 -1
  111. package/dist/test/translate/translate.test.d.ts +0 -1
  112. package/dist/test/translate/translate.test.js +0 -45
  113. package/dist/test/translate/translate.test.js.map +0 -1
@@ -1,136 +0,0 @@
1
- "use strict";
2
- Object.defineProperty(exports, "__esModule", { value: true });
3
- const Print_1 = require("../../src/fuse/Print");
4
- const Fuse_1 = require("../../src/fuse/Fuse");
5
- const Print_2 = require("../../src/lambda/Print");
6
- const env = {};
7
- /**
8
- * space(n), insert
9
- */
10
- console.log('===================================');
11
- Fuse_1.fuse(env, { type: 'insert', str: "Hello", position: 0 }, { type: 'space', width: 2 }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
12
- console.log('------');
13
- Print_2.printNode(newTerm);
14
- console.log('U: ' + Print_1.operationToStr(newOp));
15
- });
16
- console.log('===================================');
17
- Fuse_1.fuse(env, { type: 'insert', str: " ", position: 0 }, { type: 'space', width: 2 }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
18
- console.log('------');
19
- Print_2.printNode(newTerm);
20
- console.log('U: ' + Print_1.operationToStr(newOp));
21
- });
22
- console.log('===================================');
23
- Fuse_1.fuse(env, { type: 'insert', str: ' ', position: 3 }, { type: 'space', width: 5 }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
24
- console.log('------');
25
- Print_2.printNode(newTerm);
26
- console.log('U: ' + Print_1.operationToStr(newOp));
27
- });
28
- console.log('===================================');
29
- Fuse_1.fuse(env, { type: 'insert', str: ' ', position: 3 }, { type: 'space', width: 3 }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
30
- console.log('------');
31
- Print_2.printNode(newTerm);
32
- console.log('U: ' + Print_1.operationToStr(newOp));
33
- });
34
- console.log('===================================');
35
- Fuse_1.fuse(env, { type: 'insert', str: 'Zan', position: 5 }, { type: 'space', width: 3 }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
36
- console.log('------');
37
- Print_2.printNode(newTerm);
38
- console.log('U: ' + Print_1.operationToStr(newOp));
39
- });
40
- /**
41
- * space(n), Delete
42
- */
43
- console.log('==============Space(n), Deletion=====================');
44
- Fuse_1.fuse(env, { type: 'delete', str: ' ', position: 0 }, { type: 'space', width: 3 }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
45
- console.log('------');
46
- Print_2.printNode(newTerm);
47
- console.log('U: ' + Print_1.operationToStr(newOp));
48
- });
49
- console.log('===================================');
50
- Fuse_1.fuse(env, { type: 'delete', str: ' ', position: 0 }, { type: 'space', width: 3 }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
51
- console.log('------');
52
- Print_2.printNode(newTerm);
53
- console.log('U: ' + Print_1.operationToStr(newOp));
54
- });
55
- console.log('===================================');
56
- Fuse_1.fuse(env, { type: 'delete', str: ' Everyone', position: 0 }, { type: 'space', width: 3 }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
57
- console.log('------');
58
- Print_2.printNode(newTerm);
59
- console.log('U: ' + Print_1.operationToStr(newOp));
60
- });
61
- console.log('===================================');
62
- Fuse_1.fuse(env, { type: 'delete', str: ' ', position: 5 }, { type: 'space', width: 8 }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
63
- console.log('------');
64
- Print_2.printNode(newTerm);
65
- console.log('U: ' + Print_1.operationToStr(newOp));
66
- });
67
- console.log('===================================');
68
- Fuse_1.fuse(env, { type: 'delete', str: ' ', position: 2 }, { type: 'space', width: 4 }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
69
- console.log('------');
70
- Print_2.printNode(newTerm);
71
- console.log('U: ' + Print_1.operationToStr(newOp));
72
- });
73
- console.log('===================================');
74
- Fuse_1.fuse(env, { type: 'delete', str: ' Nice to meet you!', position: 2 }, { type: 'space', width: 4 }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
75
- console.log('------');
76
- Print_2.printNode(newTerm);
77
- console.log('U: ' + Print_1.operationToStr(newOp));
78
- });
79
- console.log('===================================');
80
- Fuse_1.fuse(env, { type: 'delete', str: 'Nice to meet you!', position: 14 }, { type: 'space', width: 4 }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
81
- console.log('------');
82
- Print_2.printNode(newTerm);
83
- console.log('U: ' + Print_1.operationToStr(newOp));
84
- });
85
- /**
86
- * space(n), replace
87
- */
88
- console.log('===============Space(n), Replacement====================');
89
- Fuse_1.fuse(env, { type: 'replace', str1: ' ', str2: ' ', position: 0 }, { type: 'space', width: 4 }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
90
- console.log('------');
91
- Print_2.printNode(newTerm);
92
- console.log('U: ' + Print_1.operationToStr(newOp));
93
- });
94
- console.log('===================================');
95
- Fuse_1.fuse(env, { type: 'replace', str1: ' ', str2: 'Nice', position: 0 }, { type: 'space', width: 4 }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
96
- console.log('------');
97
- Print_2.printNode(newTerm);
98
- console.log('U: ' + Print_1.operationToStr(newOp));
99
- });
100
- console.log('===================================');
101
- Fuse_1.fuse(env, { type: 'replace', str1: ' buddy', str2: ' boy!', position: 0 }, { type: 'space', width: 2 }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
102
- console.log('------');
103
- Print_2.printNode(newTerm);
104
- console.log('U: ' + Print_1.operationToStr(newOp));
105
- });
106
- console.log('===================================');
107
- Fuse_1.fuse(env, { type: 'replace', str1: ' buddy', str2: 'Hi boy!', position: 0 }, { type: 'space', width: 2 }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
108
- console.log('------');
109
- Print_2.printNode(newTerm);
110
- console.log('U: ' + Print_1.operationToStr(newOp));
111
- });
112
- console.log('===================================');
113
- Fuse_1.fuse(env, { type: 'replace', str1: ' ', str2: ' ', position: 2 }, { type: 'space', width: 4 }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
114
- console.log('------');
115
- Print_2.printNode(newTerm);
116
- console.log('U: ' + Print_1.operationToStr(newOp));
117
- });
118
- console.log('===================================');
119
- Fuse_1.fuse(env, { type: 'replace', str1: ' ', str2: 'Good', position: 2 }, { type: 'space', width: 4 }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
120
- console.log('------');
121
- Print_2.printNode(newTerm);
122
- console.log('U: ' + Print_1.operationToStr(newOp));
123
- });
124
- console.log('===================================');
125
- Fuse_1.fuse(env, { type: 'replace', str1: ' Bye', str2: ' Goodbye', position: 2 }, { type: 'space', width: 4 }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
126
- console.log('------');
127
- Print_2.printNode(newTerm);
128
- console.log('U: ' + Print_1.operationToStr(newOp));
129
- });
130
- console.log('===================================');
131
- Fuse_1.fuse(env, { type: 'replace', str1: 'Mr.Bit', str2: 'Mr.Bin', position: 20 }, { type: 'space', width: 4 }).forEach(({ newTermNode: newTerm, remainingOperation: newOp }) => {
132
- console.log('------');
133
- Print_2.printNode(newTerm);
134
- console.log('U: ' + Print_1.operationToStr(newOp));
135
- });
136
- //# sourceMappingURL=space.test.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"space.test.js","sourceRoot":"","sources":["../../../test/fuse/space.test.ts"],"names":[],"mappings":";;AAEA,gDAAsD;AACtD,8CAAwD;AAExD,kDAAmD;AAEnD,MAAM,GAAG,GAAgB,EAAE,CAAC;AAE5B;;GAEG;AACH,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,OAAO,EAAC,QAAQ,EAAC,CAAC,EAAC,EACvC,EAAE,IAAI,EAAC,OAAO,EAAE,KAAK,EAAC,CAAC,EAAE,CAC5B,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAEH,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAC,GAAG,EAAE,MAAM,EAAC,QAAQ,EAAC,CAAC,EAAC,EACtC,EAAE,IAAI,EAAC,OAAO,EAAE,KAAK,EAAC,CAAC,EAAE,CAC5B,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAEH,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAE,GAAG,EAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAC,EACvC,EAAE,IAAI,EAAC,OAAO,EAAE,KAAK,EAAC,CAAC,EAAE,CAC5B,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAEH,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAE,GAAG,EAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAC,EACtC,EAAE,IAAI,EAAC,OAAO,EAAE,KAAK,EAAC,CAAC,EAAE,CAC5B,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAA;AAEF,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAE,GAAG,EAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAC,EACvC,EAAE,IAAI,EAAC,OAAO,EAAE,KAAK,EAAC,CAAC,EAAE,CAC5B,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAA;AAEF;;GAEG;AACH,OAAO,CAAC,GAAG,CAAC,uDAAuD,CAAC,CAAA;AACpE,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAE,GAAG,EAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAC,EACrC,EAAE,IAAI,EAAC,OAAO,EAAE,KAAK,EAAC,CAAC,EAAE,CAC5B,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAA;AAEF,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAE,GAAG,EAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAC,EACvC,EAAE,IAAI,EAAC,OAAO,EAAE,KAAK,EAAC,CAAC,EAAE,CAC5B,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAA;AAEF,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAE,GAAG,EAAC,aAAa,EAAE,QAAQ,EAAE,CAAC,EAAC,EAC/C,EAAE,IAAI,EAAC,OAAO,EAAE,KAAK,EAAC,CAAC,EAAE,CAC5B,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAA;AAEF,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAE,GAAG,EAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAC,EACrC,EAAE,IAAI,EAAC,OAAO,EAAE,KAAK,EAAC,CAAC,EAAE,CAC5B,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAA;AAEF,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAE,GAAG,EAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAC,EACtC,EAAE,IAAI,EAAC,OAAO,EAAE,KAAK,EAAC,CAAC,EAAE,CAC5B,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAA;AAGF,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAE,GAAG,EAAC,qBAAqB,EAAE,QAAQ,EAAE,CAAC,EAAC,EACvD,EAAE,IAAI,EAAC,OAAO,EAAE,KAAK,EAAC,CAAC,EAAE,CAC5B,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAA;AAEF,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,QAAQ,EAAE,GAAG,EAAC,mBAAmB,EAAE,QAAQ,EAAE,EAAE,EAAC,EACtD,EAAE,IAAI,EAAC,OAAO,EAAE,KAAK,EAAC,CAAC,EAAE,CAC5B,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAA;AAGF;;GAEG;AACH,OAAO,CAAC,GAAG,CAAC,0DAA0D,CAAC,CAAA;AACvE,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,SAAS,EAAE,IAAI,EAAC,IAAI,EAAE,IAAI,EAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAC,EAClD,EAAE,IAAI,EAAC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAC7B,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAA;AAEF,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,SAAS,EAAE,IAAI,EAAC,IAAI,EAAE,IAAI,EAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,EAAC,EACrD,EAAE,IAAI,EAAC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAC7B,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAA;AAEF,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,SAAS,EAAE,IAAI,EAAC,SAAS,EAAE,IAAI,EAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAC,EAC5D,EAAE,IAAI,EAAC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAC7B,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAA;AAEF,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,SAAS,EAAE,IAAI,EAAC,SAAS,EAAE,IAAI,EAAC,SAAS,EAAE,QAAQ,EAAE,CAAC,EAAC,EAC7D,EAAE,IAAI,EAAC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAC7B,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAA;AAGF,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,SAAS,EAAE,IAAI,EAAC,IAAI,EAAE,IAAI,EAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAC,EAClD,EAAE,IAAI,EAAC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAC7B,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAA;AAEF,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,SAAS,EAAE,IAAI,EAAC,IAAI,EAAE,IAAI,EAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,EAAC,EACrD,EAAE,IAAI,EAAC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAC7B,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAA;AAGF,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,SAAS,EAAE,IAAI,EAAC,OAAO,EAAE,IAAI,EAAC,UAAU,EAAE,QAAQ,EAAE,CAAC,EAAC,EAC5D,EAAE,IAAI,EAAC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAC7B,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAA;AAEF,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAA;AAClD,WAAI,CAAC,GAAG,EACJ,EAAC,IAAI,EAAC,SAAS,EAAE,IAAI,EAAC,QAAQ,EAAE,IAAI,EAAC,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAC,EAC5D,EAAE,IAAI,EAAC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAC7B,CAAC,OAAO,CAAC,CAAC,EAAC,WAAW,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAC,EAAE,EAAE;IAC9D,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;IACrB,iBAAS,CAAC,OAAO,CAAC,CAAC;IACnB,OAAO,CAAC,GAAG,CAAC,KAAK,GAAG,sBAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAA"}
@@ -1 +0,0 @@
1
- export {};
@@ -1,24 +0,0 @@
1
- "use strict";
2
- var __importStar = (this && this.__importStar) || function (mod) {
3
- if (mod && mod.__esModule) return mod;
4
- var result = {};
5
- if (mod != null) for (var k in mod) if (Object.hasOwnProperty.call(mod, k)) result[k] = mod[k];
6
- result["default"] = mod;
7
- return result;
8
- };
9
- Object.defineProperty(exports, "__esModule", { value: true });
10
- const peval_1 = require("../../src/partialEval/peval");
11
- const SimpleCoreExample = __importStar(require("../core/0.simple.test"));
12
- const lambdalize_1 = require("../../src/lambdalize/lambdalize");
13
- const Evaluation = __importStar(require("../../src/lambda/Evaluation"));
14
- // Define your initial environment
15
- const initialEnvironment = new Map();
16
- const [updatedEnv, partialNode] = peval_1.partialEval(initialEnvironment, SimpleCoreExample.assignmentExample);
17
- const lambdaAST = lambdalize_1.lambdalize(partialNode);
18
- let str = Evaluation.evaluateTermNode(lambdaAST);
19
- console.log(str);
20
- console.log("---------------Branch Example--------------");
21
- console.log(Evaluation.evaluateTermNode(lambdalize_1.lambdalize(peval_1.partialEval(initialEnvironment, SimpleCoreExample.branchExample)[1])));
22
- console.log("---------------Loop Example--------------");
23
- console.log(Evaluation.evaluateTermNode(lambdalize_1.lambdalize(peval_1.partialEval(initialEnvironment, SimpleCoreExample.loopExample)[1])));
24
- //# sourceMappingURL=evaluation.test.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"evaluation.test.js","sourceRoot":"","sources":["../../../test/lambda/evaluation.test.ts"],"names":[],"mappings":";;;;;;;;;AAAA,uDAA0D;AAC1D,yEAA2D;AAC3D,gEAA6D;AAE7D,wEAA0D;AAE1D,kCAAkC;AAClC,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAe,CAAC;AAClD,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,GAAG,mBAAW,CAAC,kBAAkB,EAAE,iBAAiB,CAAC,iBAAiB,CAAC,CAAC;AACvG,MAAM,SAAS,GAAG,uBAAU,CAAC,WAAW,CAAC,CAAC;AAC1C,IAAI,GAAG,GAAG,UAAU,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;AACjD,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAEjB,OAAO,CAAC,GAAG,CAAC,6CAA6C,CAAC,CAAA;AAC1D,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,gBAAgB,CAAC,uBAAU,CAAC,mBAAW,CAAC,kBAAkB,EAAE,iBAAiB,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE1H,OAAO,CAAC,GAAG,CAAC,2CAA2C,CAAC,CAAA;AACxD,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,gBAAgB,CAAC,uBAAU,CAAC,mBAAW,CAAC,kBAAkB,EAAE,iBAAiB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC"}
@@ -1 +0,0 @@
1
- export {};
@@ -1,45 +0,0 @@
1
- "use strict";
2
- var __importStar = (this && this.__importStar) || function (mod) {
3
- if (mod && mod.__esModule) return mod;
4
- var result = {};
5
- if (mod != null) for (var k in mod) if (Object.hasOwnProperty.call(mod, k)) result[k] = mod[k];
6
- result["default"] = mod;
7
- return result;
8
- };
9
- Object.defineProperty(exports, "__esModule", { value: true });
10
- const LambdaPrint = __importStar(require("../../src/lambda/Print"));
11
- // Example usage
12
- const exampleAST = {
13
- type: 'seq',
14
- nodes: [
15
- { type: 'const', value: 'hello' },
16
- { type: 'space', width: 1 },
17
- {
18
- type: 'lambda',
19
- variable: { type: 'variable', name: 'x' },
20
- body: { type: 'const', value: 'world' },
21
- binding: [{ type: 'variable', name: 'x' }, 'valueX'],
22
- marker: { type: 'loopitem', lst: { type: 'variable', name: 'arr' } }
23
- },
24
- {
25
- type: 'lambda',
26
- variable: { type: 'variable', name: 'y' },
27
- body: { type: 'const', value: 'test' },
28
- binding: [{ type: 'variable', name: 'y' }, 'valueY'],
29
- // @ts-ignore
30
- marker: { type: 'declare' }
31
- },
32
- {
33
- type: 'lambda',
34
- variable: { type: 'variable', name: 'z' },
35
- body: { type: 'const', value: 'example' },
36
- binding: [{ type: 'variable', name: 'z' }, 'valueZ'],
37
- // @ts-ignore
38
- marker: { type: 'assign' }
39
- },
40
- { type: 'end' }
41
- ]
42
- };
43
- // Print the example AST
44
- LambdaPrint.printNode(exampleAST);
45
- //# sourceMappingURL=lambda.test.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"lambda.test.js","sourceRoot":"","sources":["../../../test/lambda/lambda.test.ts"],"names":[],"mappings":";;;;;;;;;AACA,oEAAsD;AAEtD,gBAAgB;AAChB,MAAM,UAAU,GAAuB;IACrC,IAAI,EAAC,KAAK;IACV,KAAK,EAAE;QACL,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAC,OAAO,EAAC;QAC/B,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE;QAC3B;YACE,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,EAAC,IAAI,EAAC,UAAU,EAAC,IAAI,EAAC,GAAG,EAAC;YACpC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAC,OAAO,EAAC;YACrC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,QAAQ,CAAE;YACrD,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE;SACrE;QACD;YACE,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,EAAC,IAAI,EAAC,UAAU,EAAC,IAAI,EAAC,GAAG,EAAC;YACpC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAC;YACrC,OAAO,EAAE,CAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,QAAQ,CAAE;YACtD,aAAa;YACb,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;SAC5B;QACD;YACE,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,EAAC,IAAI,EAAC,UAAU,EAAC,IAAI,EAAC,GAAG,EAAC;YACpC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAC;YACxC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,QAAQ,CAAE;YACrD,aAAa;YACb,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;SAC3B;QACD,EAAC,IAAI,EAAC,KAAK,EAAC;KACb;CACF,CAAC;AAEF,wBAAwB;AACxB,WAAW,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC"}
@@ -1 +0,0 @@
1
- export {};
@@ -1,23 +0,0 @@
1
- "use strict";
2
- var __importStar = (this && this.__importStar) || function (mod) {
3
- if (mod && mod.__esModule) return mod;
4
- var result = {};
5
- if (mod != null) for (var k in mod) if (Object.hasOwnProperty.call(mod, k)) result[k] = mod[k];
6
- result["default"] = mod;
7
- return result;
8
- };
9
- Object.defineProperty(exports, "__esModule", { value: true });
10
- const peval_1 = require("../../src/partialEval/peval");
11
- const SimpleCoreExample = __importStar(require("../core/0.simple.test"));
12
- const lambdalize_1 = require("../../src/lambdalize/lambdalize");
13
- const LambdaPrint = __importStar(require("../../src/lambda/Print"));
14
- // Define your initial environment
15
- const initialEnvironment = new Map();
16
- const [updatedEnv, partialNode] = peval_1.partialEval(initialEnvironment, SimpleCoreExample.assignmentExample);
17
- const lambdaAST = lambdalize_1.lambdalize(partialNode);
18
- LambdaPrint.printNode(lambdaAST);
19
- console.log("---------------Branch Example--------------");
20
- LambdaPrint.printNode(lambdalize_1.lambdalize(peval_1.partialEval(initialEnvironment, SimpleCoreExample.branchExample)[1]));
21
- console.log("---------------Loop Example--------------");
22
- LambdaPrint.printNode(lambdalize_1.lambdalize(peval_1.partialEval(initialEnvironment, SimpleCoreExample.loopExample)[1]));
23
- //# sourceMappingURL=lambdalize.test.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"lambdalize.test.js","sourceRoot":"","sources":["../../../test/lambdalize/lambdalize.test.ts"],"names":[],"mappings":";;;;;;;;;AAAA,uDAA0D;AAC1D,yEAA2D;AAC3D,gEAA6D;AAC7D,oEAAsD;AAEtD,kCAAkC;AAClC,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAe,CAAC;AAClD,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,GAAG,mBAAW,CAAC,kBAAkB,EAAE,iBAAiB,CAAC,iBAAiB,CAAC,CAAC;AACvG,MAAM,SAAS,GAAG,uBAAU,CAAC,WAAW,CAAC,CAAC;AAC1C,WAAW,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;AAEjC,OAAO,CAAC,GAAG,CAAC,6CAA6C,CAAC,CAAA;AAC1D,WAAW,CAAC,SAAS,CAAC,uBAAU,CAAC,mBAAW,CAAC,kBAAkB,EAAE,iBAAiB,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEvG,OAAO,CAAC,GAAG,CAAC,2CAA2C,CAAC,CAAA;AACxD,WAAW,CAAC,SAAS,CAAC,uBAAU,CAAC,mBAAW,CAAC,kBAAkB,EAAE,iBAAiB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC"}
@@ -1 +0,0 @@
1
- export {};
@@ -1,35 +0,0 @@
1
- "use strict";
2
- var __importStar = (this && this.__importStar) || function (mod) {
3
- if (mod && mod.__esModule) return mod;
4
- var result = {};
5
- if (mod != null) for (var k in mod) if (Object.hasOwnProperty.call(mod, k)) result[k] = mod[k];
6
- result["default"] = mod;
7
- return result;
8
- };
9
- Object.defineProperty(exports, "__esModule", { value: true });
10
- const peval_1 = require("../../src/partialEval/peval");
11
- const SimpleCoreExample = __importStar(require("../core/0.simple.test"));
12
- const lambdalize_1 = require("../../src/lambdalize/lambdalize");
13
- const unLambdalize_1 = require("../../src/lambdalize/unLambdalize");
14
- const PartialPrint = __importStar(require("../../src/partial/Print"));
15
- const peval_2 = require("../../src/partialEval/peval");
16
- // Define your initial environment
17
- const initialEnvironment = new Map();
18
- let [updatedEnv, partialNode] = peval_1.partialEval(initialEnvironment, SimpleCoreExample.assignmentExample);
19
- let lambdaAST = peval_2.flatten(unLambdalize_1.unLambdalize(lambdalize_1.lambdalize(partialNode)));
20
- PartialPrint.printNode(peval_2.flatten(partialNode));
21
- console.log("--------------------------------");
22
- PartialPrint.printNode(lambdaAST);
23
- console.log("---------------Branch Example--------------");
24
- let [updatedEnv1, partialNode1] = peval_1.partialEval(initialEnvironment, SimpleCoreExample.branchExample);
25
- lambdaAST = peval_2.flatten(unLambdalize_1.unLambdalize(lambdalize_1.lambdalize(partialNode1)));
26
- PartialPrint.printNode(peval_2.flatten(partialNode1));
27
- console.log("--------------------------------");
28
- PartialPrint.printNode(lambdaAST);
29
- console.log("---------------Loop Example--------------");
30
- let [updatedEnv2, partialNode2] = peval_1.partialEval(initialEnvironment, SimpleCoreExample.loopExample);
31
- lambdaAST = peval_2.flatten(unLambdalize_1.unLambdalize(lambdalize_1.lambdalize(partialNode2)));
32
- PartialPrint.printNode(peval_2.flatten(partialNode2));
33
- console.log("--------------------------------");
34
- PartialPrint.printNode(lambdaAST);
35
- //# sourceMappingURL=unLambdalize.test.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"unLambdalize.test.js","sourceRoot":"","sources":["../../../test/lambdalize/unLambdalize.test.ts"],"names":[],"mappings":";;;;;;;;;AAAA,uDAA0D;AAC1D,yEAA2D;AAC3D,gEAA6D;AAC7D,oEAAiE;AACjE,sEAAwD;AACxD,uDAAsD;AAEtD,kCAAkC;AAClC,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAe,CAAC;AAClD,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,GAAG,mBAAW,CAAC,kBAAkB,EAAE,iBAAiB,CAAC,iBAAiB,CAAC,CAAC;AACrG,IAAI,SAAS,GAAG,eAAO,CAAC,2BAAY,CAAC,uBAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;AAC/D,YAAY,CAAC,SAAS,CAAC,eAAO,CAAC,WAAW,CAAC,CAAC,CAAC;AAC7C,OAAO,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;AAChD,YAAY,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;AAElC,OAAO,CAAC,GAAG,CAAC,6CAA6C,CAAC,CAAA;AAC1D,IAAI,CAAC,WAAW,EAAE,YAAY,CAAC,GAAG,mBAAW,CAAC,kBAAkB,EAAE,iBAAiB,CAAC,aAAa,CAAC,CAAC;AACnG,SAAS,GAAG,eAAO,CAAC,2BAAY,CAAC,uBAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;AAC5D,YAAY,CAAC,SAAS,CAAC,eAAO,CAAC,YAAY,CAAC,CAAC,CAAC;AAC9C,OAAO,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;AAChD,YAAY,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;AAGlC,OAAO,CAAC,GAAG,CAAC,2CAA2C,CAAC,CAAA;AACxD,IAAI,CAAC,WAAW,EAAE,YAAY,CAAC,GAAG,mBAAW,CAAC,kBAAkB,EAAE,iBAAiB,CAAC,WAAW,CAAC,CAAC;AACjG,SAAS,GAAG,eAAO,CAAC,2BAAY,CAAC,uBAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;AAC5D,YAAY,CAAC,SAAS,CAAC,eAAO,CAAC,YAAY,CAAC,CAAC,CAAC;AAC9C,OAAO,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;AAChD,YAAY,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC"}
@@ -1 +0,0 @@
1
- export {};
@@ -1,35 +0,0 @@
1
- "use strict";
2
- var __importStar = (this && this.__importStar) || function (mod) {
3
- if (mod && mod.__esModule) return mod;
4
- var result = {};
5
- if (mod != null) for (var k in mod) if (Object.hasOwnProperty.call(mod, k)) result[k] = mod[k];
6
- result["default"] = mod;
7
- return result;
8
- };
9
- Object.defineProperty(exports, "__esModule", { value: true });
10
- const Print = __importStar(require("../../src/partial/Print"));
11
- // Example test cases
12
- const testConstNode = {
13
- type: 'const',
14
- value: "42"
15
- };
16
- const testDeclareNode = {
17
- type: 'declare',
18
- name: { type: "variable", name: 'x' },
19
- value: [{ type: 'constant', value: '5' }, 5]
20
- };
21
- const testSeqNode = {
22
- type: 'seq',
23
- nodes: [
24
- testConstNode,
25
- testDeclareNode
26
- ]
27
- };
28
- // Run tests
29
- console.log('Testing ConstNode:');
30
- Print.printNode(testConstNode);
31
- console.log('Testing DeclareNode:');
32
- Print.printNode(testDeclareNode);
33
- console.log('Testing SeqNode:');
34
- Print.printNode(testSeqNode);
35
- //# sourceMappingURL=partial.test.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"partial.test.js","sourceRoot":"","sources":["../../../test/partial/partial.test.ts"],"names":[],"mappings":";;;;;;;;;AACA,+DAAgD;AAEhD,qBAAqB;AACrB,MAAM,aAAa,GAAc;IAC7B,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,IAAI;CACd,CAAC;AAEF,MAAM,eAAe,GAAgB;IACjC,IAAI,EAAE,SAAS;IACf,IAAI,EAAE,EAAC,IAAI,EAAC,UAAU,EAAE,IAAI,EAAC,GAAG,EAAC;IACjC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;CAC/C,CAAC;AAEF,MAAM,WAAW,GAAY;IACzB,IAAI,EAAE,KAAK;IACX,KAAK,EAAE;QACH,aAAa;QACb,eAAe;KAClB;CACJ,CAAC;AAEF,YAAY;AACZ,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC;AAClC,KAAK,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;AAC/B,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;AACpC,KAAK,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;AACjC,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;AAChC,KAAK,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC"}
@@ -1 +0,0 @@
1
- export {};
@@ -1,29 +0,0 @@
1
- "use strict";
2
- var __importStar = (this && this.__importStar) || function (mod) {
3
- if (mod && mod.__esModule) return mod;
4
- var result = {};
5
- if (mod != null) for (var k in mod) if (Object.hasOwnProperty.call(mod, k)) result[k] = mod[k];
6
- result["default"] = mod;
7
- return result;
8
- };
9
- Object.defineProperty(exports, "__esModule", { value: true });
10
- const peval_1 = require("../../src/partialEval/peval");
11
- const SimpleCoreExample = __importStar(require("../core/0.simple.test"));
12
- const Print_1 = require("../../src/partial/Print");
13
- // Example usage:
14
- // Define your initial environment
15
- const initialEnvironment = new Map();
16
- // Example AST node from CoreAST to partially evaluate
17
- const coreNode = {
18
- type: 'const',
19
- value: '42'
20
- };
21
- // Perform partial evaluation
22
- // const [updatedEnv, partialNode] = partialEval(initialEnvironment, coreNode);
23
- // console.log(partialNode); // Output the partially evaluated node
24
- const [updatedEnv, partialNode] = peval_1.partialEval(initialEnvironment, SimpleCoreExample.assignmentExample);
25
- // const [updatedEnv, partialNode] = partialEval(initialEnvironment, SimpleCoreExample.branchExample);
26
- // const [updatedEnv, partialNode] = partialEval(initialEnvironment, SimpleCoreExample.loopExample);
27
- // console.log(partialNode);
28
- Print_1.printNode(partialNode);
29
- //# sourceMappingURL=peval.test.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"peval.test.js","sourceRoot":"","sources":["../../../test/partialEval/peval.test.ts"],"names":[],"mappings":";;;;;;;;;AAEA,uDAA0D;AAE1D,yEAA2D;AAC3D,mDAAoD;AAEpD,iBAAiB;AACjB,kCAAkC;AAClC,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAe,CAAC;AAElD,sDAAsD;AACtD,MAAM,QAAQ,GAAqB;IAC/B,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,IAAI;CACd,CAAC;AAEF,6BAA6B;AAC7B,+EAA+E;AAC/E,mEAAmE;AAEnE,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,GAAG,mBAAW,CAAC,kBAAkB,EAAE,iBAAiB,CAAC,iBAAiB,CAAC,CAAC;AACvG,sGAAsG;AACtG,oGAAoG;AACpG,4BAA4B;AAC5B,iBAAS,CAAC,WAAW,CAAC,CAAC"}
@@ -1 +0,0 @@
1
- export {};
@@ -1,40 +0,0 @@
1
- "use strict";
2
- var __importStar = (this && this.__importStar) || function (mod) {
3
- if (mod && mod.__esModule) return mod;
4
- var result = {};
5
- if (mod != null) for (var k in mod) if (Object.hasOwnProperty.call(mod, k)) result[k] = mod[k];
6
- result["default"] = mod;
7
- return result;
8
- };
9
- Object.defineProperty(exports, "__esModule", { value: true });
10
- const peval_1 = require("../../src/partialEval/peval");
11
- const unpeval_1 = require("../../src/partialEval/unpeval");
12
- const SimpleCoreExample = __importStar(require("../core/0.simple.test"));
13
- const Print = __importStar(require("../../src/core/Print"));
14
- // Example usage:
15
- // Define your initial environment
16
- const initialEnvironment = new Map();
17
- // Example AST node from CoreAST to partially evaluate
18
- const coreNode = {
19
- type: 'const',
20
- value: '42'
21
- };
22
- // Perform partial evaluation
23
- // const [updatedEnv, partialNode] = partialEval(initialEnvironment, coreNode);
24
- // console.log(partialNode); // Output the partially evaluated node
25
- console.log("---------------1. Assign Example------------------------");
26
- const [updatedEnv, partialNode] = peval_1.partialEval(initialEnvironment, SimpleCoreExample.assignmentExample);
27
- let ast = unpeval_1.flatten(unpeval_1.unPartialEval(partialNode));
28
- Print.printAST(SimpleCoreExample.assignmentExample);
29
- console.log("-------------------");
30
- Print.printAST(ast);
31
- console.log("---------------2. Branch Example------------------------");
32
- const [updatedEnv2, partialNode2] = peval_1.partialEval(initialEnvironment, SimpleCoreExample.branchExample);
33
- ast = unpeval_1.flatten(unpeval_1.unPartialEval(partialNode2));
34
- Print.printAST(SimpleCoreExample.branchExample);
35
- console.log("-------------------");
36
- Print.printAST(ast);
37
- // const [updatedEnv, partialNode] = partialEval(initialEnvironment, SimpleCoreExample.loopExample);
38
- // console.log(partialNode);
39
- // printNode(partialNode);
40
- //# sourceMappingURL=unPeval.test.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"unPeval.test.js","sourceRoot":"","sources":["../../../test/partialEval/unPeval.test.ts"],"names":[],"mappings":";;;;;;;;;AAEA,uDAA0D;AAC1D,2DAAqE;AAErE,yEAA2D;AAE3D,4DAA8C;AAE9C,iBAAiB;AACjB,kCAAkC;AAClC,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAe,CAAC;AAElD,sDAAsD;AACtD,MAAM,QAAQ,GAAqB;IAC/B,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,IAAI;CACd,CAAC;AAEF,6BAA6B;AAC7B,+EAA+E;AAC/E,mEAAmE;AAEnE,OAAO,CAAC,GAAG,CAAC,0DAA0D,CAAC,CAAA;AACvE,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,GAAG,mBAAW,CAAC,kBAAkB,EAAE,iBAAiB,CAAC,iBAAiB,CAAC,CAAC;AACvG,IAAI,GAAG,GAAG,iBAAO,CAAC,uBAAa,CAAC,WAAW,CAAC,CAAC,CAAC;AAC9C,KAAK,CAAC,QAAQ,CAAC,iBAAiB,CAAC,iBAAiB,CAAC,CAAC;AACpD,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;AACnC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;AAEpB,OAAO,CAAC,GAAG,CAAC,0DAA0D,CAAC,CAAA;AACvE,MAAM,CAAC,WAAW,EAAE,YAAY,CAAC,GAAG,mBAAW,CAAC,kBAAkB,EAAE,iBAAiB,CAAC,aAAa,CAAC,CAAC;AACrG,GAAG,GAAG,iBAAO,CAAC,uBAAa,CAAC,YAAY,CAAC,CAAC,CAAC;AAC3C,KAAK,CAAC,QAAQ,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC;AAChD,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;AACnC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;AAEpB,oGAAoG;AACpG,4BAA4B;AAC5B,0BAA0B"}
@@ -1 +0,0 @@
1
- export {};
@@ -1,41 +0,0 @@
1
- "use strict";
2
- var __importStar = (this && this.__importStar) || function (mod) {
3
- if (mod && mod.__esModule) return mod;
4
- var result = {};
5
- if (mod != null) for (var k in mod) if (Object.hasOwnProperty.call(mod, k)) result[k] = mod[k];
6
- result["default"] = mod;
7
- return result;
8
- };
9
- Object.defineProperty(exports, "__esModule", { value: true });
10
- const Parser = __importStar(require("../../src/surface/Parser"));
11
- // Example usage
12
- // const exampleInput = `
13
- // Some literal text
14
- // «VAR v = 0»
15
- // More literal text
16
- // «FOR item IN lst SEPARATOR "," FRONT "[" REAR "]"» «item» «ENDFOR»
17
- // End literal text
18
- // «no = no + 1»
19
- // `;
20
- // const exampleInput = `
21
- // «var paragraphs = ![{head:"Hello", text:"Hello!"}, {head:"Farewell", text:"Good Bye!"}] »
22
- // <html>
23
- // <body>
24
- // «var no = 0»
25
- // «for p in paragraphs separator "," front "[" rear "]"»
26
- // «no = no + 1»
27
- // <h1>«no».«p.head.toUpperCase»</h1>
28
- // <p>
29
- // «p.text»
30
- // </p>
31
- // «endfor»
32
- // </body>
33
- // </html>
34
- // `;
35
- const exampleInput = `«VAR no = 0»
36
- Before: «v»
37
- «no=no+1»
38
- After: «no»`;
39
- const parsedFragment = Parser.parse(exampleInput);
40
- console.log(JSON.stringify(parsedFragment, null, 2));
41
- //# sourceMappingURL=AST.test.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"AST.test.js","sourceRoot":"","sources":["../../../test/surface/AST.test.ts"],"names":[],"mappings":";;;;;;;;;AAAA,iEAAmD;AACnD,gBAAgB;AAChB,yBAAyB;AACzB,wBAAwB;AACxB,kBAAkB;AAClB,wBAAwB;AACxB,yEAAyE;AACzE,uBAAuB;AACvB,oBAAoB;AACpB,KAAK;AAEL,yBAAyB;AACzB,4FAA4F;AAC5F,SAAS;AACT,aAAa;AACb,qBAAqB;AACrB,+DAA+D;AAC/D,0BAA0B;AAC1B,+CAA+C;AAC/C,cAAc;AACd,qBAAqB;AACrB,eAAe;AACf,iBAAiB;AACjB,cAAc;AACd,UAAU;AACV,KAAK;AAEL,MAAM,YAAY,GAClB;;;YAGY,CAAC;AAEb,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;AAClD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC"}
@@ -1 +0,0 @@
1
- export {};
@@ -1,45 +0,0 @@
1
- "use strict";
2
- var __importStar = (this && this.__importStar) || function (mod) {
3
- if (mod && mod.__esModule) return mod;
4
- var result = {};
5
- if (mod != null) for (var k in mod) if (Object.hasOwnProperty.call(mod, k)) result[k] = mod[k];
6
- result["default"] = mod;
7
- return result;
8
- };
9
- Object.defineProperty(exports, "__esModule", { value: true });
10
- const Parser = __importStar(require("../../src/surface/Parser"));
11
- const Translator = __importStar(require("../../src/translate/Translate"));
12
- const CorePrint = __importStar(require("../../src/core/Print"));
13
- // Example usage
14
- // const exampleInput = `
15
- // Some literal text
16
- // «VAR v = 0»
17
- // More literal text
18
- // «FOR item IN lst SEPARATOR "," FRONT "[" REAR "]"» «item» «ENDFOR»
19
- // End literal text
20
- // «no = no + 1»
21
- // `;
22
- // const exampleInput = `
23
- // «var paragraphs = ![{head:"Hello", text:"Hello!"}, {head:"Farewell", text:"Good Bye!"}] »
24
- // <html>
25
- // <body>
26
- // «var no = 0»
27
- // «for p in paragraphs separator "," front "[" rear "]"»
28
- // «no = no + 1»
29
- // <h1>«no».«p.head.toUpperCase»</h1>
30
- // <p>
31
- // «p.text»
32
- // </p>
33
- // «endfor»
34
- // </body>
35
- // </html>
36
- // `;
37
- const exampleInput = `«VAR no = 0»
38
- Before: «v»
39
- «no = no + 1»
40
- After: «no»`;
41
- const parsedFragment = Parser.parse(exampleInput);
42
- console.log(JSON.stringify(parsedFragment, null, 2));
43
- const core = Translator.translate(parsedFragment);
44
- CorePrint.printAST(core);
45
- //# sourceMappingURL=translate.test.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"translate.test.js","sourceRoot":"","sources":["../../../test/translate/translate.test.ts"],"names":[],"mappings":";;;;;;;;;AAAA,iEAAmD;AACnD,0EAA4D;AAC5D,gEAAkD;AAElD,gBAAgB;AAChB,yBAAyB;AACzB,wBAAwB;AACxB,kBAAkB;AAClB,wBAAwB;AACxB,yEAAyE;AACzE,uBAAuB;AACvB,oBAAoB;AACpB,KAAK;AAEL,yBAAyB;AACzB,4FAA4F;AAC5F,SAAS;AACT,aAAa;AACb,qBAAqB;AACrB,+DAA+D;AAC/D,0BAA0B;AAC1B,+CAA+C;AAC/C,cAAc;AACd,qBAAqB;AACrB,eAAe;AACf,iBAAiB;AACjB,cAAc;AACd,UAAU;AACV,KAAK;AAEL,MAAM,YAAY,GAClB;;;YAGY,CAAC;AAEb,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;AAClD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;AACrD,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;AAClD,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC"}