EBNF版のnask_parseで実装を置き換える

[hangingman]

残り必要なテストケース

差分があるものを列挙している

ブートローダー

• 3日目
  • [x] Day03Suite Harib00i

naskfunc.nas

21日目からはテストケースは不要で、とりあえず完全一致してればいいかな

• 3日目
  • [x] Day03Suite Harib00j
• 4日目
  • [x] Day04Suite Harib01a
  • [x] Day04Suite Harib01f
• 5日目
  • [x] Day05Suite Harib02i
• 6日目
  • [x] Day06Suite Harib03e
• 9日目
  • [x] Day09Suite Harib06b (新出命令ナシ)
  • [x] Day09Suite Harib06c
• 12日目
  • [x] Day12Suite Harib09a
• 15日目
  • [ ] Day15Suite Harib12a
  • [ ] Day15Suite Harib12b (新出命令ナシ)
  • [ ] Day15Suite Harib12c (新出命令ナシ)
• 20日目
  • [ ] Day20Suite Harib17b (新出命令ナシ)
  • [ ] Day20Suite Harib17c (新出命令ナシ)
  • [ ] Day20Suite Harib17d (新出命令ナシ)
  • [ ] Day20Suite Harib17e
  • [ ] Day20Suite Harib17g
  • [ ] Day20Suite Harib17h (新出命令ナシ)
• 21日目
  • [ ] Day21Suite Harib18d (新出命令ナシ)
  • [ ] Day21Suite Harib18e (新出命令ナシ)
  • [ ] Day21Suite Harib18g (新出命令ナシ)
• 22日目
  • [ ] Day22Suite Harib19b (新出命令ナシ)
  • [ ] Day22Suite Harib19c (新出命令ナシ)
• 25日目
  • [ ] Day25Suite Harib22f (新出命令ナシ)

実装必要な話

• COFF形式のファイルサポート
  • coffi というヘッダオンリーのライブラリを使うのが良さそう
  • https://coffi.readthedocs.io/en/latest/get_started.html
• ELF形式もできるようにしたいが、そこまでできるかな…？

昔作成したテストはもう少し作り直すかも 5日目までできてしまえば、あとは昔のコードを削除してバージョンを2.0.0にしたい

• Algol 60 grammar in BNF
  • labelはblockとして定義されている

<program> ::= <block> | <compound statement>
<block> ::= <unlabelled block> | <label>: <block>

<unlabelled block> ::= <block head> ; <compound tail>

<block head> ::= begin <declaration> | <block head> ; <declaration>
<compound statement> ::= <unlabelled compound> | <label>: <compound statement>
<unlabelled compound> ::= begin <compound tail>
<compound tail> ::= <statement> end | <statement> ; <compound tail>

[hangingman]

PEGで書き直したところすべてパースに成功したので、続きは別リポジトリで実施する https://github.com/HobbyOSs/gosk/commit/a27895528f1e8ff4d2b417c6f9d9881cd1d4da9c

bisonでできなかった理由としてはbnfc(内部はbison）のデフォルト構文解析アルゴリズムがLALR(1)だったため。

naskの文法ではどうしてもtoken先読みが必要だった（ラベルとかセグメントレジスタとか） %glr-parserにすればbisonでもできるようだが、カスタマイズが難度高すぎで諦めた。 結果としてPEGで書くのが楽だったという結論になる。 というわけでクローズ。