読者です 読者をやめる 読者になる 読者になる

もうだめだ

ifの条件が逆になっていることに気づかずに30分くらい費やしてしまった.

型環境に定数cが登録されていなかったら登録するというプログラムが書きたくて,

if TE.mem_const c tenv then
  register_const c ty tenv
else
  tenv

とか,thenとelseがあからさまに逆なプログラムと格闘していたわけだ.