| 19 | } |
| 20 | |
| 21 | pub(super) fn if_body(&mut self) { |
| 22 | self.expr(); |
| 23 | let jf = self.emit_jump(OpCode::JumpIfFalse); |
| 24 | |
| 25 | self.eat(TokenType::Colon); |
| 26 | self.compile_block(); |
| 27 | |
| 28 | match self.peek() { |
| 29 | Some(TokenType::Elif) => { |
| 30 | self.advance(); |
| 31 | let jmp = self.emit_jump(OpCode::Jump); |
| 32 | self.mid_block(); |
| 33 | self.patch(jf); |
| 34 | self.if_body(); |
| 35 | self.patch(jmp); |
| 36 | } |
| 37 | Some(TokenType::Else) => { |
| 38 | self.advance(); |
| 39 | let jmp = self.emit_jump(OpCode::Jump); |
| 40 | self.mid_block(); |
| 41 | self.patch(jf); |
| 42 | self.eat(TokenType::Colon); |
| 43 | self.compile_block(); |
| 44 | self.patch(jmp); |
| 45 | } |
| 46 | _ => { |
| 47 | self.patch(jf); |
| 48 | } |
| 49 | } |
| 50 | } |
| 51 | |
| 52 | /* match/case: literals, captures, wildcards, OR, guards, sequences; emits subject-load + pattern + guard + Jump-end. */ |
| 53 | pub(super) fn match_stmt(&mut self) { |