Commit ad63b042 authored by POTTIER Francois's avatar POTTIER Francois


parent 73fd2247
New attributes [@name] and [@@name] can be attached to types, type declarations,
and data constructors, so as to alter the names of the generated methods. See
the documentation for details. (This feature was suggested by Reuben Rowe.)
A new option [polymorphic = true] allows generating visitor methods with
polymorphic types. With [polymorphic = true], a type variable ['a] is
......@@ -7,6 +12,7 @@ variable ['a] is handled by a virtual visitor *method* [visit_'a].
With [polymorphic = true], visitor classes compose better,
and irregular algebraic data types are supported.
See the documentation for more details.
(This feature was suggested by Reuben Rowe.)
A new option [data = false] allows suppressing the generation of visitor
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment