| Paper | FrankenScript | Resolution | |---|---|---| | `freeze` only work on regions | `freeze` work on all node types | `¯\_(ツ)_/¯` | | Mentions the `owner` field explicitly | Knows about the parent region, but is not shown in the Mermaid diagram | `¯\_(ツ)_/¯` | | ~~`drop` deletes a region~~ (Removed from paper) | `drop` sets the value to `None` | | | Regions have a status `free`/`captured` (Section 3.2) | Not visually highlighted or indicator | TODO | | Grammar uses `not` | No not keyword and only `!=` | TODO | <!-- Parts that have been fixed | Keyword is `move` | keyword is `take` | Fixed by #44 | | `cown.value` | `cown.region` | Fixed by #44 | | Region name: `Imm` | `Immutable region` | (Partially fixed in #44) | | Reified bridge objects for regions | | DONE | | Uses `.frank` | Uses `.vpy` | DOne #52 | | LRC can be dirty | LRC can't be marked as dirty | Fixed by #50 | | Theme and colors | | Pending #52 | | `merge(b1, b2)` merges two regions into one. Can also be used to move a region into the local region | Open issue #51 and #13| TODO | | `taint_cown()` function that sets the cown status to acquired and then taints stuff | | Not planned as we'll have BOC soonish | -->