Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004136OCamlOCaml generalpublic2006-10-16 17:422010-04-30 06:44
ReporterGuillaume Bonfante 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.09.2 
Target VersionFixed in Version3.12.0+dev 
Summary0004136: Obscure compilation message error "Illegal permutation of structure fields"
Descriptionwhen compiling the following programs,

simple.mli :
module type X =
  sig
    val t : int
    val t : int
  end

simple.ml :
module type X =
  sig
    val t : int
    val t : int
  end

one gets a message :
***********
The implementation simple.ml does not match the interface simple.cmi:
Module type declarations do not match:
  module type X = sig val t : int val t : int end
does not match
  module type X = sig val t : int val t : int end
Illegal permutation of structure fields
*******
which is not really informative. With one thousand line of code, it becomes hard to recover the mistake.
TagsNo tags attached.
Attached Files? file icon simple.ml [^] (61 bytes) 2006-10-16 17:42 [Show Content]

- Relationships
has duplicate 0004296closed compilation failed on module types with duplicated values 

-  Notes
(0005422)
garrigue (manager)
2010-04-30 06:44

Fixed by revision 10263 (do not generate such module types).

- Issue History
Date Modified Username Field Change
2006-10-16 17:42 Guillaume Bonfante New Issue
2006-10-16 17:42 Guillaume Bonfante File Added: simple.ml
2006-11-15 16:09 doligez Status new => acknowledged
2009-08-25 15:19 xclerc Relationship added has duplicate 0004296
2010-04-30 06:44 garrigue Note Added: 0005422
2010-04-30 06:44 garrigue Status acknowledged => closed
2010-04-30 06:44 garrigue Resolution open => fixed
2010-04-30 06:44 garrigue Fixed in Version => 3.12.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker