Alistair

Discrepancy in type disambiguation between `Pstr_value` and `Pexp_let`

1

Hey 👋. For the following module: ```ocaml module M = struct type t = X of { x : int } let x = X { x = 1 }...

Add `JsNativeObject` wrapper

4

This PR adds a `JsNativeObject` wrapper around `JsObject` with the invariant that the underlying object data is a native object of some type `T`.

Support for non-empty lists

5

It would be great if Base provided a `List.Non_empty` module for non-empty lists ```ocaml type 'a t = (::) of 'a * 'a list ```

Issues related to Dromedary's infrastructure (such as testing, utilities, etc) - [x] #40 - Switching to testing libraries to Jane Street libraries - [ ] #41 - [ ] #42...

Issues related to Dromedary's `Constraints` library. - [x] #44 - [x] #47 - [ ] Add error handling into the Constraints library - [ ] Add transactions ("Snapshots") to `Unifier`...

Issues related to the language features in Dromedary. ## Existing Issues - [ ] Improve interaction between polymorphic variants and GADTs - [ ] Optimizations for type abbreviations and ambivalence...

Much of Dromedary's documentation is out of date -- partly due to the ephemeral nature of this project. Complete / update documentation -- ensuring clarity

Dromedary's current testing framework relies on `Alcotest`, `QCheck` and Jane Street's Expect Tests. This issue aims to remove `QCheck` by using Jane Street's `Quickcheck` library: ```ocaml module T = struct...

Dromedary's current testing framework relies on `Alcotest`, `QCheck` and Jane Street's Expect Tests. This issue aims to remove `Alcotest` by using Jane Street's Inline Tests: ```ocaml let%test_unit "single" = assert...

Update the project documentation to be `odoc` compliant. Generate and publish documentation.