Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Implicit constraints in type declaration
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-01-21 (21:25)
From: Alain Frisch <frisch@c...>
Subject: Implicit constraints in type declaration

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

# 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