[CS4215] T2 Partial Evaluator for Source 1

src/partial-evaluators/_tests_/source-4.arithmetictest.js

@@ -0,0 +1,14 @@
+let to_partialize = partial_evaluation(parse("\
+function test(x, y, z, w) { \
+    return (3 + x) * (y + w) - 2 * w * x - x * y;\
+}\
+"), list(), list());
+
+let partialized = partial_evaluation(parse("\
+function test(x, y, z, w) { \
+    return 3 * y + 3 * w - x * w;\
+}"), list(), list());
+
+equal(to_partialize, partialized);
+\\true
+

src/partial-evaluators/_tests_/source-4.bindtest.js

@@ -0,0 +1,14 @@
+let to_partialize = partial_evaluation(parse("\
+function test(x, y, z, w) { \
+    return a; \
+} \
+"), list("a"), list(1));
+
+let partialized = partial_evaluation(parse("\
+function test(x, y, z, w) { \
+return 1;\
+}"), list(), list());
+
+equal(to_partialize, partialized);
+\\true
+

src/partial-evaluators/_tests_/source-4.conditionaltest.js

@@ -0,0 +1,26 @@
+let to_partialize = partial_evaluation(parse("\
+function test(x, y, z, w) { \
+    let t = x; \
+    if (a + 1 === t) { \
+        return 2 * (2 * t + y) + 2 * a; \
+    } else { \
+        return 3 * (t +  2 * y) + a; \
+    } \
+}\
+"), list("a"), list(3));
+
+
+let partialized = partial_evaluation(parse("\
+function test(x, y, z, w) { \
+    let t = x; \
+    if (4 === t) { \
+        return 4 * t + 2 * y + 6; \
+    } else { \
+        return 3 * t + 6 * y + 3; \
+    } \
+}\
+"), list(), list());
+
+equal(to_partialize, partialized);
+\\true
+

src/partial-evaluators/_tests_/source-4.mixtest.js

@@ -0,0 +1,24 @@
+let to_partialize = partial_evaluation(parse("\
+function test(x, y, z, w) { \
+    if (((x * (1 / 4) === x - (3 / 4) * x) ? y : x) <= y) {\
+        if (x * 2 < x + x) {\
+            return false;\
+        } else {\
+            return (x / a) / (1 / ((3 + b * ((w - w / 2 === w / 2) ? 2 * x - x : y) - ((true) ? 2 : 1) === x * b + 1) ? a : 3));\
+        }\
+    } else {\
+        return (2 * x / 5) - (x / 5);\
+    }\
+}\
+"), list("a"), list(5));
+
+
+let partialized = partial_evaluation(parse("\
+function test(x, y, z, w) { \
+    return x;\
+}\
+"), list(), list());
+
+equal(to_partialize, partialized);
+\\true
+