Owen Healy

> That’s the base command, yeah, you need to add -p some-package no top of it to narrow it to a single package So maybe a wrapper script to infer...

> So maybe a wrapper script to infer the current project and add the `-p`? I'm going to give that a try. Alas, I can find no way to detect...

I'm a newbie, so I'm sorry if this is a silly question. I don't understand why f : (_ : 1 a) -> a f x = x is well-typed....

OK, I think I may have answered my own question. Again, I'm sorry for not understanding things. `\x => x` is allowed to have type `(_ : 1 a) =>...

Hi @ryyppy Here's the issue on rescript-vscode: https://github.com/rescript-lang/rescript-vscode/issues/426 Some kinks are being worked out on it.

Here's a shorter code that demonstrates the issue: ```rescript type item = { x?: int } let x1 = None let x2 = if Math.random() < 2.0 { None }...

My take on this issue is that since Rescript is a functional language, it should usually be true that "equals can be substituted for equals." So I think the correct...

The relevant lines appear to be https://github.com/rescript-lang/rescript-compiler/blob/3bb11b4151ffadf9a14802c01cb9869288bab5b8/jscomp/core/js_dump.ml#L743-L750

Here's a demonstration of how js code generation can be changed to omit `None` optional fields, regardless of whether the compiler can tell at compile-time that they are `None`: https://github.com/rescript-lang/rescript-compiler/compare/master...ellbur:rescript-compiler:object-with-spreads...

As I was working on this, I had a couple thoughts: 1. The `Record_regular` / `Record_optional` is per-record rather than per-field. I suppose for more finely tuned js-interop, it should...