Version française
Home     About     Download     Resources     Contact us    
Browse thread
Constraints in module types
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Alessandro Baretta <a.baretta@b...>
Subject: Constraints in module types
# type foo = [ `Foo of foo ];;
type foo = [ `Foo of foo ]
# module type BAR = sig type bar constraint bar = [ > foo ] end;;
The type constraints are not consistent.
Type bar is not compatible with type [> foo ]

Is there a good reason for prohibiting the above declarations? Could I achieve a 
similar effect with private row types?

Alex