nonassocの代表格は比較演算子だろう。
a == b == c # パースエラー
a <= b <= c # パースエラー

わわっ。本当だ！
a == b == c って( a == b ) == c のように解釈されるもんだと思っていたし、計算スクリプトでもそうなるように作ったんだけど...うひゃあ。
計算スクリプトに課題が一つ追加された。