0005081: Checking of class type inclusion with arguments is broken - MantisBT

Mantis Bug Tracker

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

ID

Project

Category

View Status

Date Submitted

Last Update

0005081

OCaml

OCaml general

public

2010-06-21 11:56

2010-06-21 13:49

Reporter

frisch

Assigned To

garrigue

Priority

normal

Severity

crash

Reproducibility

have not tried

Status

closed

Resolution

fixed

Platform

OS

OS Version

Product Version

Target Version

Fixed in Version

3.12.0+dev

Summary

0005081: Checking of class type inclusion with arguments is broken

Description

The 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).

Tags

No tags attached.

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