gadts1.check

来自「JAVA 语言的函数式编程扩展」· CHECK 代码 · 共 7 行

gadts1.scala:15: error: type mismatch;
 found   : Test.Double
 required: a
    case NumTerm(n) => c.x = Double(1.0) 
                             ^
one error found