enginehelp wantedkeep-openmarked-unimplementedunsupported-rust
Repository metrics
- Stars
- (456 個のスター)
- PR merge metrics
- (PR metrics pending)
説明
Hax doesn't support the following:
fn main() {
let (x, y);
x = 0;
y = 0;
}
Draft plan to support let <PAT>; BODY:
- translate the pattern
PATinto our AST, extract bindings - for each binding, generate a let binding wrapped with in an option type
- replace any occurrence of each binder
bin BODY withb.unwrap()(or make everything a monad, but that's quite heavy)