Gabriel Nordeborn

Coercion improvements

5

Listing some ideas for improvements to coercion/subtyping. - [ ] A variant can be coerced to a polyvariant if the polyvariant is closed and the runtime representation matches - [...

Inline/nested records was recently added to v12. We could investigate what it'd take to allow them in `external` definitions as well, where they would also be quite useful.

[PoC] Injectable source loc arg

10

100% inspired by MoonBit's [autofill `SourceLoc` function argument](https://docs.moonbitlang.com/en/latest/language/fundamentals.html#autofill-arguments), this makes it possible to inject a labelled argument to any function, and as long as it's optionak, has the type of...

## Force explicit type for union object * RescriptRelay emits all union selections as inline records on the union type itself * This can be problematic in cases where you...

When doing `useOpt` we need to account for whether the fragment itself is optional too. Right now we get `option` in that case, but we should just get `option`.