SATySFi
SATySFi copied to clipboard
A statically-typed, functional typesetting system
Add char
Close https://github.com/gfngfn/SATySFi/issues/407 I added `char` type and some functions. The `char` type uses `Uchar.t` type for implementation. ref: https://github.com/gfngfn/SATySFi/projects/1#card-54377937 List of added functions: - `char-to-string : char -> string` -...
Add the primitives: ```ml use-image-by-natural-size : image -> inline-cmd ``` This is implementation of #296
Major breaking changes other than ones by nested PRs: - Migration from an SML\#-like record polymorphism to a row polymorphism - Labeled optional arguments handled by rows - A module...
**This PR is work in progress, will be finished after #303 and #294 are merged.** This PR changes error message format to the GNU style. After this PR, for a...
Currently, SATySFi uses OCaml's `Str` module as the regexp backend. But it has some drawbacks: * It supports fewer syntax. * It has global states (it will be [fixed in...
This PR changes pprint format of `Range.Normal` to GNU style `file:line.pos1-pos2` format[^1] to reduce characters and for ease of tool support, e.g. jumping to a location. This affects test results...
When the lexer sees a non-ASCII illegal token, it emits only the first byte as the cause of the error, resulting in a mangled message. # How to reproduce Compile...
### Issue Error positions are reported in bytes while it should be in characters. ### Example #### Input ```satysfi @require: stdjabook document (| title = {test}; author = {test}; show-title...
This PR improves the CI with building wit the oldest dependencies as possible. This helps to detect wrong lower version boundaries. Question: May I update the required Dune version to...
- Remove OS-dependent PATH. (e.g. `usr/local/share/satysfi`) - Remove OS-dependent COMMAND. (e.g. `cp`) The execution test is changed as follows[^1]: ``` dune exec -- satysfi --version dune exec -- satysfi demo/demo.saty...