Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006083OCamlOCaml typingpublic2013-07-20 15:192013-07-21 11:10
Reportergoswin 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionduplicate 
Platformamd64OSDebian GNU/LinuxOS Versionsid
Product Version4.00.1 
Target VersionFixed in Version4.01.0+dev 
Summary0006083: Fatal error: exception Assert_failure("typing/env.ml", 629, 54)
DescriptionThe 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 Reproduceclass 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);;
TagsNo tags attached.
Attached Files

- Relationships
duplicate of 0005858resolvedgarrigue Assert failure during typing of class 

-  Notes
(0009816)
lpw25 (developer)
2013-07-20 20:46

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)
(0009817)
lpw25 (developer)
2013-07-20 21:04
edited on: 2013-07-20 21:20

This bug does not seem to still be on trunk

Edit: Indeed this seems to be a duplicate of 0005858


- Issue History
Date Modified Username Field Change
2013-07-20 15:19 goswin New Issue
2013-07-20 20:46 lpw25 Note Added: 0009816
2013-07-20 21:04 lpw25 Note Added: 0009817
2013-07-20 21:20 lpw25 Note Edited: 0009817 View Revisions
2013-07-20 21:20 lpw25 Relationship added duplicate of 0005858
2013-07-20 21:22 lpw25 Status new => resolved
2013-07-20 21:22 lpw25 Fixed in Version => 4.01.0+dev
2013-07-20 21:22 lpw25 Resolution open => duplicate
2013-07-20 21:22 lpw25 Assigned To => lpw25
2013-07-21 11:10 lpw25 Assigned To lpw25 =>


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker