Original bug ID: 4988
Reporter: yziquel
Assigned to: @garrigue
Status: closed (set by @garrigue on 2010-04-30T03:10:08Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 3.11.2
Fixed in version: 3.11.2
Category: ~DO NOT USE (was: OCaml general)
Monitored by: yziquel mehdi @glondu

Bug description

Here's the .ml file:

yziquel@seldon:~/sandbox$ cat t.ml
type untyped
type 'a typed = private untyped
type -'typing tau = private obj
and 'a t = 'a typed tau
and obj = private untyped tau

Here's the infered .mli:

yziquel@seldon:~/sandbox$ ocamlc -i t.ml
type untyped
type 'a typed = private untyped
type 'a tau = private obj
and 'a t = 'a typed tau
and obj = private untyped tau

The contravariance on tau is lost in the signature declaration.