blob: 8b3d6605ed19d2c18093756c2dba80bb358bf4ee (
plain) (
tree)
|
|
gadts1.scala:15 error: type mismatch;
found : Test.this.NumTerm
required: Test.this.Term[a]
case NumTerm(n) => c.x = Double(1.0)
^
gadts1.scala:15 error: type mismatch;
found : Test.this.Double
required: a
case NumTerm(n) => c.x = Double(1.0)
^
two errors found
|