Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005081OCamlOCaml generalpublic2010-06-21 11:562010-06-21 13:49
Reporterfrisch 
Assigned Togarrigue 
PrioritynormalSeveritycrashReproducibilityhave not tried
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version3.12.0+dev 
Summary0005081: Checking of class type inclusion with arguments is broken
DescriptionThe following produces a segfault:

module S : sig
  class generic_component:
    object
      method s: string
    end
end = struct
  class generic_component () =
    object
        method s = "AAA"
    end
end

let () =
  print_endline ((new S.generic_component) # s)


It seems that only object signatures are checked, not class parameters. I suspect this has been introduced by commit 10541 (not checked).
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0005568)
garrigue (manager)
2010-06-21 13:49

this was a stupid bug in error reporting...

fixed in version/3.12 revision 10600.

- Issue History
Date Modified Username Field Change
2010-06-21 11:56 frisch New Issue
2010-06-21 11:56 frisch Status new => assigned
2010-06-21 11:56 frisch Assigned To => garrigue
2010-06-21 11:56 frisch Description Updated
2010-06-21 11:57 frisch Summary Checking of type class inclusion with arguments is broken => Checking of class type inclusion with arguments is broken
2010-06-21 13:49 garrigue Note Added: 0005568
2010-06-21 13:49 garrigue Status assigned => closed
2010-06-21 13:49 garrigue Resolution open => fixed
2010-06-21 13:49 garrigue Fixed in Version => 3.12.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker