840911b8e3 ^
f9e5afd36a ^
1
2 3 4 5
6
gadts1.scala:15 error: type mismatch; found : Test.this.Double required: a case NumTerm(n) => c.x = Double(1.0) ^ one error found