Commit a48b332d authored by POTTIER Francois's avatar POTTIER Francois


parent 35258f75
......@@ -2,6 +2,10 @@
Check that the notion of irregular data type
and the regularity restriction
are explained in the right places.
Document [polymorphic].
Show expr_info_polymorphic.
Show ['a seq] -- polymorphic recursion.
......@@ -11,13 +15,13 @@ Document [polymorphic].
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].
Document [data].
Document [nude].
In fully [polymorphic] mode, perhaps one could allow [@@deriving visitors]
to be used in an .mli file, producing class types.
In [polymorphic] mode, we could annotate every invocation
of an external visitor method with its expected (polymorphic) type,
so as to get better type error messages if this method does not have
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