前々回、前回に続いて500行以上の本格的なMenhirパーサの例。 C11パーサ A simple, possibly correct LR parser for C11という論文のもとになった、Menhirを使ってなるべく正確な（過去のC11基準コンパイラがパースに失敗するプログラムもパースできる）C11…