From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA20011 for caml-red; Sun, 21 Jan 2001 22:25:24 +0100 (MET)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA15808 for <caml-list@pauillac.inria.fr>; Sun, 21 Jan 2001 17:59:07 +0100 (MET)
Received: from nef.ens.fr (nef.ens.fr [129.199.96.32])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f0LGx6v25324
	for <caml-list@inria.fr>; Sun, 21 Jan 2001 17:59:06 +0100 (MET)
Received: from clipper.ens.fr (clipper-gw.ens.fr [129.199.1.22])
          by nef.ens.fr (8.10.1/1.01.28121999) with ESMTP id f0LGx6v36863
          for <caml-list@inria.fr>; Sun, 21 Jan 2001 17:59:06 +0100 (CET)
Received: from localhost (frisch@localhost) by clipper.ens.fr (8.9.2/jb-1.1)
	id RAA04190 for <caml-list@inria.fr>; Sun, 21 Jan 2001 17:59:06 +0100 (MET)
Date: Sun, 21 Jan 2001 17:59:06 +0100 (MET)
From: Alain Frisch <frisch@clipper.ens.fr>
To: Caml list <caml-list@inria.fr>
Subject: Implicit constraints in type declaration
Message-ID: <Pine.GSO.4.04.10101211732070.1305-100000@clipper.ens.fr>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: weis@pauillac.inria.fr

Hello,

I don't understand why the following type declaration implies a
constraint:

# type 'a t = int and b = int t;;
type 'a t = int constraint 'a = int
type b = int t

Also, I don't understand this error message (I can imagine why
the declaration is illegal):

# type 'a t = u and u = int;;
                    ^^^^^^^
A type variable is unbound in this type declaration


-- 
  Alain Frisch