Hongbo Zhang

@johnridesabike Yes, that's a known trade off. It is impossible to tell whether it is a single-constructor or not during parsing.

you already get the warning for partial pattern match?

@IwanKaramazow The recent [addition of pattern match over modules](https://forum.rescript-lang.org/t/introducing-an-extension-to-make-pattern-match-works-on-modules/1196) make me think that it is a good idea to explore the `let pat = exp` in a different way. Currently,...

This seems to be a purely a syntax issue, it should be fixed on the syntax repo

consider `assert` as a regular function makes more sense to me `assert (1==2)`

> There are some official Belt functions that use Js.Undefined The reason is that nested Undefined is flattened which is contrary to option so that the generated code is slightly...

On Mon, May 4, 2020 at 8:59 PM John Jackson wrote: > Can you annotate externals with it as polymorphic instead of a concrete > type? (Js.Undefined.t('a)) > > I...

Note this is not subtyping. It is row polymorphism

we will keep this

Is there any difference between `ocaml.doc` and `doc`, if so, shall we go with `doc`? ``` @doc(` \`greeting(lang, name)\` Returns a greeting string for given \`name\` in language \`lang\`. `)...