diff options
author | Son Ho | 2022-01-24 16:51:28 +0100 |
---|---|---|
committer | Son Ho | 2022-01-24 16:51:28 +0100 |
commit | e5dce61f35fcc0e716f7aadc32f254c8ba103887 (patch) | |
tree | 380df674714ed7133bf660bd9b75c233ced79485 /TODO.md | |
parent | 3f10869014d639199fc18df661c3faf3b90e6462 (diff) |
Start working on name generation for the synthesis
Diffstat (limited to '')
-rw-r--r-- | TODO.md | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -2,6 +2,8 @@ 0. update the end borrows internal to abstractions to not introduce a Bottom +1. reorder the branches of matches + 1. stateful maps/sets modules (hashtbl?) 1. Check the occurrence of visitors like visit_AEndedMutLoan: the parameters are |