summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSon Ho2022-01-13 20:53:56 +0100
committerSon Ho2022-01-13 20:53:56 +0100
commit9490bbc564d07db34a96d0fe0a4296ae48f239cb (patch)
tree89866ab4785aaf4ef751648044d686553d86d73b
parent8dfe03ed7c23ecec2844287c341be9d745c2ebb2 (diff)
Update the TODO list
-rw-r--r--TODO.md8
1 files changed, 4 insertions, 4 deletions
diff --git a/TODO.md b/TODO.md
index 62463d6a..37cfe986 100644
--- a/TODO.md
+++ b/TODO.md
@@ -2,10 +2,6 @@
* write an interesting example to study with Jonathan
-* update the assignment to move the destination value (which will be overriden)
- to a dummy variable, and end all the outer borrows.
- Also update pop_frame.
-
* add option for: `allow_borrow_overwrites_on_input_values`
(rather: `will_overwrite_input_borrows`)
(but always disallow borrow overwrites on returned values)
@@ -73,3 +69,7 @@
# DONE
+
+* update the assignment to move the destination value (which will be overriden)
+ to a dummy variable, and end all the outer borrows.
+ Also update pop_frame.