blob: a5e3e0de1030985adbb90def6a7e58c0834304e1 (
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: Test.Cell[a] does not take 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
|
