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: 6083 Reporter: goswin Status: closed (set by @xavierleroy on 2015-12-11T18:21:07Z) Resolution: duplicate Priority: normal Severity: minor Platform: amd64 OS: Debian GNU/Linux OS Version: sid Version: 4.00.1 Fixed in version: 4.01.0+dev Category: typing Duplicate of:#5858
Bug description
The type definition and class below cause an assertion failure:
class type ['w] t = object method push : 'a . ('w as 'a) -> unit end;;
class type ['w] t = object method push : 'w0 -> unit end
class type foo = object method foo : foo t -> unit end;;
class type foo = object method foo : foo t -> unit end
class foo = (object method foo x = () end : foo);;
Fatal error: exception Assert_failure("typing/env.ml", 629, 54)
(Program not linked with -g, cannot print stack backtrace)
Steps to reproduce
class type ['w] t = object method push : 'a . ('w as 'a) -> unit end;;
class type foo = object method foo : foo t -> unit end;;
class foo = (object method foo x = () end : foo);;
The text was updated successfully, but these errors were encountered:
Original bug ID: 6083
Reporter: goswin
Status: closed (set by @xavierleroy on 2015-12-11T18:21:07Z)
Resolution: duplicate
Priority: normal
Severity: minor
Platform: amd64
OS: Debian GNU/Linux
OS Version: sid
Version: 4.00.1
Fixed in version: 4.01.0+dev
Category: typing
Duplicate of: #5858
Bug description
The type definition and class below cause an assertion failure:
class type ['w] t = object method push : 'a . ('w as 'a) -> unit end;;
class type ['w] t = object method push : 'w0 -> unit end
class type foo = object method foo : foo t -> unit end;;
class type foo = object method foo : foo t -> unit end
class foo = (object method foo x = () end : foo);;
Fatal error: exception Assert_failure("typing/env.ml", 629, 54)
(Program not linked with -g, cannot print stack backtrace)
Steps to reproduce
class type ['w] t = object method push : 'a . ('w as 'a) -> unit end;;
class type foo = object method foo : foo t -> unit end;;
class foo = (object method foo x = () end : foo);;
The text was updated successfully, but these errors were encountered: