Support for local imperative features #92
Labels
extraction
Feature or bug with the extraction phase
feature
Something needs to be added
imperative
Feature or bug related to imperative features
Add support for local mutation (ie. no mutable references, just mutable variables/parameters within a function).
{ a; b; c }
(Block
)let mut x: i32 = 0; body
(LetVar
)vd = value
(Assignment
)expr.field = value
(FieldAssigment
)Return statement -=> tracked here Extract early returns in functions #71return expr
(Return
)old(expr)
(Old
)snapshot(expr)
(Snapshot
)Start thinking about:
The text was updated successfully, but these errors were encountered: