Comment author: administrator

Il me semble que le comportement suivant est un bug:

    Objective Caml version 2.99 (99/12/08)

type int = A;;

type int = A

A;;

• : int = A

1;;

• : int = 1

le type int étant surchargé, il faudrait mettre Pervasives.int sur la
dernière ligne.

En fait, le type "int" ne fait pas partie du module Pervasives, c'est
un type prédéfini par le typeur en dehors de tout module. C'est vrai
que la documentation est légèrement mensongère à ce propos, pour des
raisons douteuses. Par conséquent, il n'y a pas d'autre nom pour
"int" que l'on puisse utiliser à l'affichage. C'est la même situation
que:

#type t = A;;
#type t = B;;
#A;;

• : t = A

Camllight réagissait bien:

C'est vrai, mais Caml Light, lui, plaçait les types prédéfinis dans un
module spécial appelé "builtin".

Cordialement,

• Xavier Leroy

Comment author: administrator

Correct behavior, but documentation should be fixed.

The documentation was fixed at some point in the past. -- Damien 2002-11-05