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?
to your account
Original bug ID: 6907
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2017-02-16T14:14:48Z)
Target version: 4.03.0+dev / +beta1
Fixed in version: 4.03.0+dev / +beta1
Monitored by: @ivg
On the following code, compiler fails with "Fatal error: exception Stack overflow"
class type ['e] t = object('s)
method update : 'e -> 's
module type S = sig
class base : 'e -> ['e] t
missed type parameters *)
$ ocamlc min.ml
The bug is reproducible on at least 4.02.2 and 4.02.1. I didn't try on older versions.
The category is chosen based on an educated guess. I have no real witness, that it is from type checker, other then the error occurs on both ocamlc, ocaml, ocamlopt and even merlin.
Also, when minimizing an example, I've figured out, that the trigger is the return type of update method. If I change update return type to unit for example, the error will not show itself.
The text was updated successfully, but these errors were encountered:
Comment author: @garrigue
Fixed in trunk at revision 16513.
Forgot to mark loops in the type...
Sorry, something went wrong.
No branches or pull requests