tiger-compiler/tests/object/type/incompatible-covariance.tig


1
2
3
4
5
6
7
8
9
10
11
12
13

let
  class Shape {}
  class Square extends Shape {}
  class Circle extends Shape {}

  function update_radius(circle : Circle) = ()

  var a := new Square
  var b := new Circle
in
  update_radius(b);
  update_radius(a)
end