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: 1439 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Pierre Boulet
Version: 3.06 and 3.06+8
OS: linux and Win32 cygwin
Submission from: melig.lifl.fr (134.206.11.29)
While compiling the following code, the compiler enters an infinite loop (at
least I believe). It happens both with the bytecode and native code compiler,
both on linux and Win32/cygwin, that's why I believe it's in the type checking
that the bug is.
class virtual duplicatable =
object (_ : 'a)
method virtual dup : 'a
end;;
class virtual duplicatable : object ('a) method virtual dup : 'a end
class color (c_init : string) =
object (self)
inherit duplicatable
val c = c_init
method col = c
method dup = Oo.copy self
end;;
This code has worked OK with versions 3.00 to 3.04 of ocaml.
The text was updated successfully, but these errors were encountered:
While compiling the following code, the compiler enters an infinite loop (at
least I believe). It happens both with the bytecode and native code compiler,
both on linux and Win32/cygwin, that's why I believe it's in the
type checking that the bug is.
Thanks for your report.
Indeed an invariant was broken in objects, and I forgot to add the
needed checks.
This is now fixed in typing/ctype.ml.
Original bug ID: 1439
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Pierre Boulet
Version: 3.06 and 3.06+8
OS: linux and Win32 cygwin
Submission from: melig.lifl.fr (134.206.11.29)
While compiling the following code, the compiler enters an infinite loop (at
least I believe). It happens both with the bytecode and native code compiler,
both on linux and Win32/cygwin, that's why I believe it's in the type checking
that the bug is.
class virtual duplicatable =
object (_ : 'a)
method virtual dup : 'a
end;;
class virtual duplicatable : object ('a) method virtual dup : 'a end
class color (c_init : string) =
object (self)
inherit duplicatable
val c = c_init
method col = c
method dup = Oo.copy self
end;;
This code has worked OK with versions 3.00 to 3.04 of ocaml.
The text was updated successfully, but these errors were encountered: