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.
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
Fatal error: exception File "typing/typeclass.ml", line 294 #7894
Comments
Comment author: wlitwin Forgot to check trunk, still appears to throw an exception as of commit: 7113629 $ ./ocamlc --version $ ./ocamlc main.ml |
Comment author: @gasche This appears to be a regression in 4.07.0. Indeed, 4.06.1 prints the following message instead: File "test.ml", line 10, characters 24-27: |
Comment author: @trefis We looked at this yesterday with Leo, and found a couple of other related issues. |
Comment author: @garrigue Is there any progress on this one? |
Comment author: @lpw25 I've got a patch coming that tidies up a fair few things in typeclass.ml and fixes this bug. Should take me a few more days, so assuming no urgent interruptions I should make a PR this week or next. |
This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc. |
IIRC « (details to follow in a GPR) » was a forward reference to #8516 . |
This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc. |
There was some progress on #8516 recently. |
This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc. |
This was fixed by #8516: on 4.14 I get the same error message as on 4.06. |
Original bug ID: 7894
Reporter: wlitwin
Assigned to: @lpw25
Status: assigned (set by @lpw25 on 2019-02-15T10:13:47Z)
Resolution: open
Priority: normal
Severity: crash
Version: 4.07.0
Category: typing
Monitored by: @nojb @gasche
Bug description
OCaml 4.07.0 fails to compile the following program:
Steps to reproduce
paste the description code into a src file and try building with:
The following happens:
File attachments
The text was updated successfully, but these errors were encountered: