2,617
次編輯
Tankianting(討論 | 貢獻) |
Tankianting(討論 | 貢獻) |
||
行 87: | 行 87: | ||
``` | ``` | ||
ThunkAnony8964 thunkanony8964(TypeOfX x ,TypeFreeVars env){ | |||
foo(x, env[free_vars]); | foo(x, env[free_vars]); | ||
} | } | ||
行 93: | 行 93: | ||
struct ClosureTypei1r1 { | struct ClosureTypei1r1 { | ||
TypeFreeVars env, # 可以用鏈表 | TypeFreeVars env, # 可以用鏈表 | ||
* | *ThunkAnony8964 thunk, | ||
}; | }; | ||
ClosureTypei1r1 | ClosureTypei1r1 anony8964; | ||
TypeFreeVars env = free_vars; | TypeFreeVars env = free_vars; | ||
anony8964.env = env; | |||
anony8964.thunk = *thunkanony8964; | |||
``` | ``` | ||
行 111: | 行 111: | ||
改為 | 改為 | ||
``` | ``` | ||
anony9864.thunk(n, anony8964.env); | |||
``` | ``` | ||
[[category:資訊]] | [[category:資訊]] |