Andreas Rossberg

> Don't you ? Normally, yes. But here, where we try to transliterate paper rules, not so much. :) > I tested on 4.12.0, 4.13.1, 4.14.0 and 5.0.0 and it...

Here is what I get when I build HEAD with `-w +a`, it's almost 3000 lines of spurious warnings: ``` ocamlbuild -lexflags -ml -cflags '-w +a' -I util -I syntax...

Perhaps some of these warnings are off by default? Then this PR would likely _deactivate_ more warnings than it activates, because it removes the `+a`. Ah yes: "The default setting...

> Dune has its [own set of default warnings](https://github.com/ocaml/dune/blob/97441450368ca70cdb82ab2dc9161fa9bc6ec0d7/src/dune_rules/ocaml_flags.ml#L8-L34) I see. So effectively, this PR turns on 27, but also turns off a whole set of other warnings. > Also...

One reason for holding back on making dune obligatory was its lack of proper Windows support. What's the status of that nowadays?

Ah, sorry about that. There is some history and politics around this... Yeah, at this point I highly doubt anybody is still using the winmake file, so I think we...

> Note that ocamlbuild is already not distributed with ocaml anymore I know, but everybody building Wasm of course has it installed right now, but not necessarily dune. I have...

@zapashcanon, do you still plan to pursue this?

Yes, this is as spec'ed in the standard, and it is rather intentional that program text (outside strings and comments) is limited to plain ASCII. Unicode identifiers are a can...

Yes, that would be relatively easy to add. It would even be a non-breaking change, since we allow shadowing of labels, so existing code like ``` (func $f (block $f...