oonta 0.1.0

OCaml to LLVM IR compiler front-end
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
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107

use std::{cell::RefCell, rc::Rc};

use crate::{
    ast::{ApplicationExpr, Ast, Expr},
    lexer::Lexer,
    symbol::Span,
    typ::{TypeMap, extract_fun_typs, normalize_typ},
};

struct TransformApplicationsVisitor<'a> {
    debug: bool,
    type_map: &'a mut TypeMap,
    lexer: &'a Lexer,
}

pub fn transform_applications(ast: &Ast, type_map: &mut TypeMap, lexer: &Lexer, debug: bool) {
    TransformApplicationsVisitor {
        debug,
        type_map,
        lexer,
    }
    .transform_applications(ast);
}

impl<'a> TransformApplicationsVisitor<'a> {
    fn transform_applications(&mut self, ast: &Ast) {
        for binding in &ast.binds {
            self.transform_expr(&binding.expr);
        }
    }

    fn transform_expr(&mut self, expr: &Rc<RefCell<Expr>>) {
        match &mut *expr.borrow_mut() {
            Expr::Application(application_expr) => self.transform_application(application_expr),
            Expr::Fun(fun_expr) => self.transform_expr(&fun_expr.body),
            Expr::LetIn(let_in_expr) => {
                self.transform_expr(&let_in_expr.bind.1);
                self.transform_expr(&let_in_expr.expr);
            }
            Expr::BinOp(bin_op_expr) => {
                self.transform_expr(&bin_op_expr.lhs);
                self.transform_expr(&bin_op_expr.rhs);
            }
            Expr::Conditional(cond_expr) => {
                self.transform_expr(&cond_expr.cond);
                self.transform_expr(&cond_expr.yes);
                self.transform_expr(&cond_expr.no);
            }
            Expr::Literal(_) | Expr::Var(_) => (),
        }
    }

    fn transform_application(&mut self, application_expr: &mut ApplicationExpr) {
        let mut fun_typs = {
            let fun_expr_ptr = &*application_expr.fun.borrow() as *const Expr;
            let fun_typ = normalize_typ(self.type_map.get(fun_expr_ptr).unwrap());
            extract_fun_typs(fun_typ).unwrap()
        };
        if application_expr.binds.len() > (fun_typs.len() - 1) {
            self.print_debug_info(application_expr.binds.len() - (fun_typs.len() - 1));
            self.print_expr_before(application_expr);
            let mut args = application_expr.binds.clone();
            let args_reminder = args.split_off(fun_typs.len() - 1);
            let span = Span::new(
                application_expr.span.start_pos(),
                args.last().unwrap().borrow().span().end_pos(),
            );
            let inner_expr = ApplicationExpr {
                fun: application_expr.fun.clone(),
                binds: args,
                span,
            };
            let inner_expr = Rc::new(RefCell::new(Expr::Application(inner_expr)));

            let typ = fun_typs.pop().unwrap();
            self.type_map
                .insert(&*inner_expr.borrow() as *const Expr, typ);

            application_expr.fun = inner_expr;
            application_expr.binds = args_reminder;
            self.print_expr_after(application_expr);
            self.transform_application(application_expr);
        }
    }

    fn print_expr_before(&self, application_expr: &ApplicationExpr) {
        if self.debug {
            println!("> Before transformation:");
            application_expr.pretty_print(self.lexer);
        }
    }

    fn print_expr_after(&self, application_expr: &ApplicationExpr) {
        if self.debug {
            println!("> After transformation:");
            application_expr.pretty_print(self.lexer);
        }
    }

    fn print_debug_info(&self, extra_arguments: usize) {
        if self.debug {
            println!(
                "Found over-application (extra arguments: {extra_arguments}). Transforming application expression:"
            )
        }
    }
}