info/labs/lab04/test/resources/typer/failing/LogicalError2.grading.amy

+object LogicalError
+  () && true
+end LogicalError

info/labs/lab04/test/resources/typer/failing/LogicalError3.grading.amy

+object LogicalError
+  !()
+end LogicalError

info/labs/lab04/test/resources/typer/failing/MatchError1.amy

+object MatchError
+  1 match { case true => () }
+end MatchError

info/labs/lab04/test/resources/typer/failing/MatchError2.grading.amy

+object MatchError
+  val x: Int(32) = 1 match { case 2 => "" }; x
+end MatchError

info/labs/lab04/test/resources/typer/failing/MatchError3.grading.amy

+object MatchError
+  1 match {
+    case 1 => ()
+    case 2 => ""
+  }
+end MatchError

info/labs/lab04/test/resources/typer/failing/MatchError4.grading.amy

+object MatchError
+  abstract class Foo
+  case class Bar(i: Int(32)) extends Foo
+
+  Bar(1) match {
+    case true => ()
+  }
+end MatchError

info/labs/lab04/test/resources/typer/failing/MatchError5.grading.amy

+object MatchError
+  abstract class Foo
+  case class Bar(i: Int(32)) extends Foo
+
+  Bar(1) match {
+    case Bar(true) => ()
+  }
+end MatchError

info/labs/lab04/test/resources/typer/failing/MatchError6.grading.amy

+object MatchError
+  abstract class Foo
+  case class Bar(i: Int(32)) extends Foo
+
+  abstract class Foo2
+  case class Bar2(i: Int(32)) extends Foo2
+
+  Bar(1) match {
+    case Bar2(1) => ()
+  }
+end MatchError

info/labs/lab04/test/resources/typer/failing/OperatorError1.amy

+object OperatorError
+    val str: String = 1 + 1;
+    str
+end OperatorError

info/labs/lab04/test/resources/typer/failing/OperatorError2.grading.amy

+object OperatorError
+    val str: String = 1 + 1;
+    str
+end OperatorError

info/labs/lab04/test/resources/typer/failing/OperatorError3.grading.amy

+object OperatorError
+    val str: String = !true;
+    str
+end OperatorError

info/labs/lab04/test/resources/typer/failing/SeqError1.amy

+object SeqError
+  1 + true; false
+end SeqError

info/labs/lab04/test/resources/typer/failing/SeqError2.grading.amy

+object SeqError
+  val x: Boolean = 1; 2; x
+end SeqError

info/labs/lab04/test/resources/typer/failing/SeqError3.grading.amy

+object SeqError
+  val x: Boolean = (true; 2);
+  0
+end SeqError

info/labs/lab04/test/resources/typer/passing/Arithmetic.grading.amy

+object Arithmetic
+  1 + 2 * 3 / 4 % -5
+end Arithmetic

info/labs/lab04/test/resources/typer/passing/Comparison.grading.amy

+object Comparison
+  val b1: Boolean = 1 <= 2;
+  val b2: Boolean = 2 < 3;
+  val c1: Boolean = b1 && b2;
+  val c2: Boolean = b1 || b2;
+  c1 == !c2
+end Comparison

info/labs/lab04/test/resources/typer/passing/Constructors.grading.amy

+object Constructors
+  abstract class Foo 
+  case class Bar(i: Int(32)) extends Foo
+  case class Baz(b: Boolean, f: Foo) extends Foo
+
+  abstract class Foo2
+  case class Bar2(i: Int(32)) extends Foo2
+  case class Baz2(b: Boolean, f: Foo2) extends Foo2
+  Baz(true, Baz(false, Bar(42)));
+  Baz2(true, Baz2(false, Bar2(42)))
+end Constructors

info/labs/lab04/test/resources/typer/passing/Error.grading.amy

+object Error
+  def test(): Unit = {
+    error("") // Stub implementation
+  }
+  test()
+end Error
\ No newline at end of file

info/labs/lab04/test/resources/typer/passing/FunctionCalls.grading.amy

+object FunctionCalls
+  def foo(i: Int(32), j: Boolean): String = {
+    if(j) { i < 0 || j; "Hello" } else {foo(i-1, !j)}
+  }
+end FunctionCalls

info/labs/lab04/test/resources/typer/passing/If.grading.amy

+object If
+  if (true) { 1 } else { 2 };
+  if (true) { "" } else { error("") };
+  val x: Int(32) = if (true) { 1 } else { 2 };
+  x
+end If