yulang-runtime-refine 0.1.0

Runtime type refinement, validation, invariant checks, and hygiene printing for Yulang.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

use super::*;

impl RefineRewriter {
    pub(super) fn stmt(&mut self, stmt: Stmt) -> Stmt {
        match stmt {
            Stmt::Let { pattern, value } => {
                let pattern = self.pattern(pattern);
                let expected = pattern_type(&pattern);
                Stmt::Let {
                    pattern,
                    value: self.expr(value, expected.as_ref()),
                }
            }
            Stmt::Expr(expr) => Stmt::Expr(self.expr(expr, None)),
            Stmt::Module { def, body } => {
                let body_ty = substitute_hir_type(&body.ty, &self.substitutions);
                let previous = push_binding(&mut self.locals, def.clone(), body_ty.clone());
                let body = self.expr(body, Some(&body_ty));
                pop_bindings(&mut self.locals, previous);
                Stmt::Module { def, body }
            }
        }
    }
}