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

+object ArithError4
+  0 / ()
+end ArithError4

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

+object ArithError5
+  - ()
+end ArithError5

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

+object ComparisonError
+  1 <= true
+end ComparisonError

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

+object ConcatError
+  1 ++ ""
+end ConcatError

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

+object ConstructorError
+  abstract class Foo 
+  case class Bar(i: Int(32)) extends Foo
+
+  Bar(true)
+end ConstructorError

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

+object ConstructorError
+  abstract class Foo 
+  case class Bar(i: Int(32)) extends Foo
+  case class Baz(i: Int(32), t: Foo) extends Foo
+
+  Baz(1, Baz(1, 2))
+end ConstructorError

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

+object ConstructorError
+  abstract class Foo 
+  case class Bar(b2: Foo2) extends Foo
+
+  abstract class Foo2
+  case class Bar2(i: Int(32)) extends Foo2
+  
+  Bar(Bar(Bar2(1)))
+end ConstructorError

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

+object ConstructorError
+  abstract class Foo 
+  case class Bar(i: Int(32)) extends Foo
+
+  abstract class Foo2
+  case class Bar2(i: Int(32)) extends Foo2
+  
+  val x: Foo = Bar2(42);
+  x
+end ConstructorError

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

+object Equality
+  abstract class Foo
+  case class Bar(i: Int(32)) extends Foo
+  1 == Bar(2)
+end Equality

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

+object ErrorError
+  error(1)
+end ErrorError

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

+object FunctionCall
+  def foo(i: Int(32)): Boolean = { i < 0 }
+  
+  foo(true)
+end FunctionCall

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

+object FunctionCall
+  def foo(i: Int(32)): Boolean = { i < 0 }
+  
+  val x: Int(32) = foo(1); x
+end FunctionCall

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

+object FunctionCall
+  def foo(i: Int(32), b: Boolean): Boolean = { i < 0 }
+  
+  foo(true, 1)
+end FunctionCall

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

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

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

+object IfError
+  if (42) { () } else { () }
+end IfError

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

+object IfError
+  if (true) { () } else { false }
+end IfError

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

+object IfError
+  val x: Int(32) = if (false) { "" } else { "" };
+  x
+end IfError

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

+object LetError1
+  def test(): Int(32) = {
+    val x: Int(32) = 1;
+    false
+  }
+end LetError1

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

+object LetError2
+  def test(): Int(32) = {
+    val x: Int(32) = false;
+    2
+  }
+end LetError2

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

+object LogicalError
+  1 || 2
+end LogicalError