Browse Source

Add tests for typecheck errors

David Peter 2 years ago
parent
commit
714b262873

+ 1 - 0
examples/typecheck_error/conditional_branch_type_mismatch.nbt

@@ -0,0 +1 @@
+if true then 1 m else 1 s

+ 1 - 0
examples/typecheck_error/conditional_expected_bool.nbt

@@ -0,0 +1 @@
+if 2 then 1 else 0

+ 1 - 0
examples/typecheck_error/expected_dtype_1.nbt

@@ -0,0 +1 @@
+1 + true

+ 1 - 0
examples/typecheck_error/expected_dtype_2.nbt

@@ -0,0 +1 @@
+0 < true

+ 1 - 0
examples/typecheck_error/expected_dtype_3.nbt

@@ -0,0 +1 @@
+let x: Scalar = true

+ 1 - 0
examples/typecheck_error/expected_dtype_4.nbt

@@ -0,0 +1 @@
+dimension Test = Length * bool