shithub: sl

--- a/boot/flisp.boot

+++ b/boot/flisp.boot

@@ -1,1 +1,1 @@

-(*builtins* #(NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL #fn("5000n10<:" #()) #fn("5000n10=:" #()) NIL NIL NIL NIL #fn("5000n10B:" #()) NIL NIL NIL NIL NIL #fn("5000n10H:" #()) NIL NIL NIL #fn("8000z0700}2:" #(<)) NIL #fn("6000n201N:" #()) NIL #fn("6000n201P:" #()) #fn("6000n201Q:" #()) #fn("5000n10R:" #()) #fn("5000n10S:" #()) #fn("5000n10T:" #()) NIL #fn("5000n10V:" #()) NIL #fn("5000n10X:" #()) #fn("5000n10Y:" #()) #fn("5000n10Z:" #()) #fn("5000n10[:" #()) #fn("5000n10\\:" #()) #fn("5000n10]:" #()) NIL #fn("6000n201_:" #()) NIL NIL NIL #fn("6000n201c:" #()) #fn("6000n201d:" #()) #fn("7000z00:" #()) #fn("8000z0700}2:" #(apply)) #fn("8000z0700}2:" #(+)) #fn("8000z0700}2:" #(-)) #fn("8000z0700}2:" #(*)) #fn("8000z0700}2:" #(/)) #fn("8000z0700}2:" #(div0)) #fn("8000z0700}2:" #(=)) #fn("6000n201m:" #()) NIL #fn("8000z0700}2:" #(vector)) #fn("8000z0700}2:" #(aset!)) NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL #fn("9000n3012082>1|:" #(#fn("6000n1A061:" #()))) NIL NIL NIL NIL NIL NIL NIL NIL #fn("8000z0700}2:" #(aref)) NIL NIL NIL) *properties* #table(*funvars* #table(*prompt* (NIL)  lz-unpack (T T)  void? ((x))  >= ((a . rest))  rand-uint64 (T)  help ((term))  length= ((lst n))  = (T)  car (T)  <= ((a . rest))  rand-uint32 (T)  /= ((a . rest))  void (rest)  lz-pack (T)  rand (T)  nan? (T)  rand-float (T)  cons? (T)  vm-stats (T)  * (T)  rand-double (T)  cdr (T)  + (T)  > ((a . rest)))  *doc* #table(>= "Return T if the arguments are in non-increasing order (previous\none is greater than or equal to the next one)."  void? "Return T if x is #<void>, NIL otherwise."  length= "Bounded length test.\nUse this instead of (= (length lst) n), since it avoids unnecessary\nwork and always terminates."  car "Return the first element of a list or NIL if not available."  *builtins* "VM instructions as closures."  <= "Return T if the arguments are in non-decreasing order (previous\none is less than or equal to the next one)."  void "Return the constant #<void> while ignoring any arguments.\n#<void> is mainly used when a function has side effects but does not\nproduce any meaningful value to return, so even though T or NIL could\nbe returned instead, in case of #<void> alone, REPL will not print\nit."  rand "Return a random non-negative fixnum on its maximum range."  nan? "Return T if the argument is NaN, regardless of the sign."  Instructions "VM instructions mapped to their encoded byte representation."  rand-double "Return a random double on [0.0, 1.0] interval."  > "Return T if the arguments are in strictly decreasing order (previous\none is greater than the next one)."  cdr "Return the tail of a list or NIL if not available."  + "Return sum of the numbers or 0 with no arguments."  lz-unpack "Return decompressed data previously compressed using lz-pack.\nEither destination for the decompressed data or the expected size of\nthe decompressed data must be specified.  In the latter case a new\narray is allocated."  rand-uint64 "Return a random integer on [0, 2⁶⁴-1] interval."  help "Display documentation for the specified term, if available."  = "Return T if the arguments are equal."  rand-uint32 "Return a random integer on [0, 2³²-1] interval."  /= "Return T if not all arguments are equal. Shorthand for (not (= …))."  lz-pack "Return data compressed using Lempel-Ziv.\nThe data must be an array, returned value will have the same type.\nThe optional level is between 0 and 10.  With level 0 a simple LZSS\nusing hashing will be performed.  Levels between 1 and 9 offer a\ntrade-off between time/space and ratio.  Level 10 is optimal but very\nslow."  rand-float "Return a random float on [0.0, 1.0] interval."  arg-counts "VM instructions mapped to their expected arguments count."  *prompt* "Function called by REPL to signal the user input is required.\nDefault function prints \"#;> \"."  cons? "Return T if the value is a cons cell."  vm-stats "Print various VM-related information, such as the number of GC calls\nso far, heap and stack size, etc."  * "Return product of the numbers or 1 with no arguments."  *properties* "All properties

\ No newline at end of file

+(*builtins* #(NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL #fn("5000n10<:" #()) #fn("5000n10=:" #()) NIL NIL NIL NIL #fn("5000n10B:" #()) NIL NIL NIL NIL NIL #fn("5000n10H:" #()) NIL NIL NIL #fn("8000z0700}2:" #(<)) NIL #fn("6000n201N:" #()) NIL #fn("6000n201P:" #()) #fn("6000n201Q:" #()) #fn("5000n10R:" #()) #fn("5000n10S:" #()) #fn("5000n10T:" #()) NIL #fn("5000n10V:" #()) NIL #fn("5000n10X:" #()) #fn("5000n10Y:" #()) #fn("5000n10Z:" #()) #fn("5000n10[:" #()) #fn("5000n10\\:" #()) #fn("5000n10]:" #()) NIL #fn("6000n201_:" #()) NIL NIL NIL #fn("6000n201c:" #()) #fn("6000n201d:" #()) #fn("7000z00:" #()) #fn("8000z0700}2:" #(apply)) #fn("8000z0700}2:" #(+)) #fn("8000z0700}2:" #(-)) #fn("8000z0700}2:" #(*)) #fn("8000z0700}2:" #(/)) #fn("8000z0700}2:" #(div0)) #fn("8000z0700}2:" #(=)) #fn("6000n201m:" #()) NIL #fn("8000z0700}2:" #(vector)) #fn("8000z0700}2:" #(aset!)) NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL NIL #fn("9000n3012082>1|:" #(#fn("6000n1A061:" #()))) NIL NIL NIL NIL NIL NIL NIL NIL #fn("8000z0700}2:" #(aref)) NIL NIL NIL) *properties* #table(*funvars* #table(*prompt* (NIL)  lz-unpack ((data :to destination) (data :size decompressed-bytes))  void? ((x))  >= ((a . rest))  rand-uint64 (NIL)  help ((term))  length= ((lst n))  = ((a . rest))  car ((lst))  <= ((a . rest))  rand-uint32 (NIL)  /= ((a . rest))  void (rest)  lz-pack ((data (level 0)))  rand (NIL)  nan? ((x))  rand-float (NIL)  cons? ((value))  vm-stats (NIL)  * ((number…))  rand-double (NIL)  cdr ((lst))  + ((number…))  > ((a . rest)))  *doc* #table(>= "Return T if the arguments are in non-increasing order (previous\none is greater than or equal to the next one)."  void? "Return T if x is #<void>, NIL otherwise."  length= "Bounded length test.\nUse this instead of (= (length lst) n), since it avoids unnecessary\nwork and always terminates."  car "Return the first element of a list or NIL if not available."  *builtins* "VM instructions as closures."  <= "Return T if the arguments are in non-decreasing order (previous\none is less than or equal to the next one)."  void "Return the constant #<void> while ignoring any arguments.\n#<void> is mainly used when a function has side effects but does not\nproduce any meaningful value to return, so even though T or NIL could\nbe returned instead, in case of #<void> alone, REPL will not print\nit."  rand "Return a random non-negative fixnum on its maximum range."  nan? "Return T if the argument is NaN, regardless of the sign."  Instructions "VM instructions mapped to their encoded byte representation."  rand-double "Return a random double on [0.0, 1.0] interval."  > "Return T if the arguments are in strictly decreasing order (previous\none is greater than the next one)."  cdr "Return the tail of a list or NIL if not available."  + "Return sum of the numbers or 0 with no arguments."  lz-unpack "Return decompressed data previously compressed using lz-pack.\nEither destination for the decompressed data or the expected size of\nthe decompressed data must be specified.  In the latter case a new\narray is allocated."  rand-uint64 "Return a random integer on [0, 2⁶⁴-1] interval."  help "Display documentation for the specified term, if available."  = "Return T if the arguments are equal."  rand-uint32 "Return a random integer on [0, 2³²-1] interval."  /= "Return T if not all arguments are equal. Shorthand for (not (= …))."  lz-pack "Return data compressed using Lempel-Ziv.\nThe data must be an array, returned value will have the same type.\nThe optional level is between 0 and 10.  With level 0 a simple LZSS\nusing hashing will be performed.  Levels between 1 and 9 offer a\ntrade-off between time/space and ratio.  Level 10 is optimal but very\nslow."  rand-float "Return a random float on [0.0, 1.0] interval."  arg-counts "VM instructions mapped to their expected arguments count."  *prompt* "Function called by REPL to signal the user input is required.\nDefault function prints \"#;> \"."  cons? "Return T if the value is a cons cell."  vm-stats "Print various VM-related information, such as the number of GC calls\n

\ No newline at end of file

binary files a/boot/flisp.boot.builtin b/boot/flisp.boot.builtin differ

--- a/src/docs_extra.lsp

+++ b/src/docs_extra.lsp

@@ -1,13 +1,11 @@

 (defmacro (doc-for term (doc nil))

-  (let* ((sym     (or (and (cons? term) (car term)) term))

-         (val     (top-level-value sym))

-         (funvars (cons? term)))

-    (if (not funvars)

-        (when (function? val)

-          (error "docs: " sym ": no funvars specified"))

-        (unless (function? val)

-          (error "docs: " sym ": funvars set but isn't a function")))

-    `(symbol-set-doc ',sym ',doc ',funvars)))

+  (let* ((func    (cons? term))

+         (sym     (or (and func (car term)) term))

+         (val     (or (and (symbol? sym) (top-level-value sym)) sym))

+         (funvars (and func (cdr term))))

+    (if func

+        `(void (symbol-set-doc ',sym ,doc ',funvars))

+        `(void (symbol-set-doc ',sym ,doc)))))

 (doc-for (= a . rest)

   "Return T if the arguments are equal.")

--- a/src/system.lsp

+++ b/src/system.lsp

@@ -124,7 +124,8 @@

     (putprop sym '*doc* doc))

   (when (cons? funvars)

     (putprop sym '*funvars* (append (getprop sym '*funvars* nil)

-                                    funvars))))

+                                    funvars)))

+  (void))

 ;; chicken and egg - properties defined before symbol-set-doc

 (symbol-set-doc