Add more comprehensive tests

polybuildr · polybuildr · commit 74fd840b84a2 · 2017-05-19T16:22:59.000+03:00
Not all the way there yet, but definitely much better than before and now at a reasonably good stage. Close #28.
diff --git a/tests/run-fail/arg-len.bl b/tests/run-fail/arg-len.bl
@@ -0,0 +1,2 @@
+fn foo(x) {}
+foo();
diff --git a/tests/run-fail/arg-len.err b/tests/run-fail/arg-len.err
@@ -0,0 +1 @@
+(ArgumentLength(Some("foo")), (13, 18))
diff --git a/tests/run-fail/break-outside-loop.bl b/tests/run-fail/break-outside-loop.bl
@@ -0,0 +1,3 @@
+{
+    break;
+}
diff --git a/tests/run-fail/break-outside-loop.err b/tests/run-fail/break-outside-loop.err
@@ -0,0 +1 @@
+(BreakOutsideLoop, (6, 12))
diff --git a/tests/run-fail/break-return-outside.bl b/tests/run-fail/break-return-outside.bl
@@ -0,0 +1,5 @@
+fn test() {
+    break;
+}
+
+return 5;
diff --git a/tests/run-fail/break-return-outside.err b/tests/run-fail/break-return-outside.err
@@ -0,0 +1 @@
+(ReturnOutsideFunction, (26, 35))
diff --git a/tests/run-fail/call-non-function.bl b/tests/run-fail/call-non-function.bl
@@ -0,0 +1,2 @@
+var f = 5;
+f();
diff --git a/tests/run-fail/call-non-function.err b/tests/run-fail/call-non-function.err
@@ -0,0 +1 @@
+(CallToNonFunction(Some("f"), Number), (11, 12))
diff --git a/tests/run-fail/continue-outside-loop.bl b/tests/run-fail/continue-outside-loop.bl
@@ -0,0 +1,3 @@
+{
+    continue;
+}
diff --git a/tests/run-fail/continue-outside-loop.err b/tests/run-fail/continue-outside-loop.err
@@ -0,0 +1 @@
+(ContinueOutsideLoop, (6, 15))
diff --git a/tests/run-fail/index-out-of-bounds.bl b/tests/run-fail/index-out-of-bounds.bl
@@ -0,0 +1 @@
+(1, 2)[10];
diff --git a/tests/run-fail/index-out-of-bounds.err b/tests/run-fail/index-out-of-bounds.err
@@ -0,0 +1 @@
+(IndexOutOfBounds(10), (0, 10))
diff --git a/tests/run-fail/non-integral-num-subscript.bl b/tests/run-fail/non-integral-num-subscript.bl
@@ -0,0 +1 @@
+(1, 2, 3)[1.1];
diff --git a/tests/run-fail/non-integral-num-subscript.err b/tests/run-fail/non-integral-num-subscript.err
@@ -0,0 +1 @@
+(NonIntegralSubscript(Number), (10, 13))
diff --git a/tests/run-fail/none-error.bl b/tests/run-fail/none-error.bl
@@ -0,0 +1 @@
+1 + println();
diff --git a/tests/run-fail/none-error.err b/tests/run-fail/none-error.err
@@ -0,0 +1 @@
+(NoneError(Some("println")), (4, 13))
diff --git a/tests/run-fail/subscript-on-non-subcriptable.bl b/tests/run-fail/subscript-on-non-subcriptable.bl
@@ -0,0 +1,2 @@
+var x = 5;
+x[1];
diff --git a/tests/run-fail/subscript-on-non-subcriptable.err b/tests/run-fail/subscript-on-non-subcriptable.err
@@ -0,0 +1 @@
+(SubscriptOnNonSubscriptable(Number), (11, 12))
diff --git a/tests/run-pass/closures.bl b/tests/run-pass/closures.bl
@@ -0,0 +1,12 @@
+fn foo(thing) {
+    fn bar() {
+        return thing + 1;
+    }
+    thing = thing + 1;
+    var x = bar();
+    thing = thing + 1;
+    var y = bar();
+    return (x, y);
+}
+
+assert_eq(foo(5), (7, 8));
diff --git a/tests/run-pass/fib.bl b/tests/run-pass/fib.bl
@@ -0,0 +1,11 @@
+fn fib(n) {
+    if n < 2 {
+        return 0;
+    }
+    if n == 2 {
+        return 1;
+    }
+    return fib(n - 1) + fib(n - 2);
+}
+
+assert_eq(fib(12), 89);
diff --git a/tests/run-pass/mutual-recurse.bs b/tests/run-pass/mutual-recurse.bs
@@ -0,0 +1,15 @@
+fn f1(n) {
+    if n > 0 {
+        return f2(n - 1);
+    }
+    return 0;
+}
+
+fn f2(n) {
+    if n > 0 {
+        return f1(n - 1);
+    }
+    return -1;
+}
+
+assert_eq(f1(11), -1);
diff --git a/tests/typecheck-fail/arg-len.bl b/tests/typecheck-fail/arg-len.bl
@@ -0,0 +1,8 @@
+fn foo() {}
+foo(1);
+foo(1, 2);
+
+fn bar(x, y) {}
+bar();
+bar(1);
+bar(1, 2, 3);
diff --git a/tests/typecheck-fail/arg-len.err b/tests/typecheck-fail/arg-len.err
@@ -0,0 +1 @@
+[(RuntimeError(ArgumentLength(Some("foo"))), (12, 18)), (RuntimeError(ArgumentLength(Some("foo"))), (20, 29)), (RuntimeError(ArgumentLength(Some("bar"))), (48, 53)), (RuntimeError(ArgumentLength(Some("bar"))), (55, 61)), (RuntimeError(ArgumentLength(Some("bar"))), (63, 75))]
diff --git a/tests/typecheck-fail/call-non-function.bl b/tests/typecheck-fail/call-non-function.bl
@@ -0,0 +1,2 @@
+var f = 5;
+f();
diff --git a/tests/typecheck-fail/call-non-function.err b/tests/typecheck-fail/call-non-function.err
@@ -0,0 +1 @@
+[(RuntimeError(CallToNonFunction(Some("f"), Number)), (11, 14))]
diff --git a/tests/typecheck-fail/continue-outside-loop.bl b/tests/typecheck-fail/continue-outside-loop.bl
@@ -0,0 +1,3 @@
+{
+    continue;
+}
diff --git a/tests/typecheck-fail/continue-outside-loop.err b/tests/typecheck-fail/continue-outside-loop.err
@@ -0,0 +1 @@
+[(RuntimeError(ContinueOutsideLoop), (6, 15))]
diff --git a/tests/typecheck-fail/flow-test.bl b/tests/typecheck-fail/flow-test.bl
@@ -0,0 +1,5 @@
+fn square(n) {
+  return n * n;
+}
+
+square("2");
diff --git a/tests/typecheck-fail/flow-test.err b/tests/typecheck-fail/flow-test.err
@@ -0,0 +1 @@
+[(InsideFunctionCall((RuntimeError(BinaryTypeError(Mul, String, String)), (24, 29))), (34, 45))]
diff --git a/tests/typecheck-fail/fn-returns-multiple-types.bl b/tests/typecheck-fail/fn-returns-multiple-types.bl
@@ -0,0 +1,24 @@
+fn foo() {
+    return 5;
+}
+
+foo() + 1;
+
+fn bar(x) {
+    if x {
+        return 10;
+    } else {
+        return false;
+    }
+}
+
+bar(1) + 1;
+
+fn foobar(x) {
+    if x {
+        return 10;
+    }
+    return false;
+}
+
+foobar(10);
diff --git a/tests/typecheck-fail/fn-returns-multiple-types.err b/tests/typecheck-fail/fn-returns-multiple-types.err
@@ -0,0 +1 @@
+[(InsideFunctionCall((FunctionReturnsMultipleTypes, (103, 116))), (126, 132)), (InsideFunctionCall((FunctionReturnsMultipleTypes, (194, 207))), (211, 221))]
diff --git a/tests/typecheck-fail/if_rebind_type.bl b/tests/typecheck-fail/if_rebind_type.bl
@@ -0,0 +1,4 @@
+var x = 5;
+if true {
+    x = false;
+}
diff --git a/tests/typecheck-fail/if_rebind_type.err b/tests/typecheck-fail/if_rebind_type.err
@@ -0,0 +1 @@
+[(MultipleTypesFromBranchWarning("x"), (11, 37))]
diff --git a/tests/typecheck-fail/none-ret.bl b/tests/typecheck-fail/none-ret.bl
@@ -0,0 +1,4 @@
+var x = println();
+println(println()) + println(println(5));
+not println();
+-println();
diff --git a/tests/typecheck-fail/none-ret.err b/tests/typecheck-fail/none-ret.err
@@ -0,0 +1 @@
+[(PossibleNoneError(Some("println")), (8, 17)), (PossibleNoneError(Some("println")), (27, 36)), (PossibleNoneError(Some("println")), (19, 37)), (PossibleNoneError(Some("println")), (48, 58)), (PossibleNoneError(Some("println")), (40, 59)), (PossibleNoneError(Some("println")), (65, 74)), (PossibleNoneError(Some("println")), (77, 86))]
diff --git a/tests/typecheck-fail/not-always-returning.bl b/tests/typecheck-fail/not-always-returning.bl
@@ -0,0 +1,6 @@
+fn hello_sometimes(x) {
+    if x {
+        return "Hello";
+    }
+}
+println(hello_sometimes(true));
diff --git a/tests/typecheck-fail/not-always-returning.err b/tests/typecheck-fail/not-always-returning.err
@@ -0,0 +1 @@
+[(PossibleNoneError(Some("hello_sometimes")), (75, 96))]
diff --git a/tests/typecheck-fail/subscript-on-non-subcriptable.bl b/tests/typecheck-fail/subscript-on-non-subcriptable.bl
@@ -0,0 +1,2 @@
+var x = 5;
+x[1];
diff --git a/tests/typecheck-fail/subscript-on-non-subcriptable.err b/tests/typecheck-fail/subscript-on-non-subcriptable.err
@@ -0,0 +1 @@
+[(RuntimeError(SubscriptOnNonSubscriptable(Number)), (11, 12))]
diff --git a/tests/typecheck-fail/unreachable-code-return.bl b/tests/typecheck-fail/unreachable-code-return.bl
@@ -0,0 +1,15 @@
+fn f1() {
+    {
+        var x = 1;
+        return 5;
+        x = 2;
+    }
+}
+f1();
+
+fn f2() {
+    var x = 2;
+    return 10;
+    println("After return!");
+}
+f2();
diff --git a/tests/typecheck-fail/unreachable-code-return.err b/tests/typecheck-fail/unreachable-code-return.err
@@ -0,0 +1 @@
+[(InsideFunctionCall((UnreachableCodeAfterReturn, (61, 67))), (76, 80)), (InsideFunctionCall((UnreachableCodeAfterReturn, (127, 152))), (155, 159))]

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+(ArgumentLength(Some("foo")), (13, 18))`
-Original file line number
+Diff line change
@@ @@ -0,0 +1,5 @@ @@
 +fn test() {
 +    break;
 +}
++
 +return 5;
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+(CallToNonFunction(Some("f"), Number), (11, 12))`