Prim.mk_40__41_() というのは、Prim.() のコンストラクタ（値コンストラクタかな）のこと。
Prim.java に以下追加して終了：
--- a/brt/src/jp/ne/sakura/uhideyuki/brt/runtime/Prim.java
+++ b/brt/src/jp/ne/sakura/uhideyuki/brt/runtime/Prim.java
@@ -23,6 +23,10 @@ public class Prim {
return mkExpr(new ConObj(new Cotr("Prelude.False"), new AtomExpr[0]));
}
+ public static Expr mk_40__41_(){
+ return mkExpr(new ConObj(new Cotr("Prim.()"), new AtomExpr[0]));
+ }
+
public static Expr mkneErr(){
return new ErrExpr("Error: Non-exhaustive patterns.");
}