Commit b5fbf5b8 authored by POTTIER Francois's avatar POTTIER Francois

CHANGES.

parent 4d8a132c
2017/03/06:
2017/03/08:
A new option [polymorphic = true] allows generating visitor methods with
polymorphic types. With [polymorphic = true], a type variable ['a] is
handled by a visitor *function* [visit_'a], which is passed as an argument
to every visitor method; whereas, with [polymorphic = false], a type
variable ['a] is handled by a virtual visitor *method* [visit_'a].
When [polymorphic] is [true], irregular algebraic data types are supported.
When [polymorphic = true], visitor classes compose better,
and irregular algebraic data types are supported.
See the documentation for more details.
2017/03/03:
......
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