SATySFi

SATySFi copied to clipboard

gfngfn

gfngfn

gfngfn

gfngfn

gfngfn

Changed lexers to use Sedlex

6

Close https://github.com/gfngfn/SATySFi/issues/398 note: `dune test` has all passed Reference: - https://ocaml-community.github.io/sedlex/sedlex/Sedlexing/index.html - https://docs.mirage.io/menhirLib/MenhirLib/Convert/Simplified/index.html - https://github.com/unhammer/ocaml_cg_streamparse/blob/master/sedlex_menhir.ml - https://qiita.com/Tamamu/items/e647c18403681df15c42 (lang:ja)

puripuri2100

gfngfn

closes #358 and #359. This PR implements record punning and record patterns in 0.1.0 branch. Record punning is a short-hand notation for record construction. You can omit a field value...

leque

gfngfn

Issue: `clear-page` breaks *columns* in multi-column format Expectation: `clear-page` breaks *pages* in multi-column format This PR fixed this issue: - Change the behavior of `clear-page` primitive - Add a new...

puripuri2100