Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Type-checking error messages are in OCaml syntax #531

Open
jberdine opened this issue May 24, 2016 · 5 comments
Open

Type-checking error messages are in OCaml syntax #531

jberdine opened this issue May 24, 2016 · 5 comments
Assignees
@chenglou
Labels
Editor support Error messages confusing, missing, or just weak error messages

Comments

@jberdine
Copy link
Contributor

Better if they were in Reason.
@chenglou chenglou assigned chenglou and unassigned chenglou May 25, 2016
@chenglou
Copy link
Member

@jordwalke so I guess we're keeping my refmterr stuff? No other ways right?

@jordwalke
Copy link
Member

I suppose so.

@let-def
Copy link
Contributor

let-def commented Dec 16, 2016

Printing of errors in the compiler is done with the Outcometree. The necessary code is implemented in Reason_oprint.

OCaml 4.04 implemented support for plugins, a bit of code dynamically loaded in the ocaml process. After Reason switch to 4.04, implementing a simple plugin to setup the Oprint printers will be easy.

@let-def
Copy link
Contributor

let-def commented Dec 16, 2016

Plugins GPR: ocaml/ocaml#648

@chenglou chenglou mentioned this issue Oct 11, 2017
Closed
@jaredly jaredly added Editor support Error messages confusing, missing, or just weak error messages labels Jun 14, 2018
@anmonteiro
Copy link
Member

plugins were removed in ocaml/ocaml#2276 so this is no longer a viable strategy

@anmonteiro anmonteiro mentioned this issue Jul 11, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@chenglou chenglou

Labels
Editor support Error messages confusing, missing, or just weak error messages
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
6 participants
@jaredly @anmonteiro @jordwalke @let-def @jberdine @chenglou