この調子で、今週中に抽象構文木をつくるところまではいってしまおう。次はいよいよ型推論(または型再構築)であーる。212ひとつひとつ、文法の曖昧なのをなくしていこう。ひとつの問題で沢山の衝突が引き起される傾向があるようなので、この数ほど修正箇所はないだろう。トークンをつかうレイアウト規則では、そうしないと構文エラーになる箇所には仮想閉じブレースが補われることになっている。そこで、仮想ブレースが閉じていないのを許容する文法にすればいいのかなと思ったんだけど、こういうのはいかにも衝突の原因になる。マニュアルにもそういう利用方法が書かれている。