0005164: Multiple 'module type of' are incompatible

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0005164

OCaml

OCaml general

public

2010-10-06 17:22

2010-10-07 04:24

Reporter

sebmondet

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS Version

Product Version

3.12.0

Target Version

Fixed in Version

3.12.1+dev

Summary

0005164: Multiple 'module type of' are incompatible

Description

Trying to compile this:

module type INCLUDING = sig
   include module type of List
   include module type of ListLabels
end

module Including_typed: INCLUDING = struct
   include List
   include ListLabels
end

gives the error:
File "tt.ml", line 7, characters 36-82:
Error: Signature mismatch:
       Modules do not match:
         sig
           val length : 'a list -> int
      (* ... the whole ListLabels signature ... *)
         end
       is not included in
         INCLUDING
       Values do not match:
         val iter : f:('a -> unit) -> 'a list -> unit
       is not included in
         val iter : ('a -> unit) -> 'a list -> unit

with:
$ ocamlc -version
3.12.0

(compiled from GODI)

Tags

No tags attached.

Attached Files

Relationships

has duplicate

0004487

closed

garrigue

Unable to override a value in a module type with ocamlc.

Notes
(0005677) garrigue (manager) 2010-10-07 04:24	Well spotted. There was a very stupid bug in 3.12, where only the first repeated definition was discarded when including signatures, but other repetitions were kept. This is fixed in revision 10706, file typemod.ml.

Issue History
Date Modified	Username	Field	Change
2010-10-06 17:22	sebmondet	New Issue
2010-10-07 04:24	garrigue	Note Added: 0005677
2010-10-07 04:24	garrigue	Status	new => closed
2010-10-07 04:24	garrigue	Resolution	open => fixed
2010-10-07 04:24	garrigue	Fixed in Version	=> 3.12.1+dev
2010-12-13 13:05	garrigue	Relationship added	has duplicate 0004487