We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
Original bug ID: 6123 Reporter: @whitequark Assigned to: @garrigue Status: closed (set by @xavierleroy on 2015-12-11T18:23:54Z) Resolution: fixed Priority: normal Severity: crash Version: 4.00.1 Target version: 4.01.1+dev Fixed in version: 4.01.0+dev Category: typing Related to: #5619
While trying to compile the attached module, typechecker fails an assertion. The module is not well-typed; on 3.x this results in a type error.
ocamlc ssa.ml
The text was updated successfully, but these errors were encountered:
Comment author: @gasche
The code fails with a typing error as expected on 3.12. I reproduced the assert failure in both 4.00.1 and trunk.
Sorry, something went wrong.
Comment author: @garrigue
This is apparently a consequence of the way #5619 was fixed. Still looking for an alternative solution.
Fixed in trunk and 4.01, revisions 14021 an 14022.
garrigue
No branches or pull requests
Original bug ID: 6123
Reporter: @whitequark
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2015-12-11T18:23:54Z)
Resolution: fixed
Priority: normal
Severity: crash
Version: 4.00.1
Target version: 4.01.1+dev
Fixed in version: 4.01.0+dev
Category: typing
Related to: #5619
Bug description
While trying to compile the attached module, typechecker fails an assertion. The module is not well-typed; on 3.x this results in a type error.
Steps to reproduce
ocamlc ssa.ml
File attachments
The text was updated successfully, but these errors were encountered: