0004136: Obscure compilation message error "Illegal permutation of structure fields"

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0004136

OCaml

OCaml general

public

2006-10-16 17:42

2010-04-30 06:44

Reporter

Guillaume Bonfante

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS Version

Product Version

3.09.2

Target Version

Fixed in Version

3.12.0+dev

Summary

0004136: Obscure compilation message error "Illegal permutation of structure fields"

Description

when 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.

Tags

No tags attached.

Attached Files

simple.ml [^] (61 bytes) 2006-10-16 17:42

Relationships

has duplicate

0004296

closed

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