summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--TODO.md27
1 files changed, 13 insertions, 14 deletions
diff --git a/TODO.md b/TODO.md
index 0d699162..8973018f 100644
--- a/TODO.md
+++ b/TODO.md
@@ -1,20 +1,10 @@
# TODO
-0. improve the use of [comp] for composition of functions with continuations
-
-0. derive [ord] for types
-
1. stateful maps/sets modules (hashtbl?)
1. Check the occurrence of visitors like visit_AEndedMutLoan: the parameters are
sometimes inverted!
-0. compute the region constraints for the type definitions
-
-2. set of types with mutable borrows (what to do when type variables appear under
- shared borrows?), nested borrows...
- necessary to know what to return.
-
2. check types are not "infinite"
3. in MIR, erased regions are completely erased (no list of erased regions...):
@@ -32,9 +22,6 @@
6. add `mvalue` (meta values) stored in abstractions when ending loans
-7. fix the static regions (with projectors)
- Before that, introduce a sanity check to make sure we don't use static regions.
-
8. The following doesn't work:
```
fn f1<'c, T>(p : (&'c mut T, &'c mut T)) -> (&'c mut T, &'c mut T)
@@ -52,7 +39,6 @@
`AEndedProjLoans of (mvalue * aproj) list`
If the list is empty, it means the value was not modified.
-
* write a function to check that the code we are about to synthesize is in the proper
subset. In particular:
* borrow overwrites
@@ -145,3 +131,16 @@
* Reduce projectors to `_` (ignored) when there are no region intersections
* Add a `Collections.ml` file, with `Map` and `Set`
+
+* improve the use of [comp] for composition of functions with continuations
+
+* derive [ord] for types
+
+* compute the region constraints for the type definitions
+
+* set of types with mutable borrows (what to do when type variables appear under
+ shared borrows?), nested borrows...
+ necessary to know what to return.
+
+* fix the static regions (with projectors)
+ Before that, introduce a sanity check to make sure we don't use static regions.