A signature that cannot be inhabited by any structures

["Hyeonseung Im" <genilhs@postech.ac.kr>]

[-- Attachment #1: Type: text/plain, Size: 47 bytes --]

?)7/ :N:P@87N 18<:5H MIME G|=D@G 8^=CAv@T4O4Y.

[-- Attachment #2: Type: text/plain, Size: 627 bytes --]

Hi all.

 

I found something interesting. In the OCaml, the following signature is
valid. (I tested it with the OCaml version 3.09.2 and 3.10.0.)

 

(In the top-level)

# module type S = sig val x : int val x : float end;;

module type S = sig val x : int val x : float end

 

But, this module type seems not to be inhabited by any structures. On the
contrary, in the SML this sort of module types cannot be defined. (Actually,
it raises an error: the duplication of variables.)

 

I wonder if this is a feature of the OCaml (or maybe a bug in the
implementation).

I'd appreciate any comment on it.

 

Hyeonseung Im.

 


[-- Attachment #3: Type: text/html, Size: 3334 bytes --]