Gabriel Scherer
Gabriel Scherer
(see #11918 for dumb terminals)
Using an on-line notation also simplifies the user-interface questions we have about multiline locations, namely, how to elide the prefix and suffix of the quoted lines that are not part...
cc @Julow: reply here if you want to get this issue assigned to you :-)
(No replying, no assigning, that's a limitation of the github interface.)
The `asai` library has a design document that explains their position with respect to unicode art in error messages; https://redprl.org/asai/asai/design.html#unicode-art The points made there are reminiscent of the discussion happening...
We had a meeting of OCaml maintainers today, and we discussed your RFC. The discussion was lively and rather subtle, but we reached the following consensus (not everyone agrees with...
My understanding of the majority opinion that (numeric) tuple projections should not require type information is as follows: in everyone's mental model of OCaml untyped semantics, tuple access `x.2` is...
You of course should not feel pressured to implement flexible tuples; but the consensus decision is that we will not add unlabeled/numeric tuple projections without them.
Good question! One possible answer is that `('a * 'b * ..)` can be completed with labelled tuples, but that the first two elements of the tuple must be non-labelled:...
Here is how I understand your proposal: - Today the value compiler works by first computing the static size of each expression (to know how to pre-allocate dummy blocks), and...