Original bug ID: 743
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Bonjour à tous,

Deux petites remarques:

• la section 6.10.2 de la doc reprend du matériau (type specifications,
  exception specification) qui est décrit de façon plus détaillée et
  surtout plus complète en 6.8.1 et 6.8.2. Ne devrait-on pas éliminer
  la redondance et inclure un simple pointeur?

• la construction `constraint' est mieux traitée dans les classes que
  dans les types, du point de vue des erreurs:

  type 'a t = 'a constraint bool = int;;

  The type constraints are not consistent

  class type c = object constraint bool = int end;;

  The class constraints are not consistent : type bool
  is not compatible with type int

--
François Pottier
Francois.Pottier@inria.fr
http://pauillac.inria.fr/~fpottier/