blob: 0441f604c9f783b4f720906683c02d9528947115 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
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
^
gadts1.scala:20: error: Could not typecheck extractor call: case class <none> with arguments List((x @ (_: Int)))
case Cell[a](x: Int) => c.x = 5
^
four errors found
|
