From a673b7e326150feee4e3d4ff6d42832c9536618b Mon Sep 17 00:00:00 2001 From: Calvin Rose Date: Sat, 3 Feb 2018 17:22:04 -0500 Subject: [PATCH] Fix small compiler bug --- 3 | 116 ++++++++++++++++++++++++++++++++++++++++ src/compiler/boot.dst | 49 ++++++++++++++++- src/compiler/specials.c | 2 +- src/core/corelib.c | 2 +- src/core/io.c | 2 +- src/core/value.c | 20 ------- src/include/dst/dst.h | 1 - src/parser/ast.c | 2 +- src/parser/parse.c | 2 +- 9 files changed, 169 insertions(+), 27 deletions(-) create mode 100644 3 diff --git a/3 b/3 new file mode 100644 index 00000000..20b160ea --- /dev/null +++ b/3 @@ -0,0 +1,116 @@ +(def defmacro macro + (fn [name & more] (tuple 'def name 'macro (tuple-prepend (tuple-prepend more name) 'fn)))) + +(defmacro defn + [name & more] + (tuple 'def name (tuple-prepend (tuple-prepend more name) 'fn))) + +(defmacro when + [cond & body] + (tuple 'if cond (tuple-prepend body 'do))) + +(def seq (do + (defn array-seq [x] + (def len (length x)) + (var i 0) + { + :more (fn [] (< i len)) + :next (fn [] + (def ret (get x i)) + (varset! i (+ i 1)) + ret) + }) + (def seqs { + :array array-seq + :tuple array-seq + :struct (fn [x] x)}) + (fn [x] + (def makeseq (get seqs (type x))) + (if makeseq (makeseq x) (error "expected sequence"))))) + +(defn range [top] + (var i 0) + { + :more (fn [] (< i top)) + :next (fn [] + (def ret i) + (varset! i (+ i 1)) + ret) + }) + +(defn doseq [s] + (def s (seq s)) + (def more? (get s :more)) + (def getnext (get s :next)) + (while (more?) + (getnext))) + +(defn map [f s] + (def s (seq s)) + (def more (get s :more)) + (def getnext (get s :next)) + { + :more more + :next (fn [] (f (getnext))) + }) + +(defn reduce [f start s] + (def s (seq s)) + (def more? (get s :more)) + (def getnext (get s :next)) + (var ret start) + (while (more?) + (varset! ret (f ret (getnext)))) + ret) + +(defmacro for [head & body] + (def head (ast-unwrap1 head)) + (def sym (get head 0)) + (def start (get head 1)) + (def end (get head 2)) + (def _inc (get head 3)) + (def inc (if _inc _inc 1)) + (tuple 'do + (tuple 'var sym start) + (tuple 'while (tuple '< sym end) + (tuple-prepend body 'do) + (tuple 'varset! sym (tuple '+ sym 1)) + ))) + +(defn pp-seq [pp buf a start end] + (def len (length a)) + (buffer-push-string buf start) + (for [i 0 len] + (when (not= i 0) (buffer-push-string buf " ")) + (pp buf (get a i))) + (buffer-push-string buf end) + buf) + +(defn pp-dict [pp buf a start end] + (var k (next a nil)) + (buffer-push-string buf start) + (while k + (def v (get a k)) + (pp buf k) + (buffer-push-string buf " ") + (pp buf v) + (buffer-push-string buf "\n") + (varset! k (next a k)) + ) + (buffer-push-string buf end) + buf) + +(def _printers { + :array (fn [pp buf x] (pp-seq pp buf x "[" "]")) + :tuple (fn [pp buf x] (pp-seq pp buf x "(" ")")) + :table (fn [pp buf x] (pp-dict pp buf x "@{" "}")) + :struct (fn [pp buf x] (pp-dict pp buf x "{" "}")) +}) + +(defn _default_printer [_ buf x] (buffer-push-string buf (string x)) buf) + +(defn pp [buf x] + (def pmaybe (get _printers (type x))) + (def p (if pmaybe pmaybe _default_printer)) + (p pp buf x)) + diff --git a/src/compiler/boot.dst b/src/compiler/boot.dst index 06cb6103..16a61675 100644 --- a/src/compiler/boot.dst +++ b/src/compiler/boot.dst @@ -64,7 +64,7 @@ ret) (defmacro for [head & body] - (def head (ast-unwrap head)) + (def head (ast-unwrap1 head)) (def sym (get head 0)) (def start (get head 1)) (def end (get head 2)) @@ -76,3 +76,50 @@ (tuple-prepend body 'do) (tuple 'varset! sym (tuple '+ sym 1)) ))) + +(defn pp-seq [pp buf a indent start end] + (def len (length a)) + (buffer-push-string buf start) + (for [i 0 len] + (when (not= i 0) (buffer-push-string buf " ")) + (pp buf (get a i) indent)) + (buffer-push-string buf end) + buf) + +(defn push-line [buf indent] + (buffer-push-string buf "\n") + (for [i 0 indent] (buffer-push-string buf " ")) +) + +(defn pp-dict [pp buf a indent start end] + (var k (next a nil)) + (buffer-push-string buf start) + (def newindent (+ 2 indent)) + (push-line buf newindent) + (while k + (def v (get a k)) + (pp buf k) + (buffer-push-string buf " ") + (pp buf v) + (varset! k (next a k)) + (push-line buf (if k newindent indent)) + ) + (buffer-push-string buf end) + buf) + +(def _printers { + :array (fn [pp buf x i] (pp-seq pp buf x i "[" "]")) + :tuple (fn [pp buf x i] (pp-seq pp buf x i "(" ")")) + :table (fn [pp buf x i] (pp-dict pp buf x i "@{" "}")) + :struct (fn [pp buf x i] (pp-dict pp buf x i "{" "}")) +}) + +(defn _default_printer [_ buf x] (buffer-push-string buf (string x)) buf) + +(defn pp1 [buf x indent] + (def pmaybe (get _printers (type x))) + (def p (if pmaybe pmaybe _default_printer)) + (p pp1 buf x indent)) + +(defn pp [x] (print (pp1 (buffer) x 0))) + diff --git a/src/compiler/specials.c b/src/compiler/specials.c index 37ebab21..babe63c4 100644 --- a/src/compiler/specials.c +++ b/src/compiler/specials.c @@ -123,8 +123,8 @@ static DstSlot namelocal(DstCompiler *c, DstAst *ast, Dst head, int32_t flags, D dstc_copy(c, ast, localslot, ret); ret = localslot; } + ret.flags |= flags; dstc_nameslot(c, dst_unwrap_symbol(head), ret); - ret.flags |= DST_SLOT_NAMED; return ret; } diff --git a/src/core/corelib.c b/src/core/corelib.c index 7c4deb5e..48a110bf 100644 --- a/src/core/corelib.c +++ b/src/core/corelib.c @@ -218,7 +218,7 @@ int dst_core_gccollect(DstArgs args) { int dst_core_type(DstArgs args) { if (args.n != 1) return dst_throw(args, "expected 1 argument"); if (dst_checktype(args.v[0], DST_ABSTRACT)) { - return dst_return(args, dst_cstringv(dst_abstract_type(dst_unwrap_abstract(args.v[0]))->name)); + return dst_return(args, dst_csymbolv(dst_abstract_type(dst_unwrap_abstract(args.v[0]))->name)); } else { return dst_return(args, dst_csymbolv(dst_type_names[dst_type(args.v[0])])); } diff --git a/src/core/io.c b/src/core/io.c index c4bd2cec..0d17b67a 100644 --- a/src/core/io.c +++ b/src/core/io.c @@ -40,7 +40,7 @@ struct IOFile { static int dst_io_gc(void *p, size_t len); DstAbstractType dst_io_filetype = { - "core.file", + ":core.file", dst_io_gc, NULL }; diff --git a/src/core/value.c b/src/core/value.c index 6b17a24b..2053b4b2 100644 --- a/src/core/value.c +++ b/src/core/value.c @@ -254,26 +254,6 @@ int32_t dst_length(Dst x) { } } -/* Get the capacity of an object. Returns 0 for invalid types */ -int32_t dst_capacity(Dst x) { - switch (dst_type(x)) { - default: - return 0; - case DST_STRING: - return dst_string_length(dst_unwrap_string(x)); - case DST_ARRAY: - return dst_unwrap_array(x)->capacity; - case DST_BUFFER: - return dst_unwrap_buffer(x)->capacity; - case DST_TUPLE: - return dst_tuple_length(dst_unwrap_tuple(x)); - case DST_STRUCT: - return dst_struct_length(dst_unwrap_struct(x)); - case DST_TABLE: - return dst_unwrap_table(x)->capacity; - } -} - /* Index into a data structure. Returns nil for out of bounds or invlalid data structure */ Dst dst_getindex(Dst ds, int32_t index) { switch (dst_type(ds)) { diff --git a/src/include/dst/dst.h b/src/include/dst/dst.h index da06dbd8..d56649fe 100644 --- a/src/include/dst/dst.h +++ b/src/include/dst/dst.h @@ -184,7 +184,6 @@ Dst dst_get(Dst ds, Dst key); void dst_put(Dst ds, Dst key, Dst value); const DstKV *dst_next(Dst ds, const DstKV *kv); int32_t dst_length(Dst x); -int32_t dst_capacity(Dst x); Dst dst_getindex(Dst ds, int32_t index); void dst_setindex(Dst ds, Dst value, int32_t index); int dst_cstrcmp(const uint8_t *str, const char *other); diff --git a/src/parser/ast.c b/src/parser/ast.c index d7f496fe..51d19f0f 100644 --- a/src/parser/ast.c +++ b/src/parser/ast.c @@ -32,7 +32,7 @@ static int dst_ast_gcmark(void *p, size_t size) { /* AST type */ static DstAbstractType dst_ast_type = { - "parse.ast", + ":parse.ast", NULL, dst_ast_gcmark }; diff --git a/src/parser/parse.c b/src/parser/parse.c index dadb6816..11372d10 100644 --- a/src/parser/parse.c +++ b/src/parser/parse.c @@ -533,7 +533,7 @@ static int parsergc(void *p, size_t size) { } DstAbstractType dst_parse_parsertype = { - "parse.parser", + ":parse.parser", parsergc, parsermark };