Commit 88a680e0 authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent b27d284e
......@@ -2,6 +2,9 @@
TODO (REALLY)
Document @name and @@name for types and data constructors.
Allow & document @constructor for sum types and record types.
------------------------------------------------------------------------------
TODO (PERHAPS)
......@@ -40,8 +43,6 @@ Maybe [fold] and [fold2] in VisitorsRuntime should just be aliases
Once we have that, can we deal with GADTs?
Add an annotation to rename a visitor method. (Reuben Rowe.)
Ancestors should be not just class names,
but class expressions (e.g. a class name applied to some arguments).
Then, one should also have the ability of parameterizing
......
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