Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fatal error: exception Assert_failure("typing/env.ml", 629, 54) #6083

Closed
vicuna opened this issue Jul 20, 2013 · 2 comments
Closed

Fatal error: exception Assert_failure("typing/env.ml", 629, 54) #6083

vicuna opened this issue Jul 20, 2013 · 2 comments

Comments

@vicuna
Copy link

vicuna commented Jul 20, 2013

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);;

@vicuna
Copy link
Author

vicuna commented Jul 20, 2013

Comment author: @lpw25

Simpler example of (probably) the same bug:

      OCaml version 4.00.1

class type foo = [int] foo;;

Fatal error: exception Assert_failure("typing/env.ml", 629, 54)

@vicuna
Copy link
Author

vicuna commented Jul 20, 2013

Comment author: @lpw25

This bug does not seem to still be on trunk

Edit: Indeed this seems to be a duplicate of #5858

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant