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: 7434 Reporter: awson Assigned to:@mshinwell Status: closed (set by @mshinwell on 2016-12-16T13:27:17Z) Resolution: duplicate Priority: normal Severity: major Version: 4.04.0 Category: ~DO NOT USE (was: OCaml general) Related to:#7426
Bug description
On this:
class foo = object
val mutable bar = 0.0
end
Ocaml 4.04+flambda spits:
Fatal error: Assignment of a float to a specialised non-float array: (array.unsafe_set[addr]<>
self/22 bar/18
Parraysetu_arg/30)
Fatal error: exception Misc.Fatal_error
Btw, his makes it unable to compile Coq IDE (fileOps.ml).
The text was updated successfully, but these errors were encountered:
Original bug ID: 7434
Reporter: awson
Assigned to: @mshinwell
Status: closed (set by @mshinwell on 2016-12-16T13:27:17Z)
Resolution: duplicate
Priority: normal
Severity: major
Version: 4.04.0
Category: ~DO NOT USE (was: OCaml general)
Related to: #7426
Bug description
On this:
class foo = object
val mutable bar = 0.0
end
Ocaml 4.04+flambda spits:
Btw, his makes it unable to compile Coq IDE (fileOps.ml).
The text was updated successfully, but these errors were encountered: