Re: [Caml-list] extensible records again

[Achim Blumensath <blume@labri.fr>]

Michael Vanier wrote:
> I took up your suggestion and downloaded your code.  In Opaque.ml I see
> this mysterious declaration:
> 
> type opaque 'a =
> {
>   data      : !'b . 'b;
>   type_info : type_info 'a
> }
> and type_info 'a =
> {
>   apply   : opaque 'a -> 'a -> 'a;
>   compare : opaque 'a -> opaque 'a -> bool;
>   unify   : opaque 'a -> opaque 'a -> bool
> };
>  
> I realize that this uses the revised syntax, but I can't find any
> documentation on what "!'b . 'b" is supposed to mean.  It looks like a
> universal quantifier on 'b -- correct?

Yes, it is mentioned in the manual at the end of section 1.5.
The usual syntax is 'b . 'b without the !.

Achim
-- 
________________________________________________________________________
                                                              | \_____/ |
   Achim Blumensath                                          \O/ \___/\ |
   LaBRI / Bordeaux                                          =o=  \ /\ \|
   www-mgi.informatik.rwth-aachen.de/~blume                  /"\   o----|
____________________________________________________________________\___|

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners