ppx_irmin: support primitive representations outside 'Irmin.Type' #994
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
craigfe
force-pushed
the
support-lib-redirection
branch
from
00ade68 to
1528055
Compare
samoht
reviewed
Apr 16, 2020
craigfe
force-pushed
the
support-lib-redirection
branch
from
e3b4d30 to
c383b2f
Compare
craigfe
force-pushed
the
support-lib-redirection
branch
from
c383b2f to
32a2438
Compare
|
This can now be considered for merge. |
pascutto
approved these changes
Apr 17, 2020
craigfe
added a commit
to craigfe/opam-repository
that referenced
this pull request
Jun 26, 2020
…min-mirage-graphql, irmin-http, irmin-git, irmin-mem, irmin-mirage, irmin-unix, irmin-pack, irmin-graphql and irmin-mirage-git (2.2.0) CHANGES: #### Added - **irmin**: - Added `Irmin.Type.empty` to represent an uninhabited type. (mirage/irmin#961, @craigfe) - Added `Store.Tree.concrete_t`. (mirage/irmin#1003, @craigfe) - **ppx_irmin** - Added support for the `@nobuiltin` attribute, which can be used when shadowing primitive types such as `unit`. See `README_PPX` for details. (mirage/irmin#993, @craigfe) - Added support for a `lib` argument, which can be used to supply primitive type representations from modules other than `Irmin.Type`. (mirage/irmin#994, @craigfe) #### Changed - **irmin**: - Require OCaml 4.07 (mirage/irmin#961, @craigfe) - Add sanity checks when creating `Irmin.Type` records, variants and enums (mirage/irmin#956 and mirage/irmin#966, @liautaud): - `Irmin.Type.{sealr,sealv,enum}` will now raise `Invalid_argument` if two components have the same name; - `Irmin.Type.{field,case0,case1}` will now raise `Invalid_argument` if the component name is not a valid UTF-8 string. - Changed the JSON encoding of options and unit to avoid ambiguous cases (mirage/irmin#967, @liautaud): - `()` is now encoded as `{}`; - `None` is now encoded as `null`; - `Some x` is now encoded as `{"some": x}`; - Fields of records which have value `None` are still omitted; - Fields of records which have value `Some x` are still unboxed into `x`. - Changed pretty-printing of Irmin types to more closely resemble OCaml types. e.g. `pair int string` prints as `int * string`. (mirage/irmin#997, @craigfe) - The type `Irmin.S.tree` is now abstract. The previous form can be coerced to/from the abstract representation with the new functions `Irmin.S.Tree.{v,destruct}` respectively. (mirage/irmin#990, @craigfe) - **irmin-mem** - Stores created with `KV` now expose their unit metadata type. (mirage/irmin#995, @craigfe) #### Fixed - **irmin-graphql** - Fixed an issue with keys inside `get_{contents,tree}` fields having incorrect ordering (mirage/irmin#989, @craigfe)
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This adds support for a
libargument to[@@deriving irmin]that can be used to pull type representations from a location other thanIrmin.Type(such as whenIrmin.Typeis aliased to another name).