BetterErrors
BetterErrors copied to clipboard
reasonml-old
Make OCaml/Reason errors prettier
When some opam dependency is updated, and a reinstallation of BetterError occurs, I get the following errors: ``` [ERROR] The compilation of BetterErrors failed at "make install". [WARNING] Directory /Users/cristianoc/.opam/4.02.1/lib/BetterErrors...
It's slightly misleading to newcomers because it sounds like "this constructor doesn't exist". But it does (?); you're just not using it correctly.
https://realworldocaml.org/v1/en/html/the-compiler-frontend-parsing-and-type-checking.html Search for "principal" Because newcomers likely don't wanna dig through compilation pipeline explanation to understand the warning.
 This highlight is misleading. Because it's very possible that `'a` is indeed `category list`. We should put it in another color or something, to indicate...
https://ocaml.org/learn/tutorials/common_error_messages.html We could provide even better error for optional argument erasure by providing a solution, as shown in the doc.
Resources: http://stackoverflow.com/questions/23595967/parameterized-types-in-ocaml http://stackoverflow.com/questions/29624950/what-is-the-meaning-of-warning-40-this-record-contains-fields-that-are-not Latter contains good questions and answers.
e.g. ``` This is: A.b -> C.d Wanted: A.z -> C.y ``` should highlight b and z, and d and y only.