Comment author: administrator

Full_Name: Boris Yakobowski
Version: 3.06+29
OS: Linux
Submission from: elrond.residence.ens-lyon.fr (140.77.128.65)

type nat = private O | S of nat;;

type nat = virtual O | S of nat

module M = (struct type nat = private O | S of nat end :

          sig type nat = virtual O | S of nat end);;

Syntax error: 'end' expected, the highlighted 'sig' might be unmatched

module M = (struct type nat = private O | S of nat end :

          sig type nat = private O | S of nat end);;

module M : sig type nat = virtual O | S of nat end

Les pretty-printer affichent encore les types privés comme virtuels dans les
signatures, ce qui est rejeté par le parseur.

En tout cas, merci à Pierre pour les types virtuels !

--
Boris

Merci d'avoir signalé ce bug: il doit être corrigé maintenant dans la
version de travail.

Et merci de votre intérêt pour Caml!

Pierre Weis

INRIA, Projet Cristal, Pierre.Weis@inria.fr, http://pauillac.inria.fr/~weis/

Comment author: administrator

Fixed by PW 2003-05-02.