aboutsummaryrefslogtreecommitdiffstats
path: root/src/bootstrap/parser.c
blob: c4fcbb8a7fccdb6bbfa4103aeb496f901e2d50ef (plain)
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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
typedef struct Visitor {
    Tokens tokens;
    size_t current;
} Visitor;

Token
peek_token(const Visitor *visitor) {
    return visitor->tokens.buf[visitor->current];
}

Token
next_token(Visitor *visitor) {
    return visitor->tokens.buf[visitor->current++];
}

bool
has_next_token(const Visitor *visitor) {
    return visitor->current < visitor->tokens.size;
}

Object *
parse_fixnum(Token tok) {
    ssize_t num = 0;
    int sign = 1;
    for (size_t i = 0; i < tok.value.n; i++) {
        char c = tok.value.start[i];
        if (c == '-') {
            sign = -1;
            continue;
        }
        num = num * 10 + (c - '0');
    }
    return make_fixnum(num * sign);
}

Object * parse_tree(Visitor *vs);

Object *
parse_list(Visitor *vs) {
    Token tok = peek_token(vs);
    if (tok.type == TOKEN_EOF) {
        return obj_err;
    }
    Object *next_obj = parse_tree(vs);
    if (next_obj == obj_err) {
        return obj_err;
    }
    Object *root = make_pair(next_obj, obj_nil);
    Object *list = root;
    while (has_next_token(vs)) {
        Token tok = peek_token(vs);
        if (tok.type == TOKEN_RPAREN) {
            next_token(vs);
            break;
        }
        if (tok.type == TOKEN_EOF) {
            free_objects(root);
            return obj_err;
        }
        next_obj = parse_tree(vs);
        if (next_obj == obj_err) {
            free_objects(root);
            return obj_err;
        }
        list->cdr = make_pair(next_obj, obj_nil);
        list = list->cdr;
    }
    return root;
}

Object *
parse_tree(Visitor *vs) {
    Token tok = next_token(vs);
    switch (tok.type) {
        case TOKEN_FIXNUM: {
            return parse_fixnum(tok);
        } break;
        case TOKEN_TRUE: {
            return obj_true;
        } break;
        case TOKEN_FALSE: {
            return obj_false;
        } break;
        case TOKEN_RPAREN: {
            error_push((Error){
                .type = ERR_TYPE_PARSER,
                .value = ERR_UNBALANCED_PAREN,
                .line = tok.line,
                .col = tok.column,
            });
            return obj_err;
        } break;
        case TOKEN_QUOTE: {
            // TODO: Implement.
            error_push((Error){
                .type = ERR_TYPE_PARSER,
                .value = ERR_NOT_IMPLEMENTED,
                .line = tok.line,
                .col = tok.column,
            });
            return obj_err;
        } break;
        case TOKEN_LPAREN: {
            Object *obj = parse_list(vs);
            if (obj == obj_err) {
                error_push((Error){
                    .type = ERR_TYPE_PARSER,
                    .value = ERR_UNBALANCED_PAREN,
                    .line = tok.line,
                    .col = tok.column,
                });
            }
            return obj;
        } break;
        case TOKEN_STRING: {
            Object *obj = make_string();
            append_string(obj, tok.value);
            return obj;
        } break;
        case TOKEN_SYMBOL: {
            return make_symbol(tok.value);
        } break;
        case TOKEN_EOF: {
            error_push((Error){
                .type = ERR_TYPE_PARSER,
                .value = ERR_EOF_REACHED,
                .line = tok.line,
                .col = tok.column,
            });
            return obj_err;
        } break;
        case TOKEN_NIL: {
            return obj_nil;
        } break;
        default: {
            break;
        } break;
    }
    error_push((Error){
        .type = ERR_TYPE_PARSER,
        .value = ERR_EOF_REACHED,
        .line = tok.line,
        .col = tok.column,
    });
    return obj_err;
}