Equality.grading.amy

object Equality
  abstract class Foo
  case class Foo1() extends Foo
  case class Foo2() extends Foo

  Std.printString(Std.booleanToString(0 == 0));
  Std.printString(Std.booleanToString(0 == 1));
  Std.printString(Std.booleanToString(true == true));
  Std.printString(Std.booleanToString(true == false));
  Std.printString(Std.booleanToString(() == ()));
  Std.printString(Std.booleanToString("hello" == "hello"));
  Std.printString(Std.booleanToString("hello" == "hel" ++ "lo"));
  Std.printString(Std.booleanToString(val h: String = "hello"; h == h));
  Std.printString(Std.booleanToString(Foo1() == Foo1()));
  Std.printString(Std.booleanToString(Foo1() == Foo2()));
  Std.printString(Std.booleanToString(val f: Foo = Foo1(); f == f));
  Std.printString(Std.booleanToString(val f: Foo = Foo1(); val g: Foo = f; f == g))
end Equality