blob: f19b58c5dbfce5f5a6f9bf29ae927dfe18de407f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
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
|
