Original bug ID: 5343
Reporter: @garrigue
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2016-12-07T10:49:21Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 3.12.1
Fixed in version: 4.01.0+dev
Category: ~DO NOT USE (was: OCaml general)
Related to: #5863 #6505
Parent of: #6007 #6870
Monitored by: "Julien Signoles"

Bug description

The following example should not be accepted...

module M : sig
type 'a t
type u = u t and v = v t
val f : int -> u
val g : v -> bool
end = struct
type 'a t = 'a
type u = int and v = bool
let f x = x
let g x = x
end;;

let h x = M.g (M.f x);;

val h : int -> bool =

h 3;;

• : bool =