You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Since the beginning, the manual override / re-export of Coq's type using ppx_import has been done manually [with the help of some hacky scripting]. It was planned to use a more methodical method in the future.
CHANGES:
- [serapi] New query `(Query () (LogicalPath file))` which will
return the logical path for a particular `.v` file
(@ejgallego, see also
cpitclaudel/alectryon#25)
- [serapi] new `(SaveDoc opts)` command supporting saving of .vo
files even when from interactive mode; note that using
`--topfile` is required (fixesejgallego/coq-serapi#238, @ejgallego, reported
by Jason Gross)
- [sertop] we don't link the OCaml `num` library anymore, this could
have some impact on plugins (@ejgallego)
- [nix] Added Nix support (ejgallego/coq-serapi#249, fixesejgallego/coq-serapi#248, @Zimmi48, reported
by @nyraghu)
- [serapi] Fix COQPATH support: interpret paths as absolute (ejgallego/coq-serapi#249, @Zimmi48)
- [serlib] Ignore `env` parameter in certain exceptions (ejgallego/coq-serapi#254, fixesejgallego/coq-serapi#250,
@ejgallego, reported by @cpitclaudel)
- [sertop] New option `--omit_env` that will disable the serialization of
Coq's super heavy global environments (ejgallego/coq-serapi#254@ejgallego)
- [build] Test OCaml 4.12 (ejgallego/coq-serapi#257 @ejgallego)
- [sertop] Async mode was not working due to passing `-no-glob` to workers
Since the beginning, the manual override / re-export of Coq's type using
ppx_import
has been done manually [with the help of some hacky scripting]. It was planned to use a more methodical method in the future.It turns out such as solution by @thierry-martinez exists, https://github.com/thierry-martinez/override should allow for a much more compact derivation of serializes for Coq's types.
The text was updated successfully, but these errors were encountered: