reflection - sml を使用してツリーを反映する

Question

タイプは mobile->mobile である必要があります

どこ

datatype mobile = int のオブジェクト | モバイル・モバイルのワイヤー

コードでエラーが発生する コンストラクターと引数がパターンと演算子とオペランドが一致しない

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

Answer 1

エラーメッセージは非常に示唆的です。Wireコンストラクターには2つの引数があり、関数内に3つの引数を指定Wireしreflectます。

修正版:

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