provided examples and support documentation for 2024-2025 WACC project

invalid/semanticErr/IO/readTypeErr.wacc

+# attempt to read into a boolean variable
+
+# Output:
+# #semantic_error#
+
+# Exit:
+# 200
+
+# Program:
+
+begin
+  bool b = true ;
+  read b ; 
+  println b 
+end

invalid/semanticErr/array/arrayIndexComplexNotInt.wacc

+# Attempting to access an array with an invalid complex expression
+# Thanks to Ethan Range, Fawwaz Abdullah, Robbie Buxton, and Edward Hartley
+
+# Output:
+# #semantic_error#
+
+# Exit:
+# 200
+
+# Program:
+
+begin
+  int[] a = [1, 2];
+  int b = a[1 - "horse"];
+  int c = a[!false]
+end
\ No newline at end of file

invalid/semanticErr/array/arrayIndexNotInt.wacc

+# Attempting to access an array with a non-integer index.
+# Thanks to Ethan Range, Fawwaz Abdullah, Robbie Buxton, and Edward Hartley
+
+# Output:
+# #semantic_error#
+
+# Exit:
+# 200
+
+# Program:
+
+begin
+  int[] a = [1, 2];
+  int b = a["horse"]
+end

invalid/semanticErr/array/arrayMultipleIndexError.wacc

+# Indexing an array to get sub-arrays, but going too far.
+# Thanks to Ethan Range, Fawwaz Abdullah, Robbie Buxton, and Edward Hartley
+
+# Output:
+# #semantic_error#
+
+# Exit:
+# 200
+
+# Program:
+
+begin
+  int[] a = [1, 2];
+  int[] b = [3, 4];
+
+  int[][] ab = [a, b];
+
+  int[] sameAsA = ab[0];
+  int oops = sameAsA[0][1]
+end
\ No newline at end of file

invalid/semanticErr/array/badIndex.wacc

+# Too much indexing!
+# Thanks to David Pan
+
+# Output:
+# #semantic_error#
+
+# Exit:
+# 200
+
+# Program:
+
+begin
+  int[] a = [1];
+  println a[1][2]
+end

invalid/semanticErr/array/indexUndefIdent.wacc

+# Attempting to array-index an undefined identifier.
+# Thanks to Ethan Range, Fawwaz Abdullah, Robbie Buxton, and Edward Hartley
+
+# Output:
+# #semantic_error#
+
+# Exit:
+# 200
+
+# Program:
+
+begin
+  char c = horse[2]
+end

invalid/semanticErr/array/mixingTypesInArrays.wacc

+# Attempting to mix types in an array literal.
+# Thanks to Ethan Range, Fawwaz Abdullah, Robbie Buxton, and Edward Hartley
+
+# Output:
+# #semantic_error#
+
+# Exit:
+# 200
+
+# Program:
+
+begin
+  char five() is
+    begin return '5' end
+  end
+
+  char f = call five();
+  int[] a = [1, f]
+end

invalid/semanticErr/array/noArrayCovariance.wacc

+# Arrays should not be covariant
+# Thanks to Nathaniel Burke
+
+# Output:
+# #semantic_error#
+
+# Exit:
+# 200
+
+# Program:
+
+begin
+  char[][] acs = [] ;
+  string[] bad = acs
+end

invalid/semanticErr/array/noStringIndex.wacc

+# It shouldn't be possible to index strings (wrong side of the type relaxation)
+
+# Output:
+# #semantic_error#
+
+# Exit:
+# 200
+
+# Program:
+
+begin
+  string str = "hello world";
+  char x = str[0]
+end

invalid/semanticErr/array/nonMatchingArrays.wacc

+# Trying to assign the wrong array dimension to a variable, or non-matching pairs.
+# Thanks to Ethan Range, Fawwaz Abdullah, Robbie Buxton, and Edward Hartley
+
+# Output:
+# #semantic_error#
+
+# Exit:
+# 200
+
+# Program:
+
+begin
+  int[] a = [1, 2];
+  int[][] aa = [a, a];
+  int[] b = aa
+end

invalid/semanticErr/array/wrongArrayDimension.wacc

+# Accessing too many array indices.
+# Thanks to Ethan Range, Fawwaz Abdullah, Robbie Buxton, and Edward Hartley
+
+# Output:
+# #semantic_error#
+
+# Exit:
+# 200
+
+# Program:
+
+begin
+  int[] a = [1, 2];
+  int oops = a[1][2][3]
+end

invalid/semanticErr/array/wrongArrayType.wacc

+# Array was given wrong type.
+# Thanks to Ethan Range, Fawwaz Abdullah, Robbie Buxton, and Edward Hartley
+
+# Output:
+# #semantic_error#
+
+# Exit:
+# 200
+
+# Program:
+
+begin
+  int[] should_be_int_array = ['a', 'b', 'c']
+end

invalid/semanticErr/exit/badCharExit.wacc

+# tries to exit using a character
+
+# Output:
+# #semantic_error#
+
+# Exit:
+# 200
+
+# Program:
+
+begin
+  exit 'a'
+end

invalid/semanticErr/exit/exitNonInt.wacc

+# exit with non-int - this should be an invalid program! 
+
+# Output:
+# #semantic_error#
+
+# Exit:
+# 200
+
+# Program:
+
+begin
+  char x = 'f' ;
+  exit x
+end

invalid/semanticErr/exit/globalReturn.wacc

+# trying to return from the main program
+
+# Output:
+# #semantic_error#
+
+# Exit:
+# 200
+
+# Program:
+
+begin
+  return 42 ;
+  println "should not get here" 
+end

invalid/semanticErr/exit/returnsInMain.wacc

+# Returning from the main body is forbidden.
+# Thanks to Ethan Range, Fawwaz Abdullah, Robbie Buxton, and Edward Hartley
+
+# Output:
+# #semantic_error#
+
+# Exit:
+# 200
+
+# Program:
+
+begin
+  while true do
+    return 3
+  done;
+
+  if true then
+    return 4
+  else
+    return 5
+  fi;
+
+  begin
+    return 6
+  end
+end

invalid/semanticErr/expressions/boolOpTypeErr.wacc

+# expresission type mismatch int->bool
+
+# Output:
+# #semantic_error#
+
+# Exit:
+# 200
+
+# Program:
+
+begin
+  bool b = 1 || 1
+end

invalid/semanticErr/expressions/exprTypeErr.wacc

+# expresission type mismatch bool->int
+
+# Output:
+# #semantic_error#
+
+# Exit:
+# 200
+
+# Program:
+
+begin
+  int b = 15 + 6 || 19
+end