Commit 971abb7f authored by POTTIER Francois's avatar POTTIER Francois


parent d9fa3b5a
......@@ -2,14 +2,15 @@
Continue to clean up near [ascend].
Inline some functions used only once? [ifeqphys], [ifbuild]
Share (bind rs ss (visit_types tys subjects) (ascend#ascend))
beware of capture: code in @build can see some private variables
Document @build for sum types and record types.
Careful not to mis-spell it.
Unify the [body] functions for sums and records?
Also hoist the [body] functions for tuples and opaque types, for clarity.
Document hexpr_polymorphic.
Add a pointer to
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