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: 1917 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Damien Pous
Version: 3.07
OS: Debian/GNU Linux (testing/unstable)
Submission from: mailhost.ens-lsh.fr (193.51.131.2)
the following code produces a Stack overflow at compile time
(ocamlc, ocamlopt, toplevel)
<<
class type ['a, 'b] a = object
method b: ('a, 'b) #b as 'b
method as_a: ('a, 'b) a
end and ['a, 'b] b = object
method a: ('a, 'b) #a as 'a
method as_b: ('a, 'b) b
end
class type ['b] ca = object ('s) inherit ['s, 'b] a end
class type ['a] cb = object ('s) inherit ['a, 's] b end
type bt = 'b ca cb as 'b
renaming methods as_a and as_b to the same name "fix" it...
The text was updated successfully, but these errors were encountered:
Original bug ID: 1917
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Full_Name: Damien Pous
Version: 3.07
OS: Debian/GNU Linux (testing/unstable)
Submission from: mailhost.ens-lsh.fr (193.51.131.2)
the following code produces a Stack overflow at compile time
(ocamlc, ocamlopt, toplevel)
<<
class type ['a, 'b] a = object
method b: ('a, 'b) #b as 'b
method as_a: ('a, 'b) a
end and ['a, 'b] b = object
method a: ('a, 'b) #a as 'a
method as_b: ('a, 'b) b
end
class type ['b] ca = object ('s) inherit ['s, 'b] a end
class type ['a] cb = object ('s) inherit ['a, 's] b end
type bt = 'b ca cb as 'b
renaming methods as_a and as_b to the same name "fix" it...
The text was updated successfully, but these errors were encountered: