Commit 649556a0 authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent 9fcab9a8
...@@ -6,6 +6,11 @@ TODO (REALLY) ...@@ -6,6 +6,11 @@ TODO (REALLY)
TODO (PERHAPS) TODO (PERHAPS)
If there is an error, then the warnings are never seen,
because they are placed in the generated code.
Can we fix this?
e.g. type t = A of (int -> int)[@opaque]
In fully [polymorphic] mode, perhaps one could allow [@@deriving visitors] In fully [polymorphic] mode, perhaps one could allow [@@deriving visitors]
to be used in an .mli file, producing class types. to be used in an .mli file, producing class types.
......
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