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

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