Commit 7d47a7e4 authored by POTTIER Francois's avatar POTTIER Francois

CHANGES.

parent b5fbf5b8
...@@ -4,7 +4,7 @@ polymorphic types. With [polymorphic = true], a type variable ['a] is ...@@ -4,7 +4,7 @@ polymorphic types. With [polymorphic = true], a type variable ['a] is
handled by a visitor *function* [visit_'a], which is passed as an argument handled by a visitor *function* [visit_'a], which is passed as an argument
to every visitor method; whereas, with [polymorphic = false], a type to every visitor method; whereas, with [polymorphic = false], a type
variable ['a] is handled by a virtual visitor *method* [visit_'a]. variable ['a] is handled by a virtual visitor *method* [visit_'a].
When [polymorphic = true], visitor classes compose better, With [polymorphic = true], visitor classes compose better,
and irregular algebraic data types are supported. and irregular algebraic data types are supported.
See the documentation for more details. See the documentation for more details.
......
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