bit2 0.0.2 → 0.0.4

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 (121) hide show
  1. package/README.md +5 -0
  2. package/dist/src/common/Exp.d.ts +3 -3
  3. package/dist/src/core/AST.d.ts +1 -1
  4. package/dist/src/fuse/Update.d.ts +1 -1
  5. package/dist/src/lambda/AST.d.ts +2 -2
  6. package/dist/src/partial/AST.d.ts +5 -4
  7. package/dist/src/surface/AST.d.ts +4 -4
  8. package/package.json +8 -4
  9. package/dist/bit2.js +0 -1
  10. package/dist/src/bx/biEval.js +0 -59
  11. package/dist/src/bx/biEval.js.map +0 -1
  12. package/dist/src/common/Exp.js +0 -44
  13. package/dist/src/common/Exp.js.map +0 -1
  14. package/dist/src/common/PrettyPrint.js +0 -32
  15. package/dist/src/common/PrettyPrint.js.map +0 -1
  16. package/dist/src/common/Print.js +0 -73
  17. package/dist/src/common/Print.js.map +0 -1
  18. package/dist/src/core/AST.js +0 -47
  19. package/dist/src/core/AST.js.map +0 -1
  20. package/dist/src/core/PrettyPrint.js +0 -64
  21. package/dist/src/core/PrettyPrint.js.map +0 -1
  22. package/dist/src/core/Print.js +0 -77
  23. package/dist/src/core/Print.js.map +0 -1
  24. package/dist/src/fuse/Fuse.js +0 -1436
  25. package/dist/src/fuse/Fuse.js.map +0 -1
  26. package/dist/src/fuse/Print.js +0 -22
  27. package/dist/src/fuse/Print.js.map +0 -1
  28. package/dist/src/fuse/Update.js +0 -3
  29. package/dist/src/fuse/Update.js.map +0 -1
  30. package/dist/src/lambda/AST.js +0 -3
  31. package/dist/src/lambda/AST.js.map +0 -1
  32. package/dist/src/lambda/Evaluation.js +0 -98
  33. package/dist/src/lambda/Evaluation.js.map +0 -1
  34. package/dist/src/lambda/Print.js +0 -31
  35. package/dist/src/lambda/Print.js.map +0 -1
  36. package/dist/src/lambdalize/lambdalize.js +0 -94
  37. package/dist/src/lambdalize/lambdalize.js.map +0 -1
  38. package/dist/src/lambdalize/unLambdalize.js +0 -59
  39. package/dist/src/lambdalize/unLambdalize.js.map +0 -1
  40. package/dist/src/partial/AST.js +0 -3
  41. package/dist/src/partial/AST.js.map +0 -1
  42. package/dist/src/partial/Print.js +0 -93
  43. package/dist/src/partial/Print.js.map +0 -1
  44. package/dist/src/partialEval/peval.js +0 -322
  45. package/dist/src/partialEval/peval.js.map +0 -1
  46. package/dist/src/partialEval/unpeval.js +0 -360
  47. package/dist/src/partialEval/unpeval.js.map +0 -1
  48. package/dist/src/surface/AST.js +0 -3
  49. package/dist/src/surface/AST.js.map +0 -1
  50. package/dist/src/surface/Parser.js +0 -314
  51. package/dist/src/surface/Parser.js.map +0 -1
  52. package/dist/src/translate/Translate.js +0 -91
  53. package/dist/src/translate/Translate.js.map +0 -1
  54. package/dist/src/utils/Utils.js +0 -7
  55. package/dist/src/utils/Utils.js.map +0 -1
  56. package/dist/test/bx/biEval.test.d.ts +0 -1
  57. package/dist/test/bx/biEval.test.js +0 -41
  58. package/dist/test/bx/biEval.test.js.map +0 -1
  59. package/dist/test/bx/test.d.ts +0 -1
  60. package/dist/test/bx/test.js +0 -29
  61. package/dist/test/bx/test.js.map +0 -1
  62. package/dist/test/core/0.simple.test.d.ts +0 -4
  63. package/dist/test/core/0.simple.test.js +0 -68
  64. package/dist/test/core/0.simple.test.js.map +0 -1
  65. package/dist/test/core/1.core.test.d.ts +0 -2
  66. package/dist/test/core/1.core.test.js +0 -30
  67. package/dist/test/core/1.core.test.js.map +0 -1
  68. package/dist/test/core/core.test.d.ts +0 -1
  69. package/dist/test/core/core.test.js +0 -28
  70. package/dist/test/core/core.test.js.map +0 -1
  71. package/dist/test/fuse/branchnop.test.d.ts +0 -1
  72. package/dist/test/fuse/branchnop.test.js +0 -47
  73. package/dist/test/fuse/branchnop.test.js.map +0 -1
  74. package/dist/test/fuse/bulk.test.d.ts +0 -1
  75. package/dist/test/fuse/bulk.test.js +0 -111
  76. package/dist/test/fuse/bulk.test.js.map +0 -1
  77. package/dist/test/fuse/const.test.d.ts +0 -1
  78. package/dist/test/fuse/const.test.js +0 -118
  79. package/dist/test/fuse/const.test.js.map +0 -1
  80. package/dist/test/fuse/exp.test.d.ts +0 -1
  81. package/dist/test/fuse/exp.test.js +0 -225
  82. package/dist/test/fuse/exp.test.js.map +0 -1
  83. package/dist/test/fuse/lambda.test.d.ts +0 -1
  84. package/dist/test/fuse/lambda.test.js +0 -139
  85. package/dist/test/fuse/lambda.test.js.map +0 -1
  86. package/dist/test/fuse/loop.test.d.ts +0 -1
  87. package/dist/test/fuse/loop.test.js +0 -39
  88. package/dist/test/fuse/loop.test.js.map +0 -1
  89. package/dist/test/fuse/seq.test.d.ts +0 -1
  90. package/dist/test/fuse/seq.test.js +0 -64
  91. package/dist/test/fuse/seq.test.js.map +0 -1
  92. package/dist/test/fuse/space.test.d.ts +0 -1
  93. package/dist/test/fuse/space.test.js +0 -136
  94. package/dist/test/fuse/space.test.js.map +0 -1
  95. package/dist/test/lambda/evaluation.test.d.ts +0 -1
  96. package/dist/test/lambda/evaluation.test.js +0 -24
  97. package/dist/test/lambda/evaluation.test.js.map +0 -1
  98. package/dist/test/lambda/lambda.test.d.ts +0 -1
  99. package/dist/test/lambda/lambda.test.js +0 -45
  100. package/dist/test/lambda/lambda.test.js.map +0 -1
  101. package/dist/test/lambdalize/lambdalize.test.d.ts +0 -1
  102. package/dist/test/lambdalize/lambdalize.test.js +0 -23
  103. package/dist/test/lambdalize/lambdalize.test.js.map +0 -1
  104. package/dist/test/lambdalize/unLambdalize.test.d.ts +0 -1
  105. package/dist/test/lambdalize/unLambdalize.test.js +0 -35
  106. package/dist/test/lambdalize/unLambdalize.test.js.map +0 -1
  107. package/dist/test/partial/partial.test.d.ts +0 -1
  108. package/dist/test/partial/partial.test.js +0 -35
  109. package/dist/test/partial/partial.test.js.map +0 -1
  110. package/dist/test/partialEval/peval.test.d.ts +0 -1
  111. package/dist/test/partialEval/peval.test.js +0 -29
  112. package/dist/test/partialEval/peval.test.js.map +0 -1
  113. package/dist/test/partialEval/unPeval.test.d.ts +0 -1
  114. package/dist/test/partialEval/unPeval.test.js +0 -40
  115. package/dist/test/partialEval/unPeval.test.js.map +0 -1
  116. package/dist/test/surface/AST.test.d.ts +0 -1
  117. package/dist/test/surface/AST.test.js +0 -41
  118. package/dist/test/surface/AST.test.js.map +0 -1
  119. package/dist/test/translate/translate.test.d.ts +0 -1
  120. package/dist/test/translate/translate.test.js +0 -45
  121. package/dist/test/translate/translate.test.js.map +0 -1
@@ -1,77 +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("../common/Print"));
11
- // 测试函数,递归打印AST节点
12
- function printAST(node, indent = '') {
13
- switch (node.type) {
14
- case 'const':
15
- console.log(`${indent}Const: ${node.value}`);
16
- break;
17
- case 'space':
18
- console.log(`${indent}Space: ${node.width}`);
19
- break;
20
- case 'declare':
21
- console.log(`${indent}Declare: ${node.name.name} =`);
22
- Print.printExpression(node.value, indent + ' ');
23
- break;
24
- case 'assign':
25
- console.log(`${indent}Assign: ${node.name.name} =`);
26
- Print.printExpression(node.value, indent + ' ');
27
- break;
28
- case 'exp':
29
- console.log(`${indent}Exp:`);
30
- Print.printExpression(node.expression, indent + ' ');
31
- break;
32
- case 'seq':
33
- console.log(`${indent}Seq:`);
34
- node.nodes.forEach(n => printAST(n, indent + ' '));
35
- break;
36
- case 'ite':
37
- console.log(`${indent}If-Then-Else: if`);
38
- Print.printExpression(node.condition, indent + ' ');
39
- console.log(`${indent}Then:`);
40
- printAST(node.trueBranch, indent + ' ');
41
- console.log(`${indent}Else:`);
42
- printAST(node.falseBranch, indent + ' ');
43
- break;
44
- case 'loop':
45
- console.log(`${indent}Loop:`);
46
- Print.printExpression(node.lst, indent + ' ');
47
- console.log(`${indent}Separator: ${node.separator.value}`);
48
- console.log(`${indent}Front: ${node.front.value}`);
49
- console.log(`${indent}Rear: ${node.rear.value}`);
50
- printLambda(node.body, indent + ' ');
51
- break;
52
- case 'call':
53
- console.log(`${indent}Call:`);
54
- printAST(node.func, indent + ' ');
55
- Object.keys(node.args).forEach(arg => {
56
- console.log(`${indent} ${arg} =`);
57
- Print.printExpression(node.args[arg], indent + ' ');
58
- });
59
- break;
60
- case 'nop':
61
- console.log(`${indent}Nop`);
62
- break;
63
- case 'bot':
64
- console.log(`${indent}Bot`);
65
- break;
66
- case 'end':
67
- console.log(`${indent}End`);
68
- break;
69
- }
70
- }
71
- exports.printAST = printAST;
72
- function printLambda(lambda, indent = '') {
73
- console.log(`${indent}Lambda: ${lambda.variable.name}`);
74
- printAST(lambda.body, indent + ' ');
75
- }
76
- exports.printLambda = printLambda;
77
- //# sourceMappingURL=Print.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"Print.js","sourceRoot":"","sources":["../../../src/core/Print.ts"],"names":[],"mappings":";;;;;;;;;AACA,uDAAyC;AAEzC,iBAAiB;AACjB,SAAgB,QAAQ,CAAC,IAAc,EAAE,SAAiB,EAAE;IAC1D,QAAQ,IAAI,CAAC,IAAI,EAAE;QACf,KAAK,OAAO;YACR,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,UAAU,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;YAC7C,MAAM;QACV,KAAK,OAAO;YACR,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,UAAU,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;YAC7C,MAAM;QACV,KAAK,SAAS;YACV,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,YAAY,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC;YACrD,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;YACjD,MAAM;QACV,KAAK,QAAQ;YACT,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,WAAW,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC;YACpD,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;YACjD,MAAM;QACV,KAAK,KAAK;YACN,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,MAAM,CAAC,CAAC;YAC7B,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;YACtD,MAAM;QACV,KAAK,KAAK;YACN,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,MAAM,CAAC,CAAC;YAC7B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC;YACpD,MAAM;QACV,KAAK,KAAK;YACN,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,kBAAkB,CAAC,CAAC;YACzC,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;YACrD,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,OAAO,CAAC,CAAC;YAC9B,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;YACzC,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,OAAO,CAAC,CAAC;YAC9B,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;YAC1C,MAAM;QACV,KAAK,MAAM;YACP,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,OAAO,CAAC,CAAC;YAC9B,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;YAC/C,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,cAAc,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC;YAC3D,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,UAAU,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;YACnD,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,SAAS,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;YACjD,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;YACtC,MAAM;QACV,KAAK,MAAM;YACP,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,OAAO,CAAC,CAAC;YAC9B,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;YACnC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;gBACjC,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC;gBACnC,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC,CAAC;YAC3D,CAAC,CAAC,CAAC;YACH,MAAM;QACV,KAAK,KAAK;YACN,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,KAAK,CAAC,CAAC;YAC5B,MAAM;QACV,KAAK,KAAK;YACN,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,KAAK,CAAC,CAAC;YAC5B,MAAM;QACV,KAAK,KAAK;YACN,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,KAAK,CAAC,CAAC;YAC5B,MAAM;KACb;AACH,CAAC;AA1DD,4BA0DC;AAGD,SAAgB,WAAW,CAAC,MAAc,EAAE,SAAiB,EAAE;IAC7D,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,WAAW,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACxD,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;AACvC,CAAC;AAHD,kCAGC"}