Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005694OCamlOCaml typingpublic2012-07-20 23:322012-07-21 03:16
Reportermottl 
Assigned Togarrigue 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version4.00.0+beta2/+rc1 
Target VersionFixed in Version4.00.0+dev 
Summary0005694: Exception raised by type checker
DescriptionThe type checker raises an exception: Invalid_argument("List.iter2")
Steps To ReproducePut this in file foo.ml:

  include (struct end : sig type 'a t end with type 'a t := unit)

Run "ocaml foo.ml", which will raise the mentioned exception.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0007790)
garrigue (manager)
2012-07-21 03:16

Forgot to check that the numbers of parameters were identical.
Fix in trunk and 4.00, revision 12753/4.

- Issue History
Date Modified Username Field Change
2012-07-20 23:32 mottl New Issue
2012-07-21 03:01 garrigue Assigned To => garrigue
2012-07-21 03:01 garrigue Status new => assigned
2012-07-21 03:16 garrigue Note Added: 0007790
2012-07-21 03:16 garrigue Status assigned => closed
2012-07-21 03:16 garrigue Resolution open => fixed
2012-07-21 03:16 garrigue Fixed in Version => 4.00.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker