Currently if you forget to add a melange.ppx on external code, it will fail at call site and not on declaration, which leads to all sorts of error messages such as Unimplemented primitive used.

Hinting melange.ppx could help a lot here, but also rejecting invalid externals at declaration.

Additionally melange could detect the [@bs.something] stuff and hint as a warning that it was detected.