Frédéric Bour

I like @andreypopp 's "do" proposal too. Getting local module open to be less noisy shouldn't be a problem. It is not really clear to me what the scope would...

Note: `%bind let x = ...;` is already supported but the printing is not pretty. https://github.com/facebook/reason/pull/1703 tries to fix that.

I like `let/bind` (as an alternative to https://github.com/facebook/reason/pull/1735)

The proposal https://www.cl.cam.ac.uk/~jdy22/papers/extending-ocamls-open.pdf by @objmagic makes it possible to implement this feature with proper support from the compiler.

In particular, it makes it possible to use the compiler infrastructure for finding names that are valid from the outside (e.g. assuming private `type t = int -> int` and...

@xclerc Can you explain why the registration has to be explicit? (I used to know a few months ago but I completely forgot, sorry)

When merlin catches an error from the compiler it is already reasonably structured. In this case we could pattern match on `Expr_type_clash (...)` and provide an alternative formatting. But adding...

Same problem here, reason toplevel built on top of utop stopped working. The dependency chain is: reason -> ocaml-migrate-parsetree -> compiler-libs.common -> Misc. Resulting in ``Error: Reference to undefined global...

It's utop with a custom init that replaces parsing and printing.

Maybe. In the meantime we are happy with utop-full. Thanks.