Gabriel Scherer

parsing bug on function types in variant type definitions

7

The following is rejected as a parse error, but it should be accepted: ```ocaml type t = Foo of int -> int ```

confused by Dune foreign_libraries doc: how to define a C library used by C stubs?

16

I have a simple project that consists of: - a simple C library `foo` - an OCaml program `prog` that uses C stubs that themselves use functions provided by `foo`...

The "stanza reference" pages of the Dune manual ([dune-project](https://dune.readthedocs.io/en/latest/dune-files.html#dune-project-1), [dune](https://dune.readthedocs.io/en/latest/dune-files.html#dune), [dune-workspace](https://dune.readthedocs.io/en/latest/dune-files.html#dune-workspace-1)) shoud be listed in alphabetical order. Note: this request was a sub-request of [another issue](https://github.com/ocaml/dune/issues/4202) I created back in...

minor usability issues with cram tests

3

I just wrote my first cram test and encountered some minor usability issues, reported below. (Let me know if I should split them in three separate issues.) ## Git error...

cram tests: spurious error when transforming a single-file test into a directory test

1

Turning a single-file test into a directory test of the same name results in a spurious `Error: rename` error when running the test (when a correction is suggested). Running `dune...

usability bug: `dune runtest -promote` behaves in surprising/unexpected/annoying ways

6

I typed `dune runtest -promote` instead of `dune promote` in the `bin/` subdirectory of a project with cram tests. ## Expected Behavior I would expect some error message suggesting that...

confused by the `alias` and `rule` documentation

13

I would like to add an alias `benchmarks` to run benchmarks. This sounds like a job for the `alias` stanza: ``` (alias (name benchmarks) (action (run my_benchmark.exe))) ``` but the...

Discussing the design of Lazy under Multicore

47

This issue is collecting my understanding of the design of Lazy under Multicore. ## Sequential Lazy With Sequential OCaml, trying to force a value that is currently being forced raises...

While grepping for `Lazy_tag` in the repository I learned about `tools/gdb_ocamlrun.py`, which apparently lists hardcoded tag values, and needs an update for `Forcing_tag` and `Cont_tag`.

Library building blocks for thread-safe mutability

7

## Summary I'm asking if it would be possible to provide two specific modules to help people make clients of simple mutable-state libraries thread-safe. The idea would be to get...