reflection - 使用 sml 反射树

Question

类型应该是 mobile->mobile

在哪里

数据类型 mobile = int 的对象 | 手机线*手机

代码给了我错误构造函数和参数不同意模式和运算符和操作数不同意

fun reflect  (Object v) = Object v
   | reflect (Wire(x,t1,t2)) = Wire(x,reflect t2,reflect t1);

Answer 1

错误消息非常具有指示性。Wire构造函数有 2 个参数，而您为Wireinreflect函数提供 3 个参数。

修正版：

fun reflect (Object v) = Object v
  | reflect (Wire(t1,t2)) = Wire(reflect t2,reflect t1)