Leo White

I think that the design is basically: add a new sort of arrow type alongside optional and labelled arrows, whose syntax is something like: ```ocaml ?foo:[%auto __LOC__] -> string ```...

> While it would be easy to add support for this in natively-compiled versions of the compiler (ocaml*.opt), I'm not sure about what can be done for the bytecode-compiled compilers....

Someone has also got: ``` Fatal error: exception Unix.Unix_error(Unix.EPIPE, "write", "") ``` Don't know whether it's related.

I haven't looked at this issue properly yet, but it is worth noting that you can run `prof_spacetime` without the `-e a.out`. You won't get the symbol names or the...

Ok, so apparently macOS uses Mach-o format rather than ELF, which is not supported by owee yet. However, rumour has it that @let-def has been working on adding this support...

> As I see it, a submodule is useful when the module in question is typically opened to avoid bringing these operators into the global namespace, but my impression is...

> I think it would be nice to have a name that can be used in general for bringing domain specific operators like specialized comparisons, arithmetic ops, monadic operators and...

> However with the current proposal you are attributing a (monadic) meaning to the name Syntax which is a bit odd. True. Maybe a name based on "computation" is better...

Could I suggest not getting too bogged down in discussions on what we would do in the hypothetical situation that we wish to extend the signature of these modules. Yes...

> If a module has several distinct let-operator structures of interest¹, what's in the Syntax module? All of them? I would expect individual `Syntax` modules for individual notions of computation....