Concurrent Clean : CleanJ : build_u
StdListに
build_u _ 1 1 n181
という命令を見つけて、はたと考える。
基本値をそのまま持つのは、レコード型だけだと暗黙で仮定していた。
以前は、CleanBasicを使っていたので、上手くいっていたのだけど・・・
StdListに
build_u _ 1 1 n181
という命令を見つけて、はたと考える。
基本値をそのまま持つのは、レコード型だけだと暗黙で仮定していた。
以前は、CleanBasicを使っていたので、上手くいっていたのだけど・・・