blob: 44d2b114d6e6a29f15d21c412d3e9260ca6091d6 (
plain) (
tree)
|
|
gadts1.scala:15: error: type mismatch;
found : Test.Double
required: a
case NumTerm(n) => c.x = Double(1.0)
^
gadts1.scala:20: error: class Cell of type Test.Cell does not take type parameters.
case Cell[a](x: Int) => c.x = 5
^
gadts1.scala:20: error: type mismatch;
found : Int(5)
required: a
case Cell[a](x: Int) => c.x = 5
^
three errors found
|