You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 7499 Reporter:@gasche Assigned to:@mshinwell Status: resolved (set by @mshinwell on 2017-03-03T17:14:08Z) Resolution: not a bug Priority: normal Severity: text Category: documentation Related to:#7426
Bug description
This flambda error occurs in existing OCaml programs, where it is not always the sign of an erroneous use of unsafe features. This is a delicate issue and I don't know what guidance to give to users that encounter this error.
For people ending up in this issue as they are looking for documentation: if the program that fails to compile uses objects with a float instance variable, look no further, this is an instance of #7426 which has been fixed upstream in 4.05.
Fatal errors in Flambda are always intended to indicate a bug in the compiler; I don't think they should be documented in the manual. That was the case for #7426 and I very strongly suspect the same issue is responsible for the two reports here, since they both involve variables called "self". The first result on Google for that error message is in fact #7426...
If this error is ever seen on user code when using a compiler with the fix for #7426, even if using unsafe features, another Mantis issue should be opened.
Original bug ID: 7499
Reporter: @gasche
Assigned to: @mshinwell
Status: resolved (set by @mshinwell on 2017-03-03T17:14:08Z)
Resolution: not a bug
Priority: normal
Severity: text
Category: documentation
Related to: #7426
Bug description
This flambda error occurs in existing OCaml programs, where it is not always the sign of an erroneous use of unsafe features. This is a delicate issue and I don't know what guidance to give to users that encounter this error.
The meaning of this error, and how to diagnoze and fix the situation, should be documented in the flambda manual: https://caml.inria.fr/pub/docs/manual-ocaml/flambda.html
Additional information
This error seems occurs with Frama-C for example:
ocaml/opam-repository#8599 (comment)
The text was updated successfully, but these errors were encountered: