Fcalva/chibi-scheme
1
0
Fork 0
mirror of https://github.com/ashinn/chibi-scheme.git synced 2025-05-21 14:49:18 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

adding error types, fixing the return value of primitive list types.

Browse source 
also adding <boolean> and <char> types.
This commit is contained in:
Alex Shinn 2010-08-01 17:47:10 +09:00
parent f61e3ac415
commit da5d9c677b
2 changed files with 7 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
lib/chibi/ast.c
View file

@ -55,8 +55,8 @@ static sexp sexp_translate_opcode_type (sexp ctx, sexp type) {
} else if (sexp_nullp(res)) { /* opcode list types */
sexp_gc_preserve2(ctx, res, tmp);
tmp = sexp_intern(ctx, "or", -1);
res = sexp_cons(ctx, sexp_make_fixnum(SEXP_PAIR), SEXP_NULL);
res = sexp_cons(ctx, SEXP_NULL, res);
res = sexp_cons(ctx, SEXP_NULL, SEXP_NULL);
res = sexp_cons(ctx, sexp_type_by_index(ctx, SEXP_PAIR), res);
res = sexp_cons(ctx, tmp, res);
sexp_gc_release2(ctx);
}
@ -67,6 +67,8 @@ static sexp sexp_get_opcode_ret_type (sexp ctx sexp_api_params(self, n), sexp op
sexp res;
if (! sexp_opcodep(op))
return sexp_type_exception(ctx, self, SEXP_OPCODE, op);
if (sexp_opcode_code(op) == SEXP_OP_RAISE)
return sexp_list1(ctx, sexp_intern(ctx, "error", -1));
res = sexp_opcode_return_type(op);
if (sexp_fixnump(res))
res = sexp_type_by_index(ctx, sexp_unbox_fixnum(res));
@ -145,6 +147,8 @@ sexp sexp_init_library (sexp ctx sexp_api_params(self, n), sexp env) {
sexp_define_type(ctx, "<flonum>", SEXP_FLONUM);
sexp_define_type(ctx, "<integer>", SEXP_FIXNUM);
sexp_define_type(ctx, "<symbol>", SEXP_SYMBOL);
sexp_define_type(ctx, "<char>", SEXP_CHAR);
sexp_define_type(ctx, "<boolean>", SEXP_BOOLEAN);
sexp_define_type(ctx, "<string>", SEXP_STRING);
sexp_define_type(ctx, "<byte-vector>", SEXP_BYTES);
sexp_define_type(ctx, "<pair>", SEXP_PAIR);

2
lib/chibi/ast.module
View file

@ -3,7 +3,7 @@
(export
analyze optimize env-cell ast->sexp macroexpand
<object> <opcode> <procedure> <bytecode> <macro> <env>
<number> <bignum> <flonum> <integer>
<number> <bignum> <flonum> <integer> <char> <boolean>
<symbol> <string> <byte-vector> <vector> <pair>
<context> <lam> <cnd> <set> <ref> <seq> <lit> <sc>
pair-source pair-source-set!