Commit 4d8a132c authored by POTTIER Francois's avatar POTTIER Francois
Browse files


parent a7d344d3
......@@ -2,15 +2,6 @@
Check that the notion of irregular data type
and the regularity restriction
are explained in the right places.
Document [polymorphic].
Show ['a seq] -- polymorphic recursion.
Document that, in [polymorphic] mode, any methods inherited from ancestors should have the fully polymorphic expected type -- otherwise the generated code will be ill-typed.
Can be illustrated with a hand-written visitor method for ['a opaque].
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