(buf: &mut &[u8])
| 507 | }, |
| 508 | Expr::FLAG_APP => { |
| 509 | if tag.size == 0 { |
| 510 | return Err("get_expr: App with zero args".to_string()); |
| 511 | } |
| 512 | // Parse func, then collect args and wrap |
| 513 | work.push(GetExprFrame::CollectApps(tag.size)); |
| 514 | work.push(GetExprFrame::Parse); // func |
| 515 | }, |
| 516 | Expr::FLAG_LAM => { |
| 517 | if tag.size == 0 { |
| 518 | return Err("get_expr: Lam with zero binders".to_string()); |
| 519 | } |
no test coverage detected