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
212
213
214
215
216
|
/* Copyright 2009-2014
* Kaz Kylheku <kaz@kylheku.com>
* Vancouver, Canada
* All rights reserved.
*
* Redistribution of this software in source and binary forms, with or without
* modification, is permitted provided that the following two conditions are met.
*
* Use of this software in any manner constitutes agreement with the disclaimer
* which follows the two conditions.
*
* 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.
*
* 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. IN NO EVENT SHALL THE
* COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DAMAGES, HOWEVER CAUSED,
* AND UNDER ANY THEORY OF LIABILITY, ARISING IN ANY WAY OUT OF THE USE OF THIS
* SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
#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;
val protocol;
extended_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;
extended_jmp_buf jb;
};
struct uw_debug {
uw_frame_t *up;
uw_frtype_t type;
val func;
val args;
val ub_p_a_pairs;
val env;
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_proto(val tag, val result, val protocol);
INLINE val uw_block_return(val tag, val result)
{
return uw_block_return_proto(tag, result, nil);
}
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_throwfv(val sym, val fmt, val args);
noreturn val uw_errorf(val fmt, ...);
noreturn val uw_errorfv(val fmt, val args);
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 env, val data,
val line, val chr);
void uw_pop_frame(uw_frame_t *);
void uw_pop_until(uw_frame_t *);
uw_frame_t *uw_current_frame(void);
uw_frame_t *uw_current_exit_point(void);
void uw_init(void);
noreturn val type_mismatch(val, ...);
#define uw_mark_frame \
uw_frame_t *uw_top = uw_current_frame()
#define uw_fast_return(VAL) \
do { \
uw_pop_until(uw_top); \
return VAL; \
} while (0)
#define uw_block_begin(TAG, RESULTVAR) \
obj_t *RESULTVAR = nil; \
do { \
uw_frame_t uw_blk; \
uw_push_block(&uw_blk, TAG); \
if (extended_setjmp(uw_blk.bl.jb)) { \
RESULTVAR = uw_blk.bl.result; \
} else { \
do { } while (0)
#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 (extended_setjmp(uw_catch.ca.jb)) { \
case 0:
#define uw_catch_begin(MATCHES, SYMVAR, \
EXCVAR) \
do { \
obj_t *SYMVAR = nil; \
obj_t *EXCVAR = nil; \
uw_frame_t uw_catch; \
uw_push_catch(&uw_catch, MATCHES); \
switch (extended_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; \
(void) SYMVAR; \
/* 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")
|