_评论者:thheller_
刚刚检查生成的JavaScript。正如David说的,问题是用于获取:post条件结果的额外函数。
dummy.f_no_post_condition = (function f_no_post_condition(argument){
var this$ = this;
var G__82157 = argument;
var G__82158 = this$;
return console.log(G__82157,G__82158);
});
dummy.f_with_post_condition = (function f_with_post_condition(argument){
var _PERCENT_ = (function (){
var this$ = this;
var G__82161 = argument;
var G__82162 = this$;
})();
return console.log(G__82161,G__82162);
});
return _PERCENT_;
dummy.test_object = {"methodWithPostcondition": dummy.f_with_post_condition, "methodNoPostcondition": dummy.f_no_post_condition};
dummy.f_with_post_condition("A");
dummy.test_object.methodNoPostcondition("B");