Commit 12c6ab40 authored by POTTIER Francois's avatar POTTIER Francois

TODO.

parent b5cffae1
...@@ -21,7 +21,6 @@ Can I easily do it? ...@@ -21,7 +21,6 @@ Can I easily do it?
Need a map_reduce visitor? Need a map_reduce visitor?
Check that every module has an .mli file, except where that would be too heavy. Check that every module has an .mli file, except where that would be too heavy.
The type (_, _) abstraction could be transparent, private, or opaque.
Operations on each kind of environment: Operations on each kind of environment:
Entering a binder (and testing for global uniqueness). Entering a binder (and testing for global uniqueness).
...@@ -32,6 +31,9 @@ and possibly the various kinds of environments that we use. ...@@ -32,6 +31,9 @@ and possibly the various kinds of environments that we use.
Document the precondition and postcondition of every function. Document the precondition and postcondition of every function.
Deal with more complex forms of binding. Deal with more complex forms of binding.
How do we deal with forms where a name can have several binding occurrences?
e.g., or-patterns, join-calculus
let, let rec, multiple let, multiple let rec, telescopes
Try dealing with binding and hash-consing at the same time. Try dealing with binding and hash-consing at the same time.
......
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