Hi, the documentation for the revised syntax explain that abstract types are expressed by :
type bar = 'a; but ocaml returns an error.


#
        Objective Caml version 3.11.1

Camlp4 Parsing version 3.11.1

# type bar = 'a ;
Error: Unbound type parameter 'a

http://caml.inria.fr/pub/docs/manual-camlp4/manual007.html

Thanks,

-- Serge Leblanc gpg --keyserver  hkp://keyserver.ubuntu.com:11371 --recv-keys 0x33243C1B Fingerprint = 066C 005F 5595 D85C 7673  D969 1DD4 90C4 3324 3C1B