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
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
|
/* Copyright 2011
* Kaz Kylheku <kaz@kylheku.com>
* Vancouver, Canada
* All rights reserved.
*
* BSD License:
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
*
* 1. Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in
* the documentation and/or other materials provided with the
* distribution.
* 3. The name of the author may not be used to endorse or promote
* products derived from this software without specific prior
* written permission.
*
* THIS SOFTWARE IS PROVIDED ``AS IS'' AND WITHOUT ANY EXPRESS OR
* IMPLIED WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED
* WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
*/
#ifdef __GNUC__
#define noreturn __attribute__((noreturn))
#else
#define noreturn
#endif
typedef union uw_frame uw_frame_t;
typedef enum uw_frtype { UW_BLOCK, UW_ENV, UW_CATCH, UW_DBG } uw_frtype_t;
struct uw_common {
uw_frame_t *up;
uw_frtype_t type;
};
struct uw_block {
uw_frame_t *up;
uw_frtype_t type;
val tag;
val result;
jmp_buf jb;
};
struct uw_dynamic_env {
uw_frame_t *up;
uw_frtype_t type;
uw_frame_t *up_env;
val func_bindings;
val match_context;
};
struct uw_catch {
uw_frame_t *up;
uw_frtype_t type;
val matches;
val sym;
val exception;
uw_frame_t *cont;
int visible;
jmp_buf jb;
};
struct uw_debug {
uw_frame_t *up;
uw_frtype_t type;
val func;
val args;
val ub_p_a_pairs;
val bindings;
val data;
val line;
val chr;
};
union uw_frame {
struct uw_common uw;
struct uw_block bl;
struct uw_dynamic_env ev;
struct uw_catch ca;
struct uw_debug db;
};
void uw_push_block(uw_frame_t *, val tag);
void uw_push_env(uw_frame_t *);
val uw_get_func(val sym);
val uw_set_func(val sym, val value);
val uw_get_match_context(void);
val uw_set_match_context(val context);
val uw_block_return(val tag, val result);
void uw_push_catch(uw_frame_t *, val matches);
noreturn val uw_throw(val sym, val exception);
noreturn val uw_throwf(val sym, val fmt, ...);
noreturn val uw_errorf(val fmt, ...);
val uw_register_subtype(val sub, val super);
val uw_exception_subtype_p(val sub, val sup);
void uw_continue(uw_frame_t *curr, uw_frame_t *target);
void uw_push_debug(uw_frame_t *, val func, val args,
val ub_p_a_pairs, val bindings, val data,
val line, val chr);
void uw_pop_frame(uw_frame_t *);
uw_frame_t *uw_current_frame(void);
void uw_init(void);
noreturn val type_mismatch(val, ...);
#define uw_block_begin(TAG, RESULTVAR) \
obj_t *RESULTVAR = nil; \
do \
{ \
uw_frame_t uw_blk; \
uw_push_block(&uw_blk, TAG); \
if (setjmp(uw_blk.bl.jb)) { \
RESULTVAR = uw_blk.bl.result; \
} else { \
typedef int uw_d_u_m_m_y
#define uw_block_end \
} \
uw_pop_frame(&uw_blk); \
} while (0)
#define uw_env_begin \
do { \
uw_frame_t uw_env; \
uw_push_env(&uw_env)
#define uw_env_end \
uw_pop_frame(&uw_env); \
} while (0)
#define uw_simple_catch_begin \
do { \
uw_frame_t uw_catch; \
uw_push_catch(&uw_catch, nil); \
switch (setjmp(uw_catch.ca.jb)) { \
case 0:
#define uw_catch_begin(MATCHES, SYMVAR, \
EXCVAR) \
obj_t *SYMVAR = nil; \
obj_t *EXCVAR = nil; \
do { \
uw_frame_t uw_catch; \
uw_push_catch(&uw_catch, MATCHES); \
switch (setjmp(uw_catch.ca.jb)) { \
case 0:
#define uw_catch(SYMVAR, EXCVAR) \
goto uw_unwind_label; \
break; \
case 2: \
EXCVAR = uw_catch.ca.exception; \
SYMVAR = uw_catch.ca.sym; \
/* prevent looping */ \
uw_catch.ca.matches = nil;
#define uw_unwind \
/* suppress unused label warning */ \
goto uw_unwind_label; \
uw_unwind_label: \
case 1: \
/* prevent looping */ \
uw_catch.ca.visible = 0;
#define uw_catch_end \
break; \
default: \
abort(); \
} \
if (uw_catch.ca.cont) \
uw_continue(&uw_catch, \
uw_catch.ca.cont); \
uw_pop_frame(&uw_catch); \
} while(0)
#define internal_error(STR) \
do { \
extern obj_t *num(cnum); \
uw_throwf(internal_error_s, \
lit("~a:~a ~a"), \
lit(__FILE__), \
num(__LINE__), lit(STR), \
nao); \
} while (0)
#define type_assert(EXPR, ARGS) \
if (!(EXPR)) type_mismatch ARGS
#define bug_unless(EXPR) \
if (!(EXPR)) \
internal_error("assertion " \
#EXPR \
" failed")
#define numeric_assert(EXPR) \
if (!(EXPR)) \
uw_throwf(numeric_error_s, \
lit("assertion " #EXPR \
" failed"), nao)
#define range_bug_unless(EXPR) \
if (!(EXPR)) \
uw_throwf(range_error_s, \
lit("assertion " #EXPR \
" failed"), nao)
|