[Dana] Add programs with more fine-grained type errors

Author: kostis

dana/programs-erroneous/break_err.dana

@@ -0,0 +1,3 @@
+def main
+  break             # Error: break outside loop
+  return: 42

dana/programs-erroneous/continue_err.dana

@@ -0,0 +1,3 @@
+def main
+  continue          # Error: continue outside loop
+  return: 42

dana/programs-erroneous/semantic_error.dana

@@ -1,3 +1,9 @@
+(*
+  This is the powint program containing a semantic error in a call to
+  the writeString function.  The function expexts a byte[] argunment,
+  not an int type (variable temp below).
+*)
+
 def main
 
   def powint: base as int, exp as int, mod as int, result as ref int
@@ -16,7 +22,7 @@ def main
       else: 
         result := (base * temp * temp) % mod
 
-        writeString: temp # SEMANTIC ERROR: Calling writeString (expects byte[]) with an int argument (temp)
+        writeString: temp # SEMANTIC ERROR on this line
 
   var b   is int
   var e   is int

…programs-erroneous/powint-erroneous.dana dana/programs-erroneous/strwrite_err.danadana/programs-erroneous/powint-erroneous.dana renamed to dana/programs-erroneous/strwrite_err.dana dana/programs-erroneous/powint-erroneous.dana renamed to dana/programs-erroneous/strwrite_err.dana

@@ -0,0 +1,5 @@
+def main
+  var x is int
+  var s is byte[10]
+
+  return: x + s     # Error: cannot add int and byte[]

dana/programs-erroneous/type_err.dana

@@ -1,3 +1,5 @@
+(* This is the bsort.dana program with a type error *)
+
 def main
 
   def bsort: n as int, x as int []
@@ -43,12 +45,10 @@ def main
   i := 0
   loop:
     if i < 16:
-      seed := (seed * 137 + 220 + i) % 101
+      seed := (seed * 137 + 221 + i) % 101
       x[i] := seed
       i := i+1
     else: break
   writeArray: "Initial array: ", 16, x
-  # according to the grammar, x here should be a proc-call of function `x` with no arguments
-  # error should be that x is a variable of type int[16], not a function.
-  bsort: 16, x
-  writeArray: "Sorted array: ", 16, x
+  bsort: 16, x[0]	# ERROR: Type mismatch
+  writeArray: "Sorted  array: ", 16, x

dana/programs-erroneous/bsort_error.dana …na/programs-erroneous/type_mismatch.danadana/programs-erroneous/bsort_error.dana renamed to dana/programs-erroneous/type_mismatch.dana dana/programs-erroneous/bsort_error.dana renamed to dana/programs-erroneous/type_mismatch.dana

@@ -0,0 +1,6 @@
+def main
+  var x y is int
+  var s is byte[10]
+
+  x := z            # Error: z is not declared
+  return: 42

dana/programs-erroneous/undeclared-id.dana

@@ -0,0 +1,5 @@
+def main
+  var x is int
+
+  callMe: 42        # Error: callMe is not declared
+  return: x

dana/programs-erroneous/undef1.dana

@@ -0,0 +1,4 @@
+def main
+  var x is int
+
+  return: foo(x, 42) # Error: foo is not defined