dromedary
dromedary copied to clipboard
johnyob
Dromedary is an experimental subset of OCaml, using constraint-based type inference!
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.
This is a top-level issue for Dromedary's roadmap. This links to various other categories of issues, each referring to an individual issue. [All issues covered by this roadmap](https://github.com/johnyob/dromedary/labels/v-next) ## Categories...
Issues related to improving the error reporting of Dromedary. - [ ] Add locations to `Parsing` library - [ ] Add locations to `Constraints` library - [ ] Add error...
Issues related to the documentation of Dromedary. - [ ] #29 - [ ] #37