Re: [Caml-list] revised syntax for abstract types ?

[Serge Leblanc <serge.leblanc@orange.fr>]

[-- Attachment #1.1: Type: text/plain, Size: 1024 bytes --]

On Thu, 2009-12-10 at 14:49 +0100, Nicolas Pouillard wrote:

> Excerpts from Serge Leblanc's message of Thu Dec 10 12:56:44 +0100 2009:
> > Hi, the documentation for the revised syntax explain that abstract types
> > are expressed by :
> 
> The documentation is too old, abstract types now have the same syntax in
> revised than in the original OCaml syntax.
> 


In the following types definitions,

type trie 'a = [ Trie of arcs 'a ]
and arcs 'a = list ('a * trie 'a);

type zipper 'a = [ Top | Zip of (arcs 'a * 'a * arcs 'a * zipper 'a) ]
and edit_state 'a = (zipper 'a * trie 'a);

why is it not possible to describe them thus ?

type letter = 'a;
type trie = [ Trie of arcs ]
and arcs = list (letter * trie);

type zipper = [ Top | Zip of (arcs * letter * arcs * zipper) ]
and edit_state = (zipper * trie);

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

[-- Attachment #1.2: Type: text/html, Size: 2748 bytes --]

[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 197 bytes --]