Gabriel Nordeborn

When you need to prepend with `?` etc. Can we detect it and provide better errors and code actions?

PoC: emit code actions from the compiler that the editor tooling can use

1

Very messy PoC, but this is intended to show that we could fairly easily add a specific mode to `bsc` that the editor tooling and/or build system can enable to...

Rework impl/interface mismatch errors. WIP.

This PoC explores an IR for how types are represented at runtime in JS. This could be used to: - Power type coercion. - Improve error messages for coercion.

Builds on @cometkim work in https://github.com/rescript-lang/rescript-compiler/pull/7030 to also have array spreads be emitted as actual ES array spreads. Example: ```rescript let x = [1, 2, 3] let y = [...x,...

Enable incremental typechecking by default

4

Enables incremental typechecking by default by changing the name of the prop (so old configs are invalidated) and setting a new default. I'm sure there are more things we could...

"Extract to JSX component" code action

1

This would be nice. Select a bunch of JSX and extract it as a proper component. cc @nojaf

The analysis bin will still hang in rare occasions. We can set a timeout that autokills the process if it goes on for longer than say 15 seconds. We can...

From here: https://github.com/rescript-lang/rescript-compiler/pull/6721

Compiler PR: https://github.com/rescript-lang/rescript-compiler/pull/7059 Available in v12.