Alistair

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

# Context When printing multi-line labels with empty messages, the 'bottom line' is missing: ## Current Behaviour ``` error[E012]: generic type variable escapes its scope ┌─ expect_test.ml:2:3 1 │ let...

🚀 Feature: Windows support for `Grace_rendering`

4

# Context `Grace_rendering` depends on `core_unix`, which isn't supported on windows

## Context **Operating System**: macOS When printing a diagnostic containing a label with an _empty range_, the renderer incorrectly panics. ## Current behaviour ```ocaml open! Grace let source : Source.t...

Tuple projections

4

[Rendered version](https://github.com/johnyob/ocaml-RFCs/blob/tuple-projections/rfcs/tuple_projections.md) TL;DR: Adds labeled and (0-indexed) unlabeled tuple projections: ```ocaml # let x = (~tuple:42, ~proj:1337, "is", 'c', 00, 1);; val x : (tuple: int * proj:int * string...

# Context `type_let` currently handles both recursive and non-recursive bindings in one large function. A fair amount of the logic inside it only applies to recursive bindings. This makes the...

Failure to catch scope escape of ambivalent types

1

## Context There appears to be a principality bug involving ambivalent types on trunk, found by @garrigue while discussing ambivalent types. ## Current behaviour ```sh ./boot/ocamlrun ./ocamlc -I ./stdlib -i...