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
|
#pragma once
// Compilation environments
#include <gc/cord.h>
#include "types.h"
#include "builtins/table.h"
typedef struct {
CORD imports;
CORD typedefs;
CORD typecode;
CORD fndefs;
CORD staticdefs;
CORD funcs;
CORD typeinfos;
CORD object_files;
} compilation_unit_t;
typedef struct {
type_t *return_type;
table_t *closure_scope;
table_t *closed_vars;
} fn_ctx_t;
typedef struct loop_ctx_s {
struct loop_ctx_s *next;
const char *loop_name, *key_name, *value_name;
CORD skip_label, stop_label;
} loop_ctx_t;
typedef struct env_s {
table_t *types, *globals, *locals;
table_t *imports; // Map of 'use' name -> env_t*
compilation_unit_t *code;
fn_ctx_t *fn_ctx;
loop_ctx_t *loop_ctx;
CORD file_prefix, scope_prefix;
const char *comprehension_var;
} env_t;
typedef struct {
type_t *type;
union {
CORD code;
void *value;
};
} binding_t;
env_t *new_compilation_unit(void);
env_t *global_scope(env_t *env);
env_t *fresh_scope(env_t *env);
env_t *for_scope(env_t *env, ast_t *ast);
env_t *namespace_env(env_t *env, const char *namespace_name);
__attribute__((noreturn))
void compiler_err(file_t *f, const char *start, const char *end, const char *fmt, ...);
binding_t *get_binding(env_t *env, const char *name);
void set_binding(env_t *env, const char *name, binding_t *binding);
binding_t *get_namespace_binding(env_t *env, ast_t *self, const char *name);
#define code_err(ast, ...) compiler_err((ast)->file, (ast)->start, (ast)->end, __VA_ARGS__)
extern type_t *TEXT_TYPE;
// vim: ts=4 sw=0 et cino=L2,l1,(0,W4,m1,\:0
|
