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
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.
--
Nicolas
On Thu, Dec 10, 2009 at 02:49:43PM +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
Any chance that it will be
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
From: Serge Leblanc serge.lebl...@orange.fr
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