From eceeddf6d218e12cefb36fb9594c29be37852dd2 Mon Sep 17 00:00:00 2001 From: JeffBezanson Date: Mon, 27 Jul 2009 03:34:33 +0000 Subject: [PATCH] adding support for optional arguments error checking formal argument lists making filter preserve the order of elements in the input list --- femtolisp/ast/rpasses-out.lsp | 815 +++++++++++++++++----------------- femtolisp/compiler.lsp | 67 ++- femtolisp/flisp.boot | 2 +- femtolisp/flisp.c | 34 +- femtolisp/opcodes.h | 3 +- femtolisp/system.lsp | 19 +- femtolisp/todo | 7 +- femtolisp/unittest.lsp | 8 + 8 files changed, 512 insertions(+), 443 deletions(-) diff --git a/femtolisp/ast/rpasses-out.lsp b/femtolisp/ast/rpasses-out.lsp index e87613c..4028395 100644 --- a/femtolisp/ast/rpasses-out.lsp +++ b/femtolisp/ast/rpasses-out.lsp @@ -5,25 +5,31 @@ (*named* class (r-call c "POSIXt" "POSIXct"))))))) (<- Sys.timezone (lambda () - (let () (r-block (r-call as.vector (r-call - Sys.getenv "TZ")))))) + (let () + (r-block (r-call as.vector (r-call + Sys.getenv + "TZ")))))) (<- as.POSIXlt (lambda (x tz) - (let ((x ()) (tzone ()) (fromchar ()) (tz ())) + (let ((x ()) + (tzone ()) + (fromchar ()) + (tz ())) (r-block (when (missing tz) (<- tz "")) (<- fromchar (lambda (x) - (let ((res ()) (f - ()) - (j ()) (xx ())) + (let ((res ()) + (f ()) + (j ()) + (xx ())) (r-block (<- xx (r-call r-index x 1)) - (if (r-call is.na xx) - (r-block (<- j 1) (while (&& (r-call is.na xx) - (r-call <= (<- j (r-call + j 1)) - (r-call length x))) - (<- xx (r-call r-index x j))) - (if (r-call is.na xx) - (<- f "%Y-%m-%d")))) + (if (r-call is.na xx) (r-block (<- j 1) + (while (&& (r-call is.na xx) + (r-call <= (<- j (r-call + j 1)) + (r-call length x))) + (<- xx (r-call r-index x j))) + (if (r-call is.na xx) + (<- f "%Y-%m-%d")))) (if (|\|\|| (r-call is.na xx) (r-call ! (r-call is.na (r-call strptime xx (<- f "%Y-%m-%d %H:%M:%OS")))) (r-call ! (r-call is.na (r-call strptime xx @@ -37,25 +43,19 @@ (r-call ! (r-call is.na (r-call strptime xx (<- f "%Y/%m/%d"))))) (r-block (<- res (r-call strptime x f)) - (if (r-call nchar tz) - (r-block (<- res (r-call attr<- res - "tzone" tz)) - tz)) + (if (r-call nchar tz) (r-block (<- res (r-call attr<- res "tzone" + tz)) + tz)) (return res))) (r-call stop "character string is not in a standard unambiguous format"))))) - (if (r-call inherits x - "POSIXlt") + (if (r-call inherits x "POSIXlt") (return x)) - (if (r-call inherits x - "Date") + (if (r-call inherits x "Date") (return (r-call .Internal (r-call Date2POSIXlt x)))) - (<- tzone (r-call attr x - "tzone")) - (if (|\|\|| (r-call inherits x - "date") - (r-call inherits x - "dates")) + (<- tzone (r-call attr x "tzone")) + (if (|\|\|| (r-call inherits x "date") + (r-call inherits x "dates")) (<- x (r-call as.POSIXct x))) (if (r-call is.character x) (return (r-call fromchar (r-call @@ -87,26 +87,25 @@ (<- tz "")) (r-call UseMethod "as.POSIXct"))))) (<- as.POSIXct.Date (lambda (x ...) - (let () (r-block (r-call structure (r-call - * (r-call unclass x) 86400) - (*named* class (r-call + (let () + (r-block (r-call structure (r-call * + (r-call unclass x) 86400) + (*named* class (r-call c "POSIXt" "POSIXct"))))))) (<- as.POSIXct.date (lambda (x ...) (let ((x ())) - (r-block (if (r-call inherits x - "date") + (r-block (if (r-call inherits x "date") (r-block (<- x (r-call * (r-call - x 3653) 86400)) (return (r-call - structure x (*named* class (r-call c "POSIXt" - "POSIXct"))))) + structure x (*named* class (r-call c "POSIXt" "POSIXct"))))) (r-call stop (r-call gettextf "'%s' is not a \"date\" object" (r-call deparse (substitute x))))))))) (<- as.POSIXct.dates (lambda (x ...) - (let ((x ()) (z ())) - (r-block (if (r-call inherits x - "dates") + (let ((x ()) + (z ())) + (r-block (if (r-call inherits x "dates") (r-block (<- z (r-call attr x "origin")) (<- x (r-call @@ -119,13 +118,13 @@ (r-call r-index z 1) (r-call r-index z 2) 0))))) (return (r-call - structure x (*named* class (r-call c "POSIXt" - "POSIXct"))))) + structure x (*named* class (r-call c "POSIXt" "POSIXct"))))) (r-call stop (r-call gettextf "'%s' is not a \"dates\" object" (r-call deparse (substitute x))))))))) (<- as.POSIXct.POSIXlt (lambda (x tz) - (let ((tzone ()) (tz ())) + (let ((tzone ()) + (tz ())) (r-block (when (missing tz) (<- tz "")) (<- tzone (r-call attr x @@ -145,8 +144,7 @@ (let ((tz ())) (r-block (when (missing tz) (<- tz "")) - (if (r-call inherits x - "POSIXct") + (if (r-call inherits x "POSIXct") (return x)) (if (|\|\|| (r-call is.character @@ -174,26 +172,27 @@ (r-call deparse (substitute x)))))))) (<- as.numeric.POSIXlt (lambda (x) - (let () (r-block (r-call as.POSIXct x))))) + (let () + (r-block (r-call as.POSIXct x))))) (<- format.POSIXlt (lambda (x format usetz ...) - (let ((np ()) (secs ()) (times ()) (format - ()) - (usetz ())) - (r-block (when (missing usetz) - (<- usetz *r-false*)) - (when (missing format) + (let ((np ()) + (secs ()) + (times ()) + (usetz ()) + (format ())) + (r-block (when (missing format) (<- format "")) + (when (missing usetz) + (<- usetz *r-false*)) (if (r-call ! (r-call inherits x "POSIXlt")) (r-call stop "wrong class")) - (if (r-call == format - "") + (if (r-call == format "") (r-block (<- times (r-call unlist (r-call r-index (r-call unclass x) (r-call : 1 3)))) (<- secs (r-call - r-aref x (index-in-strlist sec (r-call attr x - #0="names")))) + r-aref x (index-in-strlist sec (r-call attr x #0="names")))) (<- secs (r-call r-index secs (r-call ! (r-call is.na secs)))) (<- np (r-call @@ -215,11 +214,9 @@ (r-call all (r-call == (r-call r-index times (r-call ! (r-call is.na times))) 0)) - "%Y-%m-%d" - (if (r-call == np 0) - "%Y-%m-%d %H:%M:%S" - (r-call paste "%Y-%m-%d %H:%M:%OS" np - (*named* sep ""))))))) + "%Y-%m-%d" (if (r-call == np 0) "%Y-%m-%d %H:%M:%S" + (r-call paste "%Y-%m-%d %H:%M:%OS" np + (*named* sep ""))))))) (r-call .Internal (r-call format.POSIXlt x format usetz)))))) (<- strftime format.POSIXlt) @@ -230,41 +227,42 @@ (r-call .Internal (r-call strptime (r-call as.character x) format tz)))))) (<- format.POSIXct (lambda (x format tz usetz ...) - (let ((tzone ()) (format ()) (tz ()) (usetz - ())) - (r-block (when (missing usetz) - (<- usetz *r-false*)) + (let ((tzone ()) + (usetz ()) + (tz ()) + (format ())) + (r-block (when (missing format) + (<- format "")) (when (missing tz) (<- tz "")) - (when (missing format) - (<- format "")) + (when (missing usetz) + (<- usetz *r-false*)) (if (r-call ! (r-call inherits x "POSIXct")) (r-call stop "wrong class")) (if (&& (missing tz) (r-call ! (r-call - is.null (<- tzone (r-call attr x - "tzone"))))) + is.null (<- tzone (r-call attr x "tzone"))))) (<- tz tzone)) (r-call structure (r-call format.POSIXlt (r-call as.POSIXlt x tz) format usetz r-dotdotdot) (*named* names (r-call names x))))))) (<- print.POSIXct (lambda (x ...) - (let () (r-block (r-call print (r-call - format x (*named* - usetz *r-true*) - r-dotdotdot) - r-dotdotdot) - (r-call invisible x))))) + (let () + (r-block (r-call print (r-call format + x (*named* usetz *r-true*) r-dotdotdot) + r-dotdotdot) + (r-call invisible x))))) (<- print.POSIXlt (lambda (x ...) - (let () (r-block (r-call print (r-call - format x (*named* - usetz *r-true*)) - r-dotdotdot) - (r-call invisible x))))) + (let () + (r-block (r-call print (r-call format + x (*named* usetz *r-true*)) + r-dotdotdot) + (r-call invisible x))))) (<- summary.POSIXct (lambda (object digits ...) - (let ((x ()) (digits ())) + (let ((x ()) + (digits ())) (r-block (when (missing digits) (<- digits 15)) (<- x (r-call r-index (r-call @@ -295,35 +293,32 @@ digits) r-dotdotdot))))) (<- "+.POSIXt" (lambda (e1 e2) - (let ((e2 ()) (e1 ()) (coerceTimeUnit ())) + (let ((e2 ()) + (e1 ()) + (coerceTimeUnit ())) (r-block (<- coerceTimeUnit (lambda (x) - (let () (r-block - (switch (r-call attr x - "units") - (*named* secs x) (*named* mins (r-call * 60 x)) - (*named* hours (r-call * (r-call * 60 60) x)) - (*named* days (r-call * (r-call * (r-call * 60 60) 24) x)) - (*named* weeks (r-call * (r-call * (r-call * (r-call * 60 60) 24) 7) - x))))))) + (let () + (r-block (switch (r-call attr x "units") + (*named* secs x) (*named* mins (r-call * 60 x)) + (*named* hours (r-call * (r-call * 60 60) x)) + (*named* days (r-call * (r-call * (r-call * 60 60) 24) x)) + (*named* weeks (r-call * (r-call * (r-call * (r-call * 60 60) + 24) + 7) + x))))))) (if (r-call == (r-call nargs) 1) (return e1)) - (if (&& (r-call inherits e1 - "POSIXt") - (r-call inherits e2 - "POSIXt")) + (if (&& (r-call inherits e1 "POSIXt") + (r-call inherits e2 "POSIXt")) (r-call stop "binary + is not defined for \"POSIXt\" objects")) - (if (r-call inherits e1 - "POSIXlt") + (if (r-call inherits e1 "POSIXlt") (<- e1 (r-call as.POSIXct e1))) - (if (r-call inherits e2 - "POSIXlt") + (if (r-call inherits e2 "POSIXlt") (<- e2 (r-call as.POSIXct e2))) - (if (r-call inherits e1 - "difftime") + (if (r-call inherits e1 "difftime") (<- e1 (r-call coerceTimeUnit e1))) - (if (r-call inherits e2 - "difftime") + (if (r-call inherits e2 "difftime") (<- e2 (r-call coerceTimeUnit e2))) (r-call structure (r-call + (r-call @@ -334,27 +329,27 @@ (*named* tzone (r-call check_tzones e1 e2))))))) (<- "-.POSIXt" (lambda (e1 e2) - (let ((e2 ()) (coerceTimeUnit ())) + (let ((e2 ()) + (coerceTimeUnit ())) (r-block (<- coerceTimeUnit (lambda (x) - (let () (r-block - (switch (r-call attr x - "units") - (*named* secs x) (*named* mins (r-call * 60 x)) - (*named* hours (r-call * (r-call * 60 60) x)) - (*named* days (r-call * (r-call * (r-call * 60 60) 24) x)) - (*named* weeks (r-call * (r-call * (r-call * (r-call * 60 60) 24) 7) - x))))))) + (let () + (r-block (switch (r-call attr x "units") + (*named* secs x) (*named* mins (r-call * 60 x)) + (*named* hours (r-call * (r-call * 60 60) x)) + (*named* days (r-call * (r-call * (r-call * 60 60) 24) x)) + (*named* weeks (r-call * (r-call * (r-call * (r-call * 60 60) + 24) + 7) + x))))))) (if (r-call ! (r-call inherits e1 "POSIXt")) (r-call stop "Can only subtract from POSIXt objects")) (if (r-call == (r-call nargs) 1) (r-call stop "unary - is not defined for \"POSIXt\" objects")) - (if (r-call inherits e2 - "POSIXt") + (if (r-call inherits e2 "POSIXt") (return (r-call difftime e1 e2))) - (if (r-call inherits e2 - "difftime") + (if (r-call inherits e2 "difftime") (<- e2 (r-call unclass (r-call coerceTimeUnit e2)))) (if (r-call ! (r-call is.null (r-call @@ -366,7 +361,9 @@ (*named* class (r-call c "POSIXt" "POSIXct"))))))) (<- Ops.POSIXt (lambda (e1 e2) - (let ((e2 ()) (e1 ()) (boolean ())) + (let ((e2 ()) + (e1 ()) + (boolean ())) (r-block (if (r-call == (r-call nargs) 1) (r-call stop "unary" .Generic " not defined for \"POSIXt\" objects")) @@ -406,11 +403,8 @@ (r-block (<- tzs (r-call unique (r-call sapply (r-call list r-dotdotdot) (lambda (x) (let ((y ())) - (r-block (<- y (r-call attr x - "tzone")) - (if (r-call is.null y) - "" - y))))))) + (r-block (<- y (r-call attr x "tzone")) + (if (r-call is.null y) "" y))))))) (<- tzs (r-call r-index tzs (r-call != tzs ""))) @@ -422,7 +416,10 @@ (r-call r-index tzs 1) ()))))) (<- Summary.POSIXct (lambda (... na.rm) - (let ((val ()) (tz ()) (args ()) (ok ())) + (let ((val ()) + (tz ()) + (args ()) + (ok ())) (r-block (<- ok (switch .Generic (*named* max *r-missing*) (*named* min @@ -450,7 +447,10 @@ tz) val)))) (<- Summary.POSIXlt (lambda (... na.rm) - (let ((val ()) (tz ()) (args ()) (ok ())) + (let ((val ()) + (tz ()) + (args ()) + (ok ())) (r-block (<- ok (switch .Generic (*named* max *r-missing*) (*named* min @@ -472,11 +472,13 @@ .Generic (r-call c args (*named* na.rm na.rm)))) (r-call as.POSIXlt (r-call - structure val (*named* class (r-call c "POSIXt" - "POSIXct")) + structure val (*named* class (r-call c "POSIXt" "POSIXct")) (*named* tzone tz))))))) (<- "[.POSIXct" (lambda (x ... drop) - (let ((val ()) (x ()) (cl ()) (drop ())) + (let ((val ()) + (x ()) + (cl ()) + (drop ())) (r-block (when (missing drop) (<- drop *r-true*)) (<- cl (r-call oldClass x)) @@ -494,7 +496,10 @@ %r:4) val)))) (<- "[[.POSIXct" (lambda (x ... drop) - (let ((val ()) (x ()) (cl ()) (drop ())) + (let ((val ()) + (x ()) + (cl ()) + (drop ())) (r-block (when (missing drop) (<- drop *r-true*)) (<- cl (r-call oldClass x)) @@ -513,7 +518,10 @@ %r:5) val)))) (<- "[<-.POSIXct" (lambda (x ... value) - (let ((x ()) (tz ()) (cl ()) (value ())) + (let ((x ()) + (tz ()) + (cl ()) + (value ())) (r-block (if (r-call ! (r-call as.logical (r-call length value))) @@ -521,10 +529,11 @@ (<- value (r-call as.POSIXct value)) (<- cl (r-call oldClass x)) - (<- tz (r-call attr x - "tzone")) + (<- tz (r-call attr x "tzone")) (r-block (ref= %r:6 (r-block - (<- value (r-call class<- value ())) ())) + (<- value (r-call class<- value + ())) + ())) (<- x (r-call class<- x %r:6)) %r:6) @@ -538,13 +547,14 @@ tz) x)))) (<- as.character.POSIXt (lambda (x ...) - (let () (r-block (r-call format x - r-dotdotdot))))) + (let () + (r-block (r-call format x + r-dotdotdot))))) (<- as.data.frame.POSIXct as.data.frame.vector) (<- is.na.POSIXlt (lambda (x) - (let () (r-block (r-call is.na (r-call - as.POSIXct - x)))))) + (let () + (r-block (r-call is.na (r-call + as.POSIXct x)))))) (<- c.POSIXct (lambda (... recursive) (let ((recursive ())) (r-block (when (missing recursive) @@ -567,7 +577,8 @@ target current) (r-call NextMethod "all.equal"))))) (<- ISOdatetime (lambda (year month day hour min sec tz) - (let ((x ()) (tz ())) + (let ((x ()) + (tz ())) (r-block (when (missing tz) (<- tz "")) (<- x (r-call paste year month @@ -580,43 +591,50 @@ tz)) (*named* tz tz)))))) (<- ISOdate (lambda (year month day hour min sec tz) - (let ((hour ()) (min ()) (sec ()) (tz ())) - (r-block (when (missing tz) - (<- tz "GMT")) - (when (missing sec) - (<- sec 0)) + (let ((tz ()) + (sec ()) + (min ()) + (hour ())) + (r-block (when (missing hour) + (<- hour 12)) (when (missing min) (<- min 0)) - (when (missing hour) - (<- hour 12)) + (when (missing sec) + (<- sec 0)) + (when (missing tz) + (<- tz "GMT")) (r-call ISOdatetime year month day hour min sec tz))))) (<- as.matrix.POSIXlt (lambda (x ...) - (let () (r-block (r-call as.matrix (r-call + (let () + (r-block (r-call as.matrix (r-call as.data.frame (r-call unclass x)) - r-dotdotdot))))) + r-dotdotdot))))) (<- mean.POSIXct (lambda (x ...) - (let () (r-block (r-call structure (r-call - mean (r-call unclass x) r-dotdotdot) - (*named* class (r-call + (let () + (r-block (r-call structure (r-call mean + (r-call unclass x) r-dotdotdot) + (*named* class (r-call c "POSIXt" "POSIXct")) - (*named* tzone (r-call + (*named* tzone (r-call attr x "tzone"))))))) (<- mean.POSIXlt (lambda (x ...) - (let () (r-block (r-call as.POSIXlt (r-call - mean (r-call as.POSIXct x) r-dotdotdot)))))) + (let () + (r-block (r-call as.POSIXlt (r-call mean + (r-call as.POSIXct x) r-dotdotdot)))))) (<- difftime (lambda (time1 time2 tz units) - (let ((zz ()) (z ()) (time2 ()) (time1 ()) (tz ()) - (units ())) - (r-block (when (missing units) - (<- units (r-call c "auto" - "secs" - "mins" - "hours" - "days" - "weeks"))) - (when (missing tz) + (let ((zz ()) + (z ()) + (time2 ()) + (time1 ()) + (units ()) + (tz ())) + (r-block (when (missing tz) (<- tz "")) + (when (missing units) + (<- units (r-call c "auto" "secs" + "mins" "hours" + "days" "weeks"))) (<- time1 (r-call as.POSIXct time1 (*named* tz tz))) (<- time2 (r-call as.POSIXct time2 @@ -625,20 +643,18 @@ time1) (r-call unclass time2))) (<- units (r-call match.arg units)) - (if (r-call == units - "auto") + (if (r-call == units "auto") (r-block (if (r-call all (r-call is.na z)) (<- units "secs") (r-block (<- zz (r-call min (r-call abs z) (*named* na.rm *r-true*))) (if (|\|\|| (r-call is.na zz) (r-call < zz 60)) - (<- units "secs") - (if (r-call < zz 3600) - (<- units "mins") - (if (r-call < zz 86400) - (<- units "hours") - (<- units "days")))))))) + (<- units "secs") (if (r-call < zz 3600) + (<- units "mins") + (if (r-call < zz 86400) + (<- units "hours") + (<- units "days")))))))) (switch units (*named* secs (r-call structure z (*named* units "secs") (*named* class "difftime"))) @@ -673,13 +689,13 @@ (*named* class "difftime")))))))) (<- as.difftime (lambda (tim format units) - (let ((format ()) (units ())) - (r-block (when (missing units) - (<- units "auto")) - (when (missing format) + (let ((units ()) + (format ())) + (r-block (when (missing format) (<- format "%X")) - (if (r-call inherits tim - "difftime") + (when (missing units) + (<- units "auto")) + (if (r-call inherits tim "difftime") (return tim)) (if (r-call is.character tim) (r-block (r-call difftime (r-call @@ -695,9 +711,7 @@ units "auto") (r-call stop "need explicit units for numeric conversion")) (if (r-call ! (r-call - %in% units (r-call c "secs" - "mins" "hours" "days" - "weeks"))) + %in% units (r-call c "secs" "mins" "hours" "days" "weeks"))) (r-call stop "invalid units specified")) (r-call structure tim (*named* @@ -709,17 +723,17 @@ (<- "units<-" (lambda (x value) (let () (r-block (r-call UseMethod "units<-"))))) (<- units.difftime (lambda (x) - (let () (r-block (r-call attr x - "units"))))) + (let () + (r-block (r-call attr x "units"))))) (<- "units<-.difftime" (lambda (x value) - (let ((newx ()) (sc ()) (from ())) + (let ((newx ()) + (sc ()) + (from ())) (r-block (<- from (r-call units x)) (if (r-call == from value) (return x)) (if (r-call ! (r-call - %in% value (r-call c "secs" - "mins" "hours" "days" - "weeks"))) + %in% value (r-call c "secs" "mins" "hours" "days" "weeks"))) (r-call stop "invalid units specified")) (<- sc (r-call cumprod (r-call c (*named* secs 1) (*named* mins 60) @@ -732,11 +746,11 @@ value) (*named* class "difftime")))))) (<- as.double.difftime (lambda (x units ...) - (let ((x ()) (units ())) + (let ((x ()) + (units ())) (r-block (when (missing units) (<- units "auto")) - (if (r-call != units - "auto") + (if (r-call != units "auto") (r-block (<- x (r-call units<- x units)) units)) @@ -745,11 +759,13 @@ (<- as.data.frame.difftime as.data.frame.vector) (<- format.difftime (lambda (x ...) - (let () (r-block (r-call paste (r-call - format (r-call unclass x) r-dotdotdot) - (r-call units x)))))) + (let () + (r-block (r-call paste (r-call format + (r-call unclass x) r-dotdotdot) + (r-call units x)))))) (<- print.difftime (lambda (x digits ...) - (let ((y ()) (digits ())) + (let ((y ()) + (digits ())) (r-block (when (missing digits) (<- digits (r-call getOption @@ -760,38 +776,38 @@ length x) 1)) (r-block (r-call cat "Time differences in " - (r-call attr x - "units") - "\n" (*named* sep "")) + (r-call attr x "units") "\n" (*named* sep "")) (<- y (r-call unclass x)) (r-block (<- y - (r-call attr<- y - "units" ())) + (r-call attr<- y "units" + ())) ()) (r-call print y)) (r-call cat "Time difference of " (r-call format (r-call unclass x) (*named* digits digits)) - " " - (r-call attr x - "units") - "\n" - (*named* sep ""))) + " " (r-call attr + x "units") + "\n" (*named* sep + ""))) (r-call invisible x))))) (<- round.difftime (lambda (x digits ...) - (let ((units ()) (digits ())) + (let ((units ()) + (digits ())) (r-block (when (missing digits) (<- digits 0)) - (<- units (r-call attr x - "units")) + (<- units (r-call attr x "units")) (r-call structure (r-call NextMethod) (*named* units units) (*named* class "difftime")))))) (<- "[.difftime" (lambda (x ... drop) - (let ((val ()) (x ()) (cl ()) (drop ())) + (let ((val ()) + (x ()) + (cl ()) + (drop ())) (r-block (when (missing drop) (<- drop *r-true*)) (<- cl (r-call oldClass x)) @@ -810,11 +826,13 @@ %r:7) val)))) (<- Ops.difftime (lambda (e1 e2) - (let ((u1 ()) (e2 ()) (boolean ()) (e1 ()) (coerceTimeUnit - ())) + (let ((u1 ()) + (e2 ()) + (boolean ()) + (e1 ()) + (coerceTimeUnit ())) (r-block (<- coerceTimeUnit (lambda (x) - (let () (r-block (switch (r-call attr x - "units") + (let () (r-block (switch (r-call attr x "units") (*named* secs x) (*named* mins (r-call * 60 x)) (*named* hours (r-call * (r-call * 60 60) x)) @@ -852,43 +870,32 @@ (*named* >= *r-true*) *r-false*)) - (if boolean - (r-block (if (&& (r-call + (if boolean (r-block (if (&& (r-call inherits e1 "difftime") - (r-call inherits e2 - "difftime")) - (r-block (<- - e1 (r-call coerceTimeUnit e1)) - (<- e2 (r-call coerceTimeUnit e2)))) - (r-call NextMethod - .Generic)) + (r-call inherits e2 "difftime")) + (r-block (<- e1 (r-call coerceTimeUnit e1)) + (<- e2 (r-call coerceTimeUnit e2)))) + (r-call NextMethod .Generic)) (if (|\|\|| (r-call == .Generic "+") (r-call == .Generic "-")) (r-block (if (&& (r-call inherits e1 "difftime") - (r-call ! (r-call inherits e2 - "difftime"))) + (r-call ! (r-call inherits e2 "difftime"))) (return (r-call structure (r-call NextMethod .Generic) - (*named* units (r-call attr e1 - "units")) + (*named* units (r-call attr e1 "units")) (*named* class "difftime")))) (if (&& (r-call - ! (r-call inherits e1 - "difftime")) - (r-call inherits e2 - "difftime")) + ! (r-call inherits e1 "difftime")) + (r-call inherits e2 "difftime")) (return (r-call structure (r-call NextMethod .Generic) - (*named* units (r-call attr e2 - "units")) + (*named* units (r-call attr e2 "units")) (*named* class "difftime")))) (<- u1 (r-call attr e1 "units")) (if (r-call == - (r-call attr e2 - "units") - u1) + (r-call attr e2 "units") u1) (r-block (r-call structure (r-call NextMethod .Generic) (*named* units u1) (*named* class "difftime"))) (r-block (<- e1 (r-call coerceTimeUnit e1)) @@ -899,14 +906,13 @@ (r-block (r-call stop .Generic "not defined for \"difftime\" objects")))))))) (<- "*.difftime" (lambda (e1 e2) - (let ((e2 ()) (e1 ()) (tmp ())) - (r-block (if (&& (r-call inherits e1 - "difftime") - (r-call inherits e2 - "difftime")) + (let ((e2 ()) + (e1 ()) + (tmp ())) + (r-block (if (&& (r-call inherits e1 "difftime") + (r-call inherits e2 "difftime")) (r-call stop "both arguments of * cannot be \"difftime\" objects")) - (if (r-call inherits e2 - "difftime") + (if (r-call inherits e2 "difftime") (r-block (<- tmp e1) (<- e1 e2) (<- e2 tmp))) @@ -916,25 +922,27 @@ attr e1 "units")) (*named* class "difftime")))))) (<- "/.difftime" (lambda (e1 e2) - (let () (r-block (if (r-call inherits e2 - "difftime") - (r-call stop "second argument of / cannot be a \"difftime\" object")) - (r-call structure (r-call / - (r-call unclass e1) e2) - (*named* units (r-call + (let () + (r-block (if (r-call inherits e2 "difftime") + (r-call stop "second argument of / cannot be a \"difftime\" object")) + (r-call structure (r-call / (r-call + unclass e1) + e2) + (*named* units (r-call attr e1 "units")) - (*named* class "difftime")))))) + (*named* class "difftime")))))) (<- Math.difftime (lambda (x ...) - (let () (r-block (r-call stop .Generic - "not defined for \"difftime\" objects"))))) + (let () + (r-block (r-call stop .Generic + "not defined for \"difftime\" objects"))))) (<- mean.difftime (lambda (x ... na.rm) - (let ((args ()) (coerceTimeUnit ()) (na.rm - ())) + (let ((args ()) + (coerceTimeUnit ()) + (na.rm ())) (r-block (when (missing na.rm) (<- na.rm *r-false*)) (<- coerceTimeUnit (lambda (x) - (let () (r-block (r-call as.vector (switch (r-call attr x - "units") + (let () (r-block (r-call as.vector (switch (r-call attr x "units") (*named* secs x) (*named* mins (r-call * 60 x)) (*named* hours (r-call * (r-call @@ -957,15 +965,14 @@ (r-block (r-call structure (r-call mean (r-call as.vector x) (*named* na.rm na.rm)) - (*named* units (r-call attr x - "units")) + (*named* units (r-call attr x "units")) (*named* class "difftime")))))))) (<- Summary.difftime (lambda (... na.rm) - (let ((args ()) (ok ()) (coerceTimeUnit - ())) + (let ((args ()) + (ok ()) + (coerceTimeUnit ())) (r-block (<- coerceTimeUnit (lambda (x) - (let () (r-block (r-call as.vector (switch (r-call attr x - "units") + (let () (r-block (r-call as.vector (switch (r-call attr x "units") (*named* secs x) (*named* mins (r-call * 60 x)) (*named* hours (r-call * (r-call @@ -996,15 +1003,24 @@ (*named* units "secs") (*named* class "difftime")))))) (<- seq.POSIXt (lambda (from to by length.out along.with ...) - (let ((mon ()) (yr ()) (r1 ()) (by2 ()) (by ()) - (valid ()) (res ()) (to ()) (from ()) (status - ()) - (tz ()) (cfrom ()) (length.out ()) (along.with - ())) - (r-block (when (missing along.with) - (<- along.with ())) - (when (missing length.out) + (let ((mon ()) + (yr ()) + (r1 ()) + (by2 ()) + (by ()) + (valid ()) + (res ()) + (to ()) + (from ()) + (status ()) + (tz ()) + (cfrom ()) + (along.with ()) + (length.out ())) + (r-block (when (missing length.out) (<- length.out ())) + (when (missing along.with) + (<- along.with ())) (if (missing from) (r-call stop "'from' must be specified")) (if (r-call ! (r-call inherits @@ -1015,8 +1031,7 @@ cfrom) 1) (r-call stop "'from' must be of length 1")) - (<- tz (r-call attr cfrom - "tzone")) + (<- tz (r-call attr cfrom "tzone")) (if (r-call ! (missing to)) (r-block (if (r-call ! (r-call inherits to "POSIXt")) @@ -1060,26 +1075,23 @@ (return (r-call structure res (*named* - class (r-call c "POSIXt" - "POSIXct")) + class (r-call c "POSIXt" "POSIXct")) (*named* tzone tz))))) (if (r-call != (r-call length by) 1) (r-call stop "'by' must be of length 1")) (<- valid 0) - (if (r-call inherits by - "difftime") + (if (r-call inherits by "difftime") (r-block (<- by (r-call * (switch - (r-call attr by - "units") - (*named* secs 1) (*named* mins 60) (*named* hours 3600) - (*named* days 86400) (*named* weeks (r-call * 7 86400))) + (r-call attr by "units") (*named* secs 1) + (*named* mins 60) (*named* hours 3600) (*named* days 86400) + (*named* weeks (r-call * 7 86400))) (r-call unclass by)))) (if (r-call is.character by) (r-block (<- by2 (r-call - r-aref (r-call strsplit by - " " (*named* fixed *r-true*)) + r-aref (r-call strsplit by " " + (*named* fixed *r-true*)) 1)) (if (|\|\|| (r-call > (r-call length by2) 2) @@ -1089,10 +1101,7 @@ (<- valid (r-call pmatch (r-call r-index by2 (r-call length by2)) - (r-call c "secs" - "mins" "hours" "days" - "weeks" "months" "years" - "DSTdays"))) + (r-call c "secs" "mins" "hours" "days" "weeks" "months" "years" "DSTdays"))) (if (r-call is.na valid) (r-call stop @@ -1103,12 +1112,11 @@ by (r-call r-index (r-call c 1 60 3600 86400 (r-call * 7 86400)) valid)) - (if (r-call == (r-call length by2) 2) - (<- by (r-call * by - (r-call as.integer (r-call r-index by2 1)))))) + (if (r-call == (r-call length by2) 2) (<- by (r-call * by + (r-call as.integer (r-call + r-index by2 1)))))) (<- by (if - (r-call == (r-call length by2) 2) - (r-call as.integer (r-call r-index by2 1)) + (r-call == (r-call length by2) 2) (r-call as.integer (r-call r-index by2 1)) 1)))) (if (r-call ! (r-call is.numeric by)) @@ -1131,8 +1139,7 @@ (return (r-call structure res (*named* - class (r-call c "POSIXt" - "POSIXct")) + class (r-call c "POSIXt" "POSIXct")) (*named* tzone tz)))) (r-block (<- r1 (r-call @@ -1152,13 +1159,10 @@ (index-in-strlist year (r-call attr r1 #0#))) (r-call r-aref to - (index-in-strlist year (r-call attr to - #0#))) + (index-in-strlist year (r-call attr to #0#))) by)))) (r-block (<- r1 (r-call r-aref<- r1 - (index-in-strlist year (r-call attr r1 - #0#)) - yr)) + (index-in-strlist year (r-call attr r1 #0#)) yr)) yr) (r-block (ref= %r:9 (r-call - 1)) (<- r1 (r-call r-aref<- r1 (index-in-strlist isdst (r-call @@ -1169,12 +1173,11 @@ (if (r-call == valid 6) (r-block (if - (missing to) - (r-block (<- mon (r-call seq.int (r-call r-aref r1 - (index-in-strlist mon (r-call attr - r1 #0#))) - (*named* by by) - (*named* length length.out)))) + (missing to) (r-block (<- mon (r-call seq.int (r-call r-aref r1 + (index-in-strlist mon + (r-call attr r1 #0#))) + (*named* by by) + (*named* length length.out)))) (r-block (<- to (r-call as.POSIXlt to)) (<- mon (r-call seq.int (r-call r-aref r1 (index-in-strlist mon (r-call attr @@ -1193,9 +1196,7 @@ to #0#)))) by)))) (r-block (<- r1 (r-call r-aref<- r1 - (index-in-strlist mon (r-call attr r1 - #0#)) - mon)) + (index-in-strlist mon (r-call attr r1 #0#)) mon)) mon) (r-block (ref= %r:10 (r-call - 1)) (<- r1 (r-call r-aref<- r1 (index-in-strlist isdst (r-call @@ -1205,54 +1206,55 @@ (<- res (r-call as.POSIXct r1))) (if (r-call == valid 8) - (r-block (if (r-call ! (missing to)) - (r-block (<- length.out (r-call + 2 - (r-call floor (r-call / (r-call - - (r-call unclass (r-call as.POSIXct to)) - (r-call unclass (r-call as.POSIXct from))) - 86400)))))) + (r-block (if (r-call ! (missing to)) (r-block (<- length.out (r-call + 2 + (r-call floor (r-call / (r-call - (r-call unclass (r-call as.POSIXct to)) + (r-call unclass (r-call as.POSIXct from))) + 86400)))))) (r-block (ref= %r:11 (r-call seq.int (r-call r-aref r1 (index-in-strlist mday - (r-call attr r1 - #0#))) + (r-call attr r1 #0#))) (*named* by by) (*named* length length.out))) (<- r1 (r-call r-aref<- r1 - (index-in-strlist mday (r-call attr r1 - #0#)) + (index-in-strlist mday (r-call attr r1 #0#)) %r:11)) %r:11) (r-block (ref= %r:12 (r-call - 1)) (<- r1 (r-call r-aref<- r1 - (index-in-strlist isdst (r-call attr r1 - #0#)) + (index-in-strlist isdst (r-call attr r1 #0#)) %r:12)) %r:12) (<- res (r-call as.POSIXct r1)) - (if (r-call ! (missing to)) - (<- res (r-call r-index res - (r-call <= res - (r-call as.POSIXct to))))))))) + (if (r-call ! (missing to)) (<- res (r-call r-index res + (r-call <= res + (r-call + as.POSIXct to))))))))) (return res))))))) (<- cut.POSIXt (lambda (x breaks labels start.on.monday right ...) - (let ((res ()) (maxx ()) (incr ()) (start ()) - (valid ()) (by2 ()) (breaks ()) (x ()) (labels - ()) - (start.on.monday ()) (right ())) - (r-block (when (missing right) - (<- right *r-false*)) + (let ((res ()) + (maxx ()) + (incr ()) + (start ()) + (valid ()) + (by2 ()) + (breaks ()) + (x ()) + (right ()) + (start.on.monday ()) + (labels ())) + (r-block (when (missing labels) + (<- labels ())) (when (missing start.on.monday) (<- start.on.monday *r-true*)) - (when (missing labels) - (<- labels ())) + (when (missing right) + (<- right *r-false*)) (if (r-call ! (r-call inherits x "POSIXt")) (r-call stop "'x' must be a date-time object")) (<- x (r-call as.POSIXct x)) - (if (r-call inherits breaks - "POSIXt") + (if (r-call inherits breaks "POSIXt") (r-block (<- breaks (r-call as.POSIXct breaks))) (if (&& (r-call is.numeric @@ -1268,8 +1270,8 @@ length breaks) 1)) (r-block (<- by2 (r-call - r-aref (r-call strsplit breaks - " " (*named* fixed *r-true*)) + r-aref (r-call strsplit breaks " " + (*named* fixed *r-true*)) 1)) (if (|\|\|| (r-call > (r-call length by2) 2) (r-call < (r-call length by2) 1)) @@ -1277,10 +1279,7 @@ (<- valid (r-call pmatch (r-call r-index by2 (r-call length by2)) - (r-call c "secs" - "mins" "hours" "days" - "weeks" "months" "years" - "DSTdays"))) + (r-call c "secs" "mins" "hours" "days" "weeks" "months" "years" "DSTdays"))) (if (r-call is.na valid) (r-call stop "invalid specification of 'breaks'")) @@ -1325,20 +1324,20 @@ #0#)) %r:13)) %r:13) - (if start.on.monday - (r-block (ref= %r:14 (r-call + (r-call r-aref start - (index-in-strlist mday (r-call - attr start #0#))) - (r-call ifelse (r-call > (r-call - r-aref start (index-in-strlist wday (r-call attr start - #0#))) - 0) - 1 (r-call - 6)))) - (<- start (r-call r-aref<- start - (index-in-strlist mday (r-call attr + (if start.on.monday (r-block (ref= %r:14 (r-call + (r-call r-aref + start (index-in-strlist mday (r-call attr start #0#))) + (r-call ifelse (r-call + > (r-call r-aref start + (index-in-strlist wday (r-call attr start #0#))) + 0) + 1 (r-call + - 6)))) + (<- start (r-call r-aref<- start + (index-in-strlist + mday (r-call attr start #0#)) - %r:14)) - %r:14)) + %r:14)) + %r:14)) (<- incr (r-call * 7 86400)))) (if (r-call == valid 6) @@ -1400,7 +1399,8 @@ (<- julian (lambda (x ...) (let () (r-block (r-call UseMethod "julian"))))) (<- julian.POSIXt (lambda (x origin ...) - (let ((res ()) (origin ())) + (let ((res ()) + (origin ())) (r-block (when (missing origin) (<- origin (r-call as.POSIXct @@ -1427,8 +1427,7 @@ (r-call format x (r-call ifelse abbreviate - "%a" - "%A")))))) + "%a" "%A")))))) (<- months (lambda (x abbreviate) (let () (r-block (r-call UseMethod "months"))))) (<- months.POSIXt (lambda (x abbreviate) @@ -1452,7 +1451,8 @@ (r-call + x 1) (*named* sep "")))))) (<- trunc.POSIXt (lambda (x units) - (let ((x ()) (units ())) + (let ((x ()) + (units ())) (r-block (when (missing units) (<- units (r-call c "secs" "mins" "hours" "days"))) @@ -1460,50 +1460,36 @@ units)) (<- x (r-call as.POSIXlt x)) (if (r-call > (r-call length (r-call - r-aref x (index-in-strlist sec (r-call attr x - #0#)))) + r-aref x (index-in-strlist sec (r-call attr x #0#)))) 0) (switch units (*named* secs (r-block (r-block (ref= %r:16 (r-call trunc (r-call r-aref x (index-in-strlist sec (r-call attr x #0#))))) (<- x (r-call r-aref<- x - (index-in-strlist sec (r-call attr x - #0#)) + (index-in-strlist sec (r-call attr x #0#)) %r:16)) %r:16))) (*named* mins (r-block (r-block (<- x (r-call r-aref<- x - (index-in-strlist sec (r-call attr x - #0#)) - 0)) + (index-in-strlist sec (r-call attr x #0#)) 0)) 0))) (*named* hours (r-block (r-block (<- x (r-call r-aref<- x - (index-in-strlist sec (r-call attr x - #0#)) - 0)) + (index-in-strlist sec (r-call attr x #0#)) 0)) 0) (r-block (<- x (r-call r-aref<- x - (index-in-strlist min (r-call attr x - #0#)) - 0)) + (index-in-strlist min (r-call attr x #0#)) 0)) 0))) (*named* days (r-block (r-block (<- x (r-call r-aref<- x - (index-in-strlist sec (r-call attr x - #0#)) - 0)) + (index-in-strlist sec (r-call attr x #0#)) 0)) 0) (r-block (<- x (r-call r-aref<- x - (index-in-strlist min (r-call attr x - #0#)) - 0)) + (index-in-strlist min (r-call attr x #0#)) 0)) 0) (r-block (<- x (r-call r-aref<- x - (index-in-strlist hour (r-call attr x - #0#)) - 0)) + (index-in-strlist hour (r-call attr x #0#)) 0)) 0) (r-block (ref= %r:17 (r-call - 1)) (<- x (r-call r-aref<- x (index-in-strlist isdst (r-call @@ -1512,7 +1498,8 @@ %r:17))))) x)))) (<- round.POSIXt (lambda (x units) - (let ((x ()) (units ())) + (let ((x ()) + (units ())) (r-block (when (missing units) (<- units (r-call c "secs" "mins" "hours" "days"))) @@ -1530,13 +1517,13 @@ (r-call trunc.POSIXt x (*named* units units)))))) (<- "[.POSIXlt" (lambda (x ... drop) - (let ((val ()) (drop ())) + (let ((val ()) + (drop ())) (r-block (when (missing drop) (<- drop *r-true*)) - (<- val (r-call lapply x - "[" r-dotdotdot - (*named* drop - drop))) + (<- val (r-call lapply x "[" + r-dotdotdot (*named* + drop drop))) (r-block (ref= %r:18 (r-call attributes x)) (<- val (r-call @@ -1545,7 +1532,9 @@ %r:18) val)))) (<- "[<-.POSIXlt" (lambda (x i value) - (let ((x ()) (cl ()) (value ())) + (let ((x ()) + (cl ()) + (value ())) (r-block (if (r-call ! (r-call as.logical (r-call length value))) @@ -1554,7 +1543,9 @@ value)) (<- cl (r-call oldClass x)) (r-block (ref= %r:19 (r-block - (<- value (r-call class<- value ())) ())) + (<- value (r-call class<- value + ())) + ())) (<- x (r-call class<- x %r:19)) %r:19) @@ -1570,15 +1561,16 @@ cl) x)))) (<- as.data.frame.POSIXlt (lambda (x row.names optional ...) - (let ((value ()) (row.names ()) (optional - ())) + (let ((value ()) + (optional ()) + (row.names ())) (r-block (when (missing + row.names) + (<- row.names ())) + (when (missing optional) (<- optional *r-false*)) - (when (missing - row.names) - (<- row.names ())) (<- value (r-call as.data.frame.POSIXct (r-call @@ -1611,22 +1603,24 @@ %r:23) y)))) (<- diff.POSIXt (lambda (x lag differences ...) - (let ((i1 ()) (xlen ()) (r ()) (ismat ()) (lag - ()) - (differences ())) - (r-block (when (missing differences) - (<- differences 1)) - (when (missing lag) + (let ((i1 ()) + (xlen ()) + (r ()) + (ismat ()) + (differences ()) + (lag ())) + (r-block (when (missing lag) (<- lag 1)) + (when (missing differences) + (<- differences 1)) (<- ismat (r-call is.matrix x)) - (<- r (if (r-call inherits x - "POSIXlt") + (<- r (if (r-call inherits x "POSIXlt") (r-call as.POSIXct x) x)) - (<- xlen (if ismat - (r-call r-index (r-call + (<- xlen (if ismat (r-call + r-index (r-call dim x) - 1) + 1) (r-call length r))) (if (|\|\|| (r-call > (r-call length lag) @@ -1650,20 +1644,15 @@ units "secs")))) (<- i1 (r-call : (r-call - 1) (r-call - lag))) - (if ismat - (for i (r-call : 1 - differences) - (<- r (r-call - (r-call + (if ismat (for i (r-call : 1 + differences) + (<- r (r-call - (r-call r-index r i1 *r-missing* (*named* drop *r-false*)) - (r-call - r-index r - (r-call : - (r-call - (r-call nrow r)) (r-call - (r-call + (r-call - (r-call nrow r) lag) - 1))) - *r-missing* - (*named* - drop *r-false*))))) + (r-call r-index r + (r-call : (r-call - (r-call nrow r)) + (r-call - (r-call + (r-call - (r-call nrow r) lag) 1))) + *r-missing* (*named* drop *r-false*))))) (for i (r-call : 1 differences) (<- r (r-call - (r-call @@ -1676,7 +1665,8 @@ 1)))))))) r)))) (<- duplicated.POSIXlt (lambda (x incomparables ...) - (let ((x ()) (incomparables ())) + (let ((x ()) + (incomparables ())) (r-block (when (missing incomparables) (<- incomparables @@ -1694,11 +1684,12 @@ (r-call ! (r-call duplicated x incomparables r-dotdotdot))))))) (<- sort.POSIXlt (lambda (x decreasing na.last ...) - (let ((decreasing ()) (na.last ())) - (r-block (when (missing na.last) - (<- na.last NA)) - (when (missing decreasing) + (let ((na.last ()) + (decreasing ())) + (r-block (when (missing decreasing) (<- decreasing *r-false*)) + (when (missing na.last) + (<- na.last NA)) (r-call r-index x (r-call order (r-call as.POSIXct x) diff --git a/femtolisp/compiler.lsp b/femtolisp/compiler.lsp index c769004..17241e2 100644 --- a/femtolisp/compiler.lsp +++ b/femtolisp/compiler.lsp @@ -26,6 +26,7 @@ :add2 :sub2 :neg :largc :lvargc :loada0 :loada1 :loadc00 :loadc01 :call.l :tcall.l :brne :brne.l :cadr :brnn :brnn.l :brn :brn.l + :optargs dummy_t dummy_f dummy_nil])) (for 0 (1- (length keys)) @@ -171,7 +172,7 @@ ((number? nxt) (case vi ((:loadv.l :loadg.l :setg.l :loada.l :seta.l - :largc :lvargc :call.l :tcall.l) + :largc :lvargc :call.l :tcall.l :optargs) (io.write bcode (int32 nxt)) (set! i (+ i 1))) @@ -346,6 +347,7 @@ (if (and (pair? head) (eq? (car head) 'lambda) (list? (cadr head)) + (every symbol? (cadr head)) (not (length> (cadr head) 255))) (compile-let g env tail? x) (compile-call g env tail? x)))) @@ -505,6 +507,28 @@ (else ()))))) (lambda (expr) (delete-duplicates (get-defined-vars- expr))))) +(define (lambda-vars l) + (define (check-formals l o) + (or + (null? l) (symbol? l) + (and + (pair? l) + (or (symbol? (car l)) + (and (pair? (car l)) + (or (every pair? (cdr l)) + (error (string "compile error: invalid argument list " + o ". optional arguments must come last.")))) + (error (string "compile error: invalid formal argument " (car l) + " in list " o))) + (check-formals (cdr l) o)) + (if (eq? l o) + (error (string "compile error: invalid argument list " o)) + (error (string "compile error: invalid formal argument " l + " in list " o))))) + (check-formals l l) + (map (lambda (s) (if (pair? s) (car s) s)) + (to-proper l))) + (define compile-f- (let ((*defines-processed-token* (gensym))) ; to eval a top-level expression we need to avoid internal define @@ -529,23 +553,34 @@ (let ((g (make-code-emitter)) (args (cadr f)) + (vars (lambda-vars (cadr f))) + (opta (filter pair? (cadr f))) (name (if (eq? (lastcdr f) *defines-processed-token*) 'lambda (lastcdr f)))) - (cond ((not (null? let?)) (emit g :let)) - ((length> args 255) (emit g (if (null? (lastcdr args)) - :largc :lvargc) - (length args))) - ((null? (lastcdr args)) (emit g :argc (length args))) - (else (emit g :vargc (if (atom? args) 0 (length args))))) - (compile-in g (cons (to-proper args) env) #t - (if (eq? (lastcdr f) *defines-processed-token*) - (caddr f) - (lambda-body f))) - (emit g :ret) - (values (function (encode-byte-code (bcode:code g)) - (const-to-idx-vec g) name) - (aref g 3)))))) + (let ((nargs (if (atom? args) 0 (length args)))) + + ; emit argument checking prologue + (if (not (null? opta)) + (begin (bcode:indexfor g (list->vector (map cadr opta))) + (emit g :optargs (- nargs (length opta))))) + + (cond ((not (null? let?)) (emit g :let)) + ((> nargs 255) (emit g (if (null? (lastcdr args)) + :largc :lvargc) + nargs)) + ((null? (lastcdr args)) (emit g :argc nargs)) + (else (emit g :vargc nargs))) + + ; compile body and return + (compile-in g (cons vars env) #t + (if (eq? (lastcdr f) *defines-processed-token*) + (caddr f) + (lambda-body f))) + (emit g :ret) + (values (function (encode-byte-code (bcode:code g)) + (const-to-idx-vec g) name) + (aref g 3))))))) (define (compile f) (compile-f () f)) @@ -604,7 +639,7 @@ (princ (number->string (aref code i))) (set! i (+ i 1))) - ((:loada.l :seta.l :largc :lvargc :call.l :tcall.l) + ((:loada.l :seta.l :largc :lvargc :call.l :tcall.l :optargs) (princ (number->string (ref-int32-LE code i))) (set! i (+ i 4))) diff --git a/femtolisp/flisp.boot b/femtolisp/flisp.boot index 136c555..096b2da 100644 --- a/femtolisp/flisp.boot +++ b/femtolisp/flisp.boot @@ -1 +1 @@ -(zero? #function("7000r1~`W;" [] zero?) vector.map #function("8000r2c0e1\x7f31u42;" [#function("8000vc0e1~31u42;" [#function(":000v`\x80azc0qw2~;" [#function(":000r1\x80~i20i21~[31\\;" [])]) vector.alloc]) length] vector.map) vector->list #function("9000r1c0e1~31_u43;" [#function(":000va~c0qw2\x7f;" [#function("8000r1i10\x80~z[\x81Ko01;" [])]) length] vector->list) values #function("9000s0~F16602~NA650~M;\x80~K;" [] #5=[(*values*) ()]) untrace #function("8000r1c0e1~31u42;" [#function("9000ve0~316@0e1\x80e2~31b2[42;^;" [traced? set-top-level-value! function:vals]) top-level-value] untrace) traced? #function("8000r1e0~31e0\x8031>;" [function:code] [#function(":000s0e0c1~K312c2~x2;" [println x #.apply]) ()]) trace #function("8000r1c0e1~31u322c2;" [#function("8000vc0e130u42;" [#function("?000ve0\x80317a0e1i10e2c3~c4c5c6c7i10L2~L3L2c8c7\x80L2~L3L3L33142;^;" [traced? set-top-level-value! eval lambda begin println cons quote apply]) gensym]) top-level-value ok] trace) to-proper #function("9000r1~\x8740~;~?660~L1;~Me0~N31K;" [to-proper] to-proper) table.values #function("9000r1e0c1_~43;" [table.foldl #function("7000r3\x7fg2K;" [])] table.values) table.pairs #function("9000r1e0c1_~43;" [table.foldl #function("7000r3~\x7fKg2K;" [])] table.pairs) table.keys #function("9000r1e0c1_~43;" [table.foldl #function("7000r3~g2K;" [])] table.keys) table.invert #function("8000r1c0e130u42;" [#function("9000ve0c1q_\x80332~;" [table.foldl #function("9000r3e0\x80\x7f~43;" [put!])]) table] table.invert) table.foreach #function("9000r2e0c1q_\x7f43;" [table.foldl #function("8000r3\x80~\x7f322];" [])] table.foreach) table.clone #function("8000r1c0e130u42;" [#function("9000ve0c1q_\x80332~;" [table.foldl #function("9000r3e0\x80~\x7f43;" [put!])]) table] table.clone) symbol-syntax #function("9000r1e0e1~^43;" [get *syntax-environment*] symbol-syntax) string.trim #function("9000r3c0^^u43;" [#function("8000vc0qm02c1qm12c2e3\x8031u42;" [#function(";000r4g2g3X16?02e0\x7fe1~g232326A0\x80~\x7fe2~g232g344;g2;" [string.find string.char string.inc] trim-start) #function("<000r3e0g2`3216D02e1\x7fe2~e3~g23232326?0\x81~\x7fe3~g23243;g2;" [> string.find string.char string.dec] trim-end) #function("<000ve0i10\x80i10i11`~34\x81i10i12~3343;" [string.sub]) length])] string.trim) string.tail #function(";000r2e0~e1~`\x7f3342;" [string.sub string.inc] string.tail) string.rpad #function("<000r3e0~e1g2\x7fe2~31z3242;" [string string.rep string.count] string.rpad) string.rep #function(";000r2\x7fb4X6`0e0\x7f`32650c1;\x7faW680e2~41;\x7fb2W690e2~~42;e2~~~43;e3\x7f316@0e2~e4~\x7faz3242;e4e2~~32\x7fb2U242;" [<= "" string odd? string.rep] string.rep) string.map #function("9000r2c0e130e2\x7f31u43;" [#function("8000vc0`u322e1~41;" [#function(";000v^~\x81X6S02e0\x80i10e1i11~3231322e2i11~32m05\x0b/;" [io.putc string.char string.inc]) io.tostring!]) buffer length] string.map) string.lpad #function(";000r3e0e1g2\x7fe2~31z32~42;" [string string.rep string.count] string.lpad) string.join #function("8000r2~\x8750c0;c1e230u42;" ["" #function("8000ve0~\x80M322e1c2q\x80N322e3~41;" [io.write for-each #function("8000r1e0\x80i11322e0\x80~42;" [io.write]) io.tostring!]) buffer] string.join) simple-sort #function("8000r1~A17602~NA640~;c0~Mu42;" [#function("9000vc0e1c2q\x80N32u42;" [#function(":000ve0e1~M31\x80L1e1~N3143;" [nconc simple-sort]) separate #function("7000r1~\x80X;" [])])] simple-sort) set-syntax! #function("9000r2e0e1~\x7f43;" [put! *syntax-environment*] set-syntax!) separate #function(":000r2\x80~\x7f__44;" [] #0=[#function("6000r4\x7f\x8780g2g3K;~\x7fM316@0\x80~\x7fN\x7fMg2Kg344;\x80~\x7fNg2\x7fMg3K44;" [] #0#) ()]) self-evaluating? #function("8000r1~?16602~C@17K02e0~3116A02~C16:02~e1~31<;" [constant? top-level-value] self-evaluating?) reverse! #function("8000r1c0_u42;" [#function("9000v^\x80F6C02\x80N\x80~\x80m02P2o005\x1c/2~;" [])] reverse!) reverse #function("9000r1e0c1_~43;" [foldl #.cons] reverse) revappend #function("8000r2e0e1~31\x7f42;" [nconc reverse] revappend) repl #function("9000r0c0^^u43;" [#function("6000vc0m02c1qm12\x7f302e240;" [#function("8000r0e0c1312e2e3312c4c5c6tu42;" [princ "> " io.flush *output-stream* #function("8000ve0e131@16=02c2e3~31u42;" [io.eof? *input-stream* #function("7000ve0~312~k12];" [print that]) load-process]) #function("6000r0e040;" [read]) #function("7000r1e0e1312e2~41;" [io.discardbuffer *input-stream* raise])] prompt) #function("7000r0c0qc1t6;0e2302\x8140;^;" [#function("7000r0\x803016702e040;" [newline]) #function("7000r1e0~312e1e230312];" [print-exception print-stack-trace stacktrace]) newline] reploop) newline])] repl) remainder #1=#function("8000r2~~\x7fV\x7fT2z;" [] mod0) ref-int32-LE #function("=000r2e0e1~\x7f`y[`32e1~\x7fay[b832e1~\x7fb2y[b@32e1~\x7fb3y[bH32R441;" [int32 ash] ref-int32-LE) ref-int16-LE #function(";000r2e0e1~\x7f`y[`32e1~\x7fay[b832y41;" [int16 ash] ref-int16-LE) read-all-of #function("9000r2c0^u32_~\x7f3142;" [#function("6000vc0qm0;" [#function("9000r2e0i1131680e1~41;\x80\x7f~Ki10i113142;" [io.eof? reverse!])])] read-all-of) read-all #function("8000r1e0e1~42;" [read-all-of read] read-all) random #function("8000r1e0~316<0e1e230~42;e330~T2;" [integer? mod rand rand.double] random) quotient #.div0 quote-value #function("7000r1e0~31640~;c1~L2;" [self-evaluating? quote] quote-value) println #function("9000s0e0~Q2e1302;" [print newline] println) printable? #function("7000r1e0~31@;" [iostream?] printable?) print-to-string #function("8000r1c0e130u42;" [#function("8000ve0~\x80322e1~41;" [io.print io.tostring!]) buffer] print-to-string) print-stack-trace #function("9000r1c0^^u43;" [#function("<000vc0qm02c1qm12c2e3e4\x80b53231e5e6e7c8e9303232`u44;" [#function("8000r3c0e1~31g2Ku42;" [#function(":000ve0\x8031e0\x8131\x84>0e1c2c3~L341;c4e5\x8031u42;" [function:code raise thrown-value ffound #function(":000v`e0e1~3131c2qw;" [1- length #function("9000r1e0\x80~[316A0i30\x80~[i21i1043;^;" [closure?])]) function:vals]) function:name] find-in-f) #function("8000r2c0c1qc2tu42;" [#function(";000v~6H0e0e1e2e3e4~3132c53241;c6;" [symbol string.join map string reverse! "/" lambda]) #function("8000r0e0c1q\x81322^;" [for-each #function("9000r1i10~\x80_43;" [])]) #function("7000r1~F16B02~Mc0<16802~\x86c1<680e2~41;e3~41;" [thrown-value ffound caddr raise])] fn-name) #function("8000ve0c1q~42;" [for-each #function("9000r1e0c1i02c2332e3i11~`[\x8132e4~31NK312e5302i02ayo02;" [princ "#" " " print vector->list newline])]) reverse! list-tail filter closure? map #function("7000r1~E16802e0~41;" [top-level-value]) environment])] print-stack-trace) print-exception #function("9000r1c0^^u43;" [#function("<000vc0m02c1m12\x80F16D02\x80Mc2<16:02e3\x80b4326N0~c4\x80\x86c5e6\x8031c7352\x7fe8\x8031315\xc90\x80F16@02\x80Mc9<16602\x80NF6>0~c:\x80\x86c;335\xa60\x80F16802\x80Mc<<6@0~c=312~\x80NQ25\x890\x80F16802\x80Mc><6F0e?e6\x8031312~c@\x80\x86325f0eA\x803116:02e3\x80b2326H0\x7f\x80M312~cB312cC\x80\x86u325<0~cD312\x7f\x80312~eE41;" [#function(":000s0e0e1~x3;" [io.princ *error-stream*] eprinc) #function(":000s0e0e1~x3;" [io.print *error-stream*] eprint) type-error length= "type-error: " ": expected " caddr ", got " cadddr unbound-error "unbound-error: eval: variable " " has no value" error "error: " load-error print-exception "in file " list? ": " #function("8000ve0~3117502~C660\x80530\x81~41;" [string?]) "*** Unhandled exception: " *linefeed*])] print-exception) print #function(":000s0e0e1~x3;" [io.print *output-stream*] print) princ #function(":000s0e0e1~x3;" [io.princ *output-stream*] princ) positive? #function("8000r1e0~`42;" [>] positive?) odd? #function("7000r1e0~31@;" [even?] odd?) nreconc #function("8000r2e0e1~31\x7f42;" [nconc reverse!] nreconc) nnn #function("8000r1e0c1~42;" [count #function("6000r1~A@;" [])] nnn) newline #function("7000r0e0e1312];" [princ *linefeed*] newline) nestlist #function(";000r3e0g2`32640_;\x7fe1~~\x7f31g2az33K;" [<= nestlist] nestlist) negative? #function("7000r1~`X;" [] negative?) mod0 #1# mod #function("9000r2~e0~\x7f32\x7fT2z;" [div] mod) min #function("=000s1\x7f\x8740~;e0c1~\x7f43;" [foldl #function("7000r2~\x7fX640~;\x7f;" [])] min) memv #function("8000r2\x7f?640^;\x7fM~=640\x7f;e0~\x7fN42;" [memv] memv) member #function("8000r2\x7f?640^;\x7fM~>640\x7f;e0~\x7fN42;" [member] member) max #function("=000s1\x7f\x8740~;e0c1~\x7f43;" [foldl #function("7000r2~\x7fX640\x7f;~;" [])] max) mark-label #function("9000r2e0~c1\x7f43;" [emit :label] mark-label) map-int #function("9000r2e0\x7f`32640_;c1~`31_K_u43;" [<= #function(":000v~m12a\x81azc0qw2~;" [#function("8000r1\x81i10~31_KP2\x81No01;" [])])] map-int) map! #function("9000r2\x7f^\x7fF6B02\x7f~\x7fM31O2\x7fNm15\x1d/2;" [] map!) map #function("=000s2c0^^u43;" [#function("9000vc0m02c1qm12i02\x87;0~\x80\x81_L143;\x7f\x80\x81i02K42;" [#function("9000r3g2^\x7fF6H02g2~\x7fM31_KPNm22\x7fNm15\x17/2N;" [] map1) #function("=000r2\x7fM\x8740_;~\x80c0\x7f_L133Q2\x81~\x80c1\x7f_L13332K;" [#.car #.cdr] mapn)])] map) make-system-image #function(";000r1c0e1~c2c3c434c5e6u44;" [#function("8000v^k02c1c2qu42;" [*print-pretty* #function("7000vc0qc1qt~302;" [#function(":000r0c0e1c2qe3e4303132u42;" [#function(">000ve0i10e1e2c3~e2e4~3233Q2322e5i10e642;" [io.print nconc map #.list top-level-value io.write *linefeed*]) filter #function("9000r1~E16w02e0~31@16l02e1~31G@17C02e2~31e2e1~3131>@16K02e3~i1132@16=02e4e1~3131@;" [constant? top-level-value string memq iostream?]) simple-sort environment]) #function("7000r1\x80302e0~41;" [raise])]) #function("7000r0e0\x80312i02k1;" [io.close *print-pretty*])]) file :write :create :truncate (*linefeed* *directory-separator* *argv* that *print-pretty* *print-width* *print-readably*) *print-pretty*] make-system-image) make-label #function("6000r1e040;" [gensym] make-label) make-code-emitter #function("9000r0_e030`c1Z4;" [table +Inf] make-code-emitter) macroexpand-1 #function("8000r1~?640~;c0e1~31u42;" [#function("7000v~680~\x80Nx2;\x80;" []) macrocall?] macroexpand-1) macroexpand #function("8000r1c0^u42;" [#function("8000vc0qm02~\x80_42;" [#function("9000r2~?640~;c0e1~M\x7f32u42;" [#function("9000v~6C0i10~\x86\x80NQ2e0~3142;c1e2\x8031u42;" [caddr #function("C000v~6B0i20~i10NQ2i1142;i10Mc0\x8460i10;i10Mc1\x84V0e2c1L1i10\x86L1e3c4qe5i103132e6i103144;i10Mc7\x84O0e2c7L1i10\x86L1e3c8qe5i10313243;i10Mc9\x84T0c:i10\x86e2c1L1_L1e;e5i10313133L1u43;e3cvector #function("7000r1c0~x2;" [#.vector] list->vector) length> #function("9000r2\x7f`X640~;\x7f`W6;0~F16402~;~?660\x7f`X;e0~N\x7faz42;" [length>] length>) length= #function("9000r2\x7f`X640^;\x7f`W650~?;~?660\x7f`W;e0~N\x7faz42;" [length=] length=) lastcdr #function("7000r1~?640~;e0~31N;" [last-pair] lastcdr) last-pair #function("7000r1~N?640~;e0~N41;" [last-pair] last-pair) iota #function("8000r1e0e1~42;" [map-int identity] iota) io.readlines #function("8000r1e0e1~42;" [read-all-of io.readline] io.readlines) io.readline #function("8000r1e0~c142;" [io.readuntil #\x000a] io.readline) index-of #function(";000r3\x7f\x8740^;~\x7fM\x8450g2;e0~\x7fNg2ay43;" [index-of] index-of) in-env? #function("8000r2e0c1q\x7f42;" [any #function("8000r1e0\x80~42;" [memq])] in-env?) identity #function("6000r1~;" [] identity) hex5 #function("9000r1e0e1~b@32b5c243;" [string.lpad number->string #\0] hex5) get-defined-vars #function("8000r1e0\x80~3141;" [delete-duplicates] #2=[#function(":000r1~?640_;~Mc0<16602~NF6d0~\x86C16702~\x86L117S02~\x86F16E02e1~31C16:02e1~31L117402_;~Mc2\x84>0e3e4\x80~N32x2;_;" [define caadr begin append map] #2#) ()]) for-each #function("8000r2\x7fF6@0~\x7fM312e0~\x7fN42;];" [for-each] for-each) foldr #function("<000r3g2\x8740\x7f;~g2Me0~\x7fg2N3342;" [foldr] foldr) foldl #function(";000r3g2\x8740\x7f;e0~~g2M\x7f32g2N43;" [foldl] foldl) fits-i8 #function("8000r1~I16F02e0~b\xb03216:02e1~b\xaf42;" [>= <=] fits-i8) filter #function("9000r2\x80~\x7f_43;" [] #3=[#function("9000r3\x7f\x8750g2;~\x7fM316>0\x80~\x7fN\x7fMg2K43;\x80~\x7fNg243;" [] #3#) ()]) expand-define #function("<000r2~C6:0c0~\x7fML3;c0~Me1c2L1~NL1e3\x7f31~M34L3;" [set! nconc lambda copy-list] expand-define) expand #function("7000r1e0~41;" [macroexpand] expand) every #function("8000r2\x7f?17D02~\x7fM3116:02e0~\x7fN42;" [every] every) even? #function("8000r1e0~a32`W;" [logand] even?) eval #function("8000r1e0e1~313140;" [compile-thunk expand] eval) error #function(":000s0e0c1~K41;" [raise error] error) encode-byte-code #function("8000r1c0e1~31u42;" [#function("8000vc0e1~31u42;" [#function(";000vc0e1e2~31b3e2~31b2VT2yc332u42;" [#function(">000vc0e1\x8031`e230e230e330^^u48;" [#function("?000ve0g4c1322^\x7f~X6\xe302i10\x7f[m52g5c2\x84O0e3g2i10\x7fay[e4g431332\x7fb2ym15\xb30e0g4e5e6e7\x806<0c8g5u32540g53231322\x7faym12\x7f~X6:0i10\x7f[530^m62e9g5c:326^0e3g3e4g431g6332e0g4\x80670e;540e<`31322\x7faym15C0g6D6<0c=g5u32530^5{/2e>c?qg3322e@g441;" [io.write #int32(0) :label put! sizeof byte get Instructions #function("9000v~c0\x8450c1;~c2\x8450c3;~c4\x8450c5;~c6\x8450c7;~c8\x8450c9;~c:\x8450c;;i05;" [:jmp :jmp.l :brt :brt.l :brf :brf.l :brne :brne.l :brnn :brnn.l :brn :brn.l]) memq (:jmp :brf :brt :brne :brnn :brn) int32 int16 #function(":000ve0~c1326H0e2i04e3i0631322\x81ayo01;e0~c4326`0e2i04e5i0631322\x81ayo012e2i04e5i20\x81[31322\x81ayo01;e0~c6326`0e2i04e3i0631322\x81ayo012e2i04e3i20\x81[31322\x81ayo01;e2i04e5i0631322\x81ayo01;" [memq (:loadv.l :loadg.l :setg.l :loada.l :seta.l :largc :lvargc :call.l :tcall.l) io.write int32 (:loadc :setc) uint8 (:loadc.l :setc.l)]) table.foreach #function("<000r2e0i04~322e1i04i10670e2540e3e4i02\x7f32~z3142;" [io.seek io.write int32 int16 get]) io.tostring!]) length table buffer]) >= length 65536]) list->vector]) reverse!] encode-byte-code) emit #function("I000s2g2\x87b0\x7fc0<16C02~`[F16:02~`[Mc1<6;0~`[c2O5:0~`\x7f~`[K\\5\xe20e3\x7fc4326A0e5~g2M32L1m2530^2c6e7\x7fc832u322c9e7\x7fc:32u322\x7fc;\x84\\0g2c<>6=0c=m12_m25F0g2c>>6=0c?m12_m2530^530^2\x7fc@\x84\\0g2cA>6=0cBm12_m25F0g2cC>6=0cDm12_m2530^530^2cE~`[F690~`[M530_~`[u332~;" [:car :cdr :cadr memq (:loadv :loadg :setg) bcode:indexfor #function("8000v~16=02e0i02Mc132680~\x86o01;^;" [> 255]) assq ((:loadv :loadv.l) (:loadg :loadg.l) (:setg :setg.l) (:loada :loada.l) (:seta :seta.l)) #function("8000v~16L02e0i02Mc13217=02e0i02\x86c132680~\x86o01;^;" [> 255]) ((:loadc :loadc.l) (:setc :setc.l)) :loada (0) :loada0 (1) :loada1 :loadc (0 0) :loadc00 (0 1) :loadc01 #function(";000v\x81c0<16A02~c1<16802\x7f\x86c2<6C0\x80`i02Mc3e4\x7f31KK\\;\x81c0<16702~c1<6@0\x80`i02Mc5\x7fNKK\\;\x81c0<16702~c6<6@0\x80`i02Mc7\x7fNKK\\;\x81c0<16702~c2<6@0\x80`i02Mc8\x7fNKK\\;\x81c5<16702~c2<6@0\x80`i02Mc3\x7fNKK\\;\x80`e9\x81i02K\x7f32\\;" [:brf :not :null? :brn cddr :brt :eq? :brne :brnn nreconc])] emit) div #function("8000r2~\x7fV~`X16C02\x7f`X16402a17502b/17402`y;" [] div) display #function("7000r1e0~312];" [princ] display) disassemble #function(">000s1\x7f\x87C0e0~`322e1302];530^2c2\x7fMe3~31e4~31u44;" [disassemble newline #function("8000vc0^u42;" [#function(":000vc0qm02`\x80azc1w2e2c3e4\x81`32c5332c6b4e7\x8131u43;" [#function("9000r1~J16602~G@6D0e0c1312e2~i10ay42;e3~41;" [princ "\n" disassemble print] print-val) #function("7000r1e0c141;" [princ "\t"]) princ "maxstack " ref-int32-LE "\n" #function(":000v^~\x7fX6E02c0e1c2q^e333u325\x19/;" [#function("<000ve0\x80b432690e130530^2`i20azc2w2e3e4\x80b4z31c5e6e7~31a32c8342\x80ayo002c9~u42;" [> newline #function("7000r1e0c141;" [princ "\t"]) princ hex5 ": " string.tail string "\t" #function("=000ve0~c1326P0i20i32e2i31i1032[312i10b4yo10;e0~c3326L0i20i32i31i10[[312i10ayo10;e0~c4326K0e5e6i31i10[31312i10ayo10;e0~c7326O0e5e6e2i31i103231312i10b4yo10;e0~c8326f0e5e6i31i10[31c9322i10ayo102e5e6i31i10[31312i10ayo10;e0~c:326n0e5e6e2i31i103231c9322i10b4yo102e5e6e2i31i103231312i10b4yo10;e0~c;326X0e5ci31i1032R331322i10b2yo10;e0~c?326X0e5cstring (:loada.l :seta.l :largc :lvargc :call.l :tcall.l) (:loadc :setc) " " (:loadc.l :setc.l) (:jmp :brf :brt :brne :brnn :brn) "@" hex5 ref-int16-LE (:jmp.l :brf.l :brt.l :brne.l :brnn.l :brn.l)])]) table.foldl #function("8000r3g217@02\x7fi21\x80[<16402~;" []) Instructions]) length])]) function:code function:vals] disassemble) delete-duplicates #function("9000r1~?640~;c0~M~Nu43;" [#function("8000ve0~\x7f32680e1\x7f41;~e1\x7f31K;" [member delete-duplicates])] delete-duplicates) count #function("8000r2c0^u42;" [#function("9000vc0qm02~\x80\x81`43;" [#function("9000r3\x7f\x8750g2;\x80~\x7fN~\x7fM31690g2ay540g243;" [] count-)])] count) copy-tree #function("8000r1~?640~;e0~M31e0~N31K;" [copy-tree] copy-tree) const-to-idx-vec #function("9000r1c0e1e2~3131u42;" [#function("9000ve0c1qe2\x8031322~;" [table.foreach #function("8000r2\x80\x7f~\\;" []) bcode:ctable]) vector.alloc bcode:nconst] const-to-idx-vec) compile-while #function("9000r4c0e1~31e1~31u43;" [#function(":000ve0\x80\x81^^342e1\x80~322e0\x80\x81^i02342e2\x80c3\x7f332e2\x80c4322e0\x80\x81^i03342e2\x80c5~332e1\x80\x7f42;" [compile-in mark-label emit :brf :pop :jmp]) make-label] compile-while) compile-thunk #function(";000r1e0e1c2L1_L1~L1\x803441;" [compile nconc lambda] #4=[#:g578 ()]) compile-sym #function(";000r4c0e1g2\x7f`]34u42;" [#function("8000vc0~Mu42;" [#function(">000v~c0\x84A0e1i10i13`[\x80\x8643;~c2\x84[0e1i10i13a[\x80\x86e3\x8031342e4i10e5i11N31a\x80\x86S342;e6i123116>02e7e8i1231316C0e1i10c9e8i123143;e1i10i13b2[i1243;" [arg emit closed caddr bcode:cdepth nnn constant? printable? top-level-value :loadv])]) lookup-sym] compile-sym) compile-short-circuit #function(":000r6g3?6=0e0~\x7fg2g444;g3N?6>0e0~\x7fg2g3M44;c1e2~31u42;" [compile-in #function("<000ve0\x80\x81^i03M342e1\x80c2322e1\x80i05~332e1\x80c3322e4\x80\x81i02i03Ni04i05362e5\x80~42;" [compile-in emit :dup :pop compile-short-circuit mark-label]) make-label] compile-short-circuit) compile-prog1 #function(";000r3e0~\x7f^g2\x86342e1g231F6H0e2~\x7f^e1g231342e3~c442;^;" [compile-in cddr compile-begin emit :pop] compile-prog1) compile-or #function("<000r4e0~\x7fg2g3^c146;" [compile-short-circuit :brt] compile-or) compile-let #function("9000r4c0g3Mg3Nu43;" [#function(";000ve0\x7fe1~\x863132660^5=0e2e3c4~32312e5c6qc7q322c8e9\x80\x81\x7f33u42;" [length= length error string "apply: incorrect number of arguments to " call-with-values #function("9000r0e0i11\x80]43;" [compile-f-]) #function("9000r2e0i10c1~332e2i10\x7f42;" [emit :loadv bcode:cdepth]) #function(";000ve0i10c1322e0i10i12670c2540c3a~y43;" [emit :copyenv :tcall :call]) compile-arglist])] compile-let) compile-in #function(":000r4g3C6=0e0~\x7fg3c144;g3?6\x950g3`\x84:0e2~c342;g3a\x84:0e2~c442;g3]\x84:0e2~c542;g3^\x84:0e2~c642;g3_\x84:0e2~c742;e8g3316<0e2~c9g343;e2~c:g343;c;g3Mu42;" [compile-sym [:loada :loadc :loadg] emit :load0 :load1 :loadt :loadf :loadnil fits-i8 :loadi8 :loadv #function("S000v~c0\x84>0e1\x80c2i03\x8643;~c3\x84?0e4\x80\x81i02i0344;~c5\x84@0e6\x80\x81i02i03N44;~c7\x84<0e8\x80\x81i0343;~c9\x84=0e:c;qc\x80\x81i02i03N44;~c?\x84@0e@\x80\x81i02i03N44;~cA\x84G0eB\x80\x81i03\x86c5eCi0331K44;~cD\x84K0eE\x80\x81i03\x86eFi0331eGi033145;~cH\x84F0eI\x80\x81]i03\x86342e1\x80cJ42;~cK\x84N0eI\x80\x81^eFi0331342eL\x80\x81i03\x86cM44;~cN\x84K0eI\x80\x81i02eOi03\x86eCi03313244;~cP\x84s0eI\x80\x81^c9_i03\x86L3342eQeFi033131660^580eRcS312eI\x80\x81^eFi0331342e1\x80cT42;eU\x80\x81i02i0344;" [quote emit :loadv if compile-if begin compile-begin prog1 compile-prog1 lambda call-with-values #function("8000r0e0i11i1342;" [compile-f-]) #function("9000r2e0i10c1~332e2i10\x7f322\x7fe3i1131X6<0e0i10c442;^;" [emit :loadv bcode:cdepth nnn :closure]) and compile-and or compile-or while compile-while cddr for compile-for caddr cadddr return compile-in :ret set! compile-sym [:seta :setc :setg] define expand-define trycatch 1arg-lambda? error "trycatch: second form must be a 1-argument lambda" :trycatch compile-app])] compile-in) compile-if #function("=000r4c0e1~31e1~31g3\x86e2g331e3g331F6;0e4g331530^u46;" [#function("=000vg2]\x84>0e0\x80\x81i02g344;g2^\x84>0e0\x80\x81i02g444;e0\x80\x81^g2342e1\x80c2~332e0\x80\x81i02g3342i026<0e1\x80c3325:0e1\x80c4\x7f332e5\x80~322e0\x80\x81i02g4342e5\x80\x7f42;" [compile-in emit :brf :ret :jmp mark-label]) make-label caddr cdddr cadddr] compile-if) compile-for #function(":000r5e0g4316X0e1~\x7f^g2342e1~\x7f^g3342e1~\x7f^g4342e2~c342;e4c541;" [1arg-lambda? compile-in emit :for error "for: third form must be a 1-argument lambda"] compile-for) compile-f- #function("<000s2c0^u42;" [#function(":000vc0qm02c1e230\x81\x86e3\x8131i10\x8470c4570e3\x8131u44;" [#function(":000r1c0e1~31F6N0e2~31F6=0c3e1~31K570e4~31530^u42;" [#function("8000vc0e1~31u42;" [#function(";000v~\x8740\x80;e0c1~\x80i4034e2c3~32K;" [list* lambda map #function("6000r1^;" [])]) get-defined-vars]) cddr cdddr begin caddr] lambda-body) #function("B000vi12\x89<0e0~c1325\x840e2\x7fc3326N0e0~e4\x7f31\x8770c5540c6e7\x7f31335^0e4\x7f31\x87A0e0~c8e7\x7f31335G0e0~c9\x7f?660`570e7\x7f31332e:~e;\x7f31i10K]e4i1131i20\x84<0ee?e@eA~3131eB~31g233~b3[42;" [emit :let length> 255 lastcdr :largc :lvargc length :argc :vargc compile-in to-proper caddr :ret values function encode-byte-code bcode:code const-to-idx-vec]) make-code-emitter lastcdr lambda])] #4#) compile-f #function("<000s2e0c1qc242;" [call-with-values #function("9000r0e0\x80\x81i02x4;" [compile-f-]) #function("6000r2~;" [])] compile-f) compile-call #function("8000r4c0g3Mu42;" [#function("9000vc0~C16V02e1~\x8132@16J02~E16C02e2~3116902e3~31G6:0e3~31530~u42;" [#function(":000ve0i13Nc1326S0e2i10i11^~342c3e4i10i11i13N33u42;c5~G16802e6~31u42;" [length> 255 compile-in #function(":000ve0i20i22670c1540c2~43;" [emit :tcall.l :call.l]) compile-arglist #function(";000v\x80c0<16X02e1\x80i2132@16J02e2c031e0>16<02e3i23b2326L0e4i20i21^i23\x86342e5i20c642;~7A0e4i20i21^\x8034530^2c7e8i20i21i23N33u42;" [cadr in-env? top-level-value length= compile-in emit :cadr #function("=000v\x806H0e0i30i31i32i33i10\x80~47;e1i30i32670c2540c3~43;" [compile-builtin-call emit :tcall :call]) compile-arglist]) builtin->instruction]) in-env? constant? top-level-value])] compile-call) compile-builtin-call #function(":000r7c0e1e2g5^33u42;" [#function("9000v~16=02e0i03N~32@6=0e1i04~32530^2c2i05u42;" [length= argc-error #function("N000v~c0\x84R0i16`W6<0e1i10c242;e1i10i15i1643;~c3\x84e0i16`W6<0e1i10c442;i16b2W6<0e1i10c542;e1i10i15i1643;~c6\x84v0i16`W6;0e7i14a42;i16aW6<0e1i10c842;i16b2W6<0e1i10c942;e1i10i15i1643;~c:\x84R0i16`W6<0e1i10c;42;e1i10i15i1643;~c<\x84Q0i16`W6;0e7i14a42;e1i10i15i1643;~c=\x84T0i16`W6>0e1i10c>c?43;e1i10i15i1643;~c@\x84]0i16b2X6<0e7i14b242;e1i10i12670cA540c@i1643;e1i10i1542;" [:list emit :loadnil :+ :load0 :add2 :- argc-error :neg :sub2 :* :load1 :/ :vector :loadv [] :apply :tapply])]) get arg-counts] compile-builtin-call) compile-begin #function(":000r4g3?6<0e0~\x7fg2^44;g3N?6>0e0~\x7fg2g3M44;e0~\x7f^g3M342e1~c2322e3~\x7fg2g3N44;" [compile-in emit :pop compile-begin] compile-begin) compile-arglist #function("8000r3e0c1qg2322e2g241;" [for-each #function(":000r1e0\x80\x81^~44;" [compile-in]) length] compile-arglist) compile-app #function("8000r4c0g3Mu42;" [#function(":000v~F16Q02~Mc0<16G02e1~\x863116<02e2~\x86c332@6?0e4\x80\x81i02i0344;e5\x80\x81i02i0344;" [lambda list? length> 255 compile-let compile-call])] compile-app) compile-and #function("<000r4e0~\x7fg2g3]c146;" [compile-short-circuit :brf] compile-and) compile #function("8000r1e0_~42;" [compile-f] compile) closure? #function("7000r1~J16602~G@;" [] closure?) char? #function("7000r1e0~31c1<;" [typeof wchar] char?) cddr #function("6000r1~NN;" [] cddr) cdddr #function("6000r1~NNN;" [] cdddr) cddar #function("6000r1~MNN;" [] cddar) cdar #function("6000r1~MN;" [] cdar) cdadr #function("6000r1~\x86N;" [] cdadr) cdaar #function("6000r1~MMN;" [] cdaar) call-with-values #function("8000r2c0~30u42;" [#function("7000v~F16902i10~M<680\x81~Nx2;\x81~41;" [])] #5#) cadr #function("6000r1~\x86;" [] cadr) caddr #function("6000r1~N\x86;" [] caddr) cadddr #function("6000r1~NN\x86;" [] cadddr) cadar #function("6000r1~M\x86;" [] cadar) caar #function("6000r1~MM;" [] caar) caadr #function("6000r1~\x86M;" [] caadr) caaar #function("6000r1~MMM;" [] caaar) builtin->instruction #function("9000r1e0\x80~^43;" [get] [#table(#.number? :number? #.cons :cons #.fixnum? :fixnum? #.equal? :equal? #.eq? :eq? #.symbol? :symbol? #.div0 :div0 #.builtin? :builtin? #.aset! :aset! #.- :- #.boolean? :boolean? #.not :not #.apply :apply #.atom? :atom? #.set-cdr! :set-cdr! #./ :/ #.function? :function? #.vector :vector #.list :list #.bound? :bound? #.< :< #.* :* #.cdr :cdr #.null? :null? #.+ :+ #.eqv? :eqv? #.compare :compare #.aref :aref #.set-car! :set-car! #.car :car #.pair? :pair? #.= := #.vector? :vector?) ()]) bq-process #function("9000r1c0^^u43;" [#function("<000vc0m02c1m12e2\x80316H0\x80H6A0c3e4e5\x803131u42;\x80;\x80?680c6\x80L2;\x80Mc7\x84=0e4e4\x80\x863141;\x80Mc8\x8450\x80\x86;e9~\x80327C0c:e;\x8031e<\x7f\x8032u43;c=\x80_u43;" [#function("7000r1~F16B02~Mc0<17802~Mc1<17702~c2<;" [*comma-at* *comma-dot* *comma*] splice-form?) #function("7000r1~F16802~Mc0<650~\x86;e1~41;" [*comma* bq-process] bq-bracket1) self-evaluating? #function("8000v~Mc0\x8480c1~NK;c2c1~L3;" [list #.vector #.apply]) bq-process vector->list quote backquote *comma* any #function("8000v~\x8770c0\x7fK;e1c2\x7fKe3~31L142;" [list nconc list* bq-process]) lastcdr map #function(":000v^~F16902~Mc0<@6E02e1~M31\x7fKm12~Nm05\x0f/2c2~F6>0e3\x7f~\x86L1325J0~\x87:0e4\x7f315>0e3\x7fe5~31L132u42;" [*comma* bq-bracket #function("7000v~N\x8750~M;c0~K;" [nconc]) nreconc reverse! bq-process])])] bq-process) bq-bracket #function("8000r1~?6<0c0e1~31L2;~Mc2\x8490c0~\x86L2;~Mc3\x8490c4~\x86L2;~Mc5\x8450~\x86;c0e1~31L2;" [#.list bq-process *comma* *comma-at* copy-list *comma-dot*] bq-bracket) bcode:nconst #function("7000r1~b2[;" [] bcode:nconst) bcode:indexfor #function("9000r2c0e1~31e2~31u43;" [#function(":000ve0~\x8132690e1~\x8142;e2~\x81\x7f332\x7f\x80b2\x7fay\\2;" [has? get put!]) bcode:ctable bcode:nconst] bcode:indexfor) bcode:ctable #function("7000r1~a[;" [] bcode:ctable) bcode:code #function("7000r1~`[;" [] bcode:code) bcode:cdepth #function(":000r2~b3e0~b3[\x7f32\\;" [min] bcode:cdepth) assv #function("8000r2\x7f?640^;e0\x7f31~=650\x7fM;e1~\x7fN42;" [caar assv] assv) assoc #function("8000r2\x7f?640^;e0\x7f31~>650\x7fM;e1~\x7fN42;" [caar assoc] assoc) array? #function("8000r1~H17=02c0e1~31u42;" [#function("7000v~F16802~Mc0<;" [array]) typeof] array?) argc-error #function("=000r2e0e1c2~c3\x7f\x7faW670c4540c53541;" [error string "compile error: " " expects " " argument." " arguments."] argc-error) arg-counts #table(:not 1 :set-cdr! 2 :cons 2 :number? 1 :equal? 2 :cdr 1 :vector? 1 :eqv? 2 := 2 :div0 2 :atom? 1 :aref 2 :compare 2 :< 2 :null? 1 :eq? 2 :car 1 :set-car! 2 :builtin? 1 :aset! 3 :bound? 1 :boolean? 1 :pair? 1 :symbol? 1 :fixnum? 1) any #function("8000r2\x7fF16D02~\x7fM3117:02e0~\x7fN42;" [any] any) abs #function("7000r1~`X650~{;~;" [] abs) __start #function("8000r1e0302~NF6@0~Nk12e2~\x86315A0~k12e3e4312e5302e6`41;" [__init_globals *argv* __script princ *banner* repl exit] __start) __script #function("7000r1c0qc1t;" [#function("7000r0e0\x8041;" [load]) #function("7000r1e0~312e1a41;" [print-exception exit])] __script) __init_globals #function("7000r0c0c1<17B02c0c2<17802c0c3<6>0c4k52c6k75;0c8k52c9k72e:k;2ek?;" [linux win32 win64 windows "\\" *directory-separator* "\r\n" *linefeed* "/" "\n" *stdout* *output-stream* *stdin* *input-stream* *stderr* *error-stream*] __init_globals) Instructions #table(:sub2 74 :nop 0 :set-cdr! 32 :/ 37 :setc 63 :tapply 72 :lvargc 77 :cons 27 :loada1 79 :tcall.l 83 dummy_nil 93 :equal? 14 :cdr 30 :call 3 :eqv? 13 := 39 :setg.l 60 :list 28 :atom? 15 :aref 43 :load0 48 :let 70 dummy_t 91 :argc 66 :brne.l 85 :< 40 :null? 17 :loadg 53 :load1 49 :car 29 :brt.l 10 :vargc 67 :loada 55 :set-car! 31 :setg 59 :aset! 44 :loadc01 81 :bound? 21 :pair? 22 :symbol? 19 :brn 89 :fixnum? 25 :loadi8 50 :not 16 :* 36 :neg 75 :pop 2 :largc 76 :loadnil 47 :brf 6 :vector 42 :- 35 :loadv 51 :loada.l 56 :seta.l 62 :closure 65 :loadc00 80 :number? 20 :call.l 82 dummy_f 92 :trycatch 68 :add2 73 :loadv.l 52 :vector? 24 :brf.l 9 :seta 61 :apply 33 :dup 1 :div0 38 :setc.l 64 :copyenv 69 :for 71 :loada0 78 :loadc 57 :loadc.l 58 :compare 41 :brne 84 :brnn 87 :brn.l 90 :eq? 12 :function? 26 :+ 34 :jmp 5 :loadt 45 :cadr 86 :brt 7 :builtin? 23 :loadg.l 54 :tcall 4 :ret 11 :boolean? 18 :loadf 46 :brnn.l 88 :jmp.l 8) >= #function("7000r2\x7f~X17602~\x7fW;" [] >=) > #function("7000r2\x7f~X;" [] >) <= #function("7000r2~\x7fX17602~\x7fW;" [] <=) 1arg-lambda? #function("8000r1~F16T02~Mc0<16J02~NF16B02~\x86F16:02e1~\x86a42;" [lambda length=] 1arg-lambda?) 1- #function("7000r1~az;" [] 1-) 1+ #function("7000r1~ay;" [] 1+) /= #function("7000r2~\x7fW@;" [] /=) *whitespace* "\t\n\v\f\r \u0085  ᠎           \u2028\u2029  　" *syntax-environment* #table(assert #function("<000r1c0~]c1c2c3~L2L2L2L4;" [if raise quote assert-failed]) letrec #function("?000s1e0e0c1L1e2c3~32L1e2c4~32e5\x7f3134L1e2c6~3242;" [nconc lambda map #.car #function("9000r1e0c1L1e2~3142;" [nconc set! copy-list]) copy-list #function("6000r1^;" [])]) backquote #function("7000r1e0~41;" [bq-process]) label #function(":000r2c0~L1c1~\x7fL3L3^L2;" [lambda set!]) do #function("A000s2c0e130\x7fMe2c3~32e2e4~32e2c5~32u46;" [#function("B000vc0~c1g2c2\x7fe3c4L1e5\x81N3132e3c4L1e5i0231e3~L1g432L133L4L3L2L1e3~L1g332L3;" [letrec lambda if nconc begin copy-list]) gensym map #.car cadr #function("7000r1e0~31F680e1~41;~M;" [cddr caddr])]) when #function("<000s1c0~c1\x7fK^L4;" [if begin]) unwind-protect #function("9000r2c0e130e130u43;" [#function("@000vc0\x7fc1_\x81L3L2L1c2c3\x80c1~L1c4\x7fL1c5~L2L3L3L3\x7fL1L3L3;" [let lambda prog1 trycatch begin raise]) gensym]) dotimes #function("<000s1c0~M~\x86u43;" [#function("=000vc0`c1\x7faL3e2c3L1~L1L1e4\x813133L4;" [for - nconc lambda copy-list])]) define-macro #function("?000s1c0c1~ML2e2c3L1~NL1e4\x7f3133L3;" [set-syntax! quote nconc lambda copy-list]) receive #function("@000s2c0c1_\x7fL3e2c1L1~L1e3g23133L3;" [call-with-values lambda nconc copy-list]) unless #function("=000s1c0~^c1\x7fKL4;" [if begin]) let #function(";000s1c0^u42;" [#function("<000v\x80C6D0\x80m02\x81Mo002\x81No01530^2c0e1c2L1e3c4\x8032L1e5\x813133e3c6\x8032u43;" [#function("8000v\x806;0c0\x80~L3530~\x7fK;" [label]) nconc lambda map #function("6000r1~F650~M;~;" []) copy-list #function("6000r1~F650~\x86;^;" [])])]) cond #function(":000s0c0^u42;" [#function("7000vc0qm02~\x8041;" [#function("8000r1~?640^;c0~Mu42;" [#function(";000v~Mc0<17702~M]<6@0~N\x8750~M;c1~NK;~N\x87@0c2~Mi10\x80N31L3;c3~Mc1~NKi10\x80N31L4;" [else begin or if])] cond-clauses->if)])]) throw #function(":000r2c0c1c2c3L2~\x7fL4L2;" [raise list quote thrown-value]) time #function("8000r1c0e130u42;" [#function(">000vc0~c1L1L2L1c2\x80c3c4c5c1L1~L3c6L4L3L3;" [let time.now prog1 princ "Elapsed time: " - " seconds\n"]) gensym]) let* #function("A000s1~?6E0e0c1L1_L1e2\x7f3133L1;e0c1L1e3~31L1L1e2~NF6H0e0c4L1~NL1e2\x7f3133L1530\x7f3133e5~31L2;" [nconc lambda copy-list caar let* cadar]) case #function(";000s1c0^u42;" [#function("8000vc0m02c1e230u42;" [#function(";000r2\x7fc0\x8450c0;\x7f\x8740^;\x7fC6=0c1~e2\x7f31L3;\x7f?6=0c3~e2\x7f31L3;\x7fN\x87>0c3~e2\x7fM31L3;e4c5\x7f326=0c6~c7\x7fL2L3;c8~c7\x7fL2L3;" [else eq? quote-value eqv? every #.symbol? memq quote memv] vals->cond) #function("<000vc0~i10L2L1e1c2L1e3c4qi113232L3;" [let nconc cond map #function("8000r1i10\x80~M32~NK;" [])]) gensym])]) catch #function("8000r2c0e130u42;" [#function("@000vc0\x81c1~L1c2c3c4~L2c5c6~L2c7c8L2L3c5c9~L2\x80L3L4c:~L2c;~L2L4L3L3;" [trycatch lambda if and pair? eq car quote thrown-value cadr caddr raise]) gensym])) *banner* "; _\n; |_ _ _ |_ _ | . _ _\n; | (-||||_(_)|__|_)|_)\n;-------------------|----------------------------------------------------------\n\n") +(*banner* "; _\n; |_ _ _ |_ _ | . _ _\n; | (-||||_(_)|__|_)|_)\n;-------------------|----------------------------------------------------------\n\n" *syntax-environment* #table(assert #function("<000r1c0~]c1c2c3~L2L2L2L4;" [if raise quote assert-failed]) letrec #function("?000s1e0e0c1L1e2c3~32L1e2c4~32e5\x7f3134L1e2c6~3242;" [nconc lambda map #.car #function("9000r1e0c1L1e2~3142;" [nconc set! copy-list]) copy-list #function("6000r1^;" [])]) backquote #function("7000r1e0~41;" [bq-process]) label #function(":000r2c0~L1c1~\x7fL3L3^L2;" [lambda set!]) do #function("A000s2c0e130\x7fMe2c3~32e2e4~32e2c5~32u46;" [#function("B000vc0~c1g2c2\x7fe3c4L1e5\x81N3132e3c4L1e5i0231e3~L1g432L133L4L3L2L1e3~L1g332L3;" [letrec lambda if nconc begin copy-list]) gensym map #.car cadr #function("7000r1e0~31F680e1~41;~M;" [cddr caddr])]) when #function("<000s1c0~c1\x7fK^L4;" [if begin]) unwind-protect #function("9000r2c0e130e130u43;" [#function("@000vc0\x7fc1_\x81L3L2L1c2c3\x80c1~L1c4\x7fL1c5~L2L3L3L3\x7fL1L3L3;" [let lambda prog1 trycatch begin raise]) gensym]) dotimes #function("<000s1c0~M~\x86u43;" [#function("=000vc0`c1\x7faL3e2c3L1~L1L1e4\x813133L4;" [for - nconc lambda copy-list])]) define-macro #function("?000s1c0c1~ML2e2c3L1~NL1e4\x7f3133L3;" [set-syntax! quote nconc lambda copy-list]) receive #function("@000s2c0c1_\x7fL3e2c1L1~L1e3g23133L3;" [call-with-values lambda nconc copy-list]) unless #function("=000s1c0~^c1\x7fKL4;" [if begin]) let #function(";000s1c0^u42;" [#function("<000v\x80C6D0\x80m02\x81Mo002\x81No01530^2c0e1c2L1e3c4\x8032L1e5\x813133e3c6\x8032u43;" [#function("8000v\x806;0c0\x80~L3530~\x7fK;" [label]) nconc lambda map #function("6000r1~F650~M;~;" []) copy-list #function("6000r1~F650~\x86;^;" [])])]) cond #function(":000s0c0^u42;" [#function("7000vc0qm02~\x8041;" [#function("8000r1~?640^;c0~Mu42;" [#function(";000v~Mc0<17702~M]<6@0~N\x8750~M;c1~NK;~N\x87@0c2~Mi10\x80N31L3;c3~Mc1~NKi10\x80N31L4;" [else begin or if])] cond-clauses->if)])]) throw #function(":000r2c0c1c2c3L2~\x7fL4L2;" [raise list quote thrown-value]) time #function("8000r1c0e130u42;" [#function(">000vc0~c1L1L2L1c2\x80c3c4c5c1L1~L3c6L4L3L3;" [let time.now prog1 princ "Elapsed time: " - " seconds\n"]) gensym]) let* #function("A000s1~?6E0e0c1L1_L1e2\x7f3133L1;e0c1L1e3~31L1L1e2~NF6H0e0c4L1~NL1e2\x7f3133L1530\x7f3133e5~31L2;" [nconc lambda copy-list caar let* cadar]) case #function(";000s1c0^u42;" [#function("8000vc0m02c1e230u42;" [#function(";000r2\x7fc0\x8450c0;\x7f\x8740^;\x7fC6=0c1~e2\x7f31L3;\x7f?6=0c3~e2\x7f31L3;\x7fN\x87>0c3~e2\x7fM31L3;e4c5\x7f326=0c6~c7\x7fL2L3;c8~c7\x7fL2L3;" [else eq? quote-value eqv? every #.symbol? memq quote memv] vals->cond) #function("<000vc0~i10L2L1e1c2L1e3c4qi113232L3;" [let nconc cond map #function("8000r1i10\x80~M32~NK;" [])]) gensym])]) catch #function("8000r2c0e130u42;" [#function("@000vc0\x81c1~L1c2c3c4~L2c5c6~L2c7c8L2L3c5c9~L2\x80L3L4c:~L2c;~L2L4L3L3;" [trycatch lambda if and pair? eq car quote thrown-value cadr caddr raise]) gensym])) *whitespace* "\t\n\v\f\r \u0085  ᠎           \u2028\u2029  　" /= #function("7000r2~\x7fW@;" [] /=) 1+ #function("7000r1~ay;" [] 1+) 1- #function("7000r1~az;" [] 1-) 1arg-lambda? #function("8000r1~F16T02~Mc0<16J02~NF16B02~\x86F16:02e1~\x86a42;" [lambda length=] 1arg-lambda?) <= #function("7000r2~\x7fX17602~\x7fW;" [] <=) > #function("7000r2\x7f~X;" [] >) >= #function("7000r2\x7f~X17602~\x7fW;" [] >=) Instructions #table(:sub2 74 :nop 0 :set-cdr! 32 :/ 37 :setc 63 :tapply 72 :lvargc 77 :cons 27 :loada1 79 :tcall.l 83 dummy_nil 94 :equal? 14 :cdr 30 :call 3 :eqv? 13 := 39 :setg.l 60 :list 28 :atom? 15 :aref 43 :load0 48 :let 70 dummy_t 92 :argc 66 :brne.l 85 :< 40 :null? 17 :loadg 53 :load1 49 :car 29 :brt.l 10 :vargc 67 :loada 55 :set-car! 31 :setg 59 :aset! 44 :loadc01 81 :bound? 21 :optargs 91 :pair? 22 :symbol? 19 :brn 89 :fixnum? 25 :loadi8 50 :not 16 :* 36 :neg 75 :pop 2 :largc 76 :loadnil 47 :brf 6 :vector 42 :- 35 :loadv 51 :loada.l 56 :seta.l 62 :closure 65 :loadc00 80 :number? 20 :call.l 82 dummy_f 93 :trycatch 68 :add2 73 :loadv.l 52 :vector? 24 :brf.l 9 :seta 61 :apply 33 :dup 1 :div0 38 :setc.l 64 :copyenv 69 :for 71 :loada0 78 :loadc 57 :loadc.l 58 :compare 41 :brne 84 :brnn 87 :brn.l 90 :eq? 12 :function? 26 :+ 34 :jmp 5 :loadt 45 :cadr 86 :brt 7 :builtin? 23 :loadg.l 54 :tcall 4 :ret 11 :boolean? 18 :loadf 46 :brnn.l 88 :jmp.l 8) __init_globals #function("7000r0c0c1<17B02c0c2<17802c0c3<6>0c4k52c6k75;0c8k52c9k72e:k;2ek?;" [linux win32 win64 windows "\\" *directory-separator* "\r\n" *linefeed* "/" "\n" *stdout* *output-stream* *stdin* *input-stream* *stderr* *error-stream*] __init_globals) __script #function("7000r1c0qc1t;" [#function("7000r0e0\x8041;" [load]) #function("7000r1e0~312e1a41;" [print-exception exit])] __script) __start #function("8000r1e0302~NF6@0~Nk12e2~\x86315A0~k12e3e4312e5302e6`41;" [__init_globals *argv* __script princ *banner* repl exit] __start) abs #function("7000r1~`X650~{;~;" [] abs) any #function("8000r2\x7fF16D02~\x7fM3117:02e0~\x7fN42;" [any] any) arg-counts #table(:not 1 :set-cdr! 2 :cons 2 :number? 1 :equal? 2 :cdr 1 :vector? 1 :eqv? 2 := 2 :div0 2 :atom? 1 :aref 2 :compare 2 :< 2 :null? 1 :eq? 2 :car 1 :set-car! 2 :builtin? 1 :aset! 3 :bound? 1 :boolean? 1 :pair? 1 :symbol? 1 :fixnum? 1) argc-error #function("=000r2e0e1c2~c3\x7f\x7faW670c4540c53541;" [error string "compile error: " " expects " " argument." " arguments."] argc-error) array? #function("8000r1~H17=02c0e1~31u42;" [#function("7000v~F16802~Mc0<;" [array]) typeof] array?) assoc #function("8000r2\x7f?640^;e0\x7f31~>650\x7fM;e1~\x7fN42;" [caar assoc] assoc) assv #function("8000r2\x7f?640^;e0\x7f31~=650\x7fM;e1~\x7fN42;" [caar assv] assv) bcode:cdepth #function(":000r2~b3e0~b3[\x7f32\\;" [min] bcode:cdepth) bcode:code #function("7000r1~`[;" [] bcode:code) bcode:ctable #function("7000r1~a[;" [] bcode:ctable) bcode:indexfor #function("9000r2c0e1~31e2~31u43;" [#function(":000ve0~\x8132690e1~\x8142;e2~\x81\x7f332\x7f\x80b2\x7fay\\2;" [has? get put!]) bcode:ctable bcode:nconst] bcode:indexfor) bcode:nconst #function("7000r1~b2[;" [] bcode:nconst) bq-bracket #function("8000r1~?6<0c0e1~31L2;~Mc2\x8490c0~\x86L2;~Mc3\x8490c4~\x86L2;~Mc5\x8450~\x86;c0e1~31L2;" [#.list bq-process *comma* *comma-at* copy-list *comma-dot*] bq-bracket) bq-process #function("9000r1c0^^u43;" [#function("<000vc0m02c1m12e2\x80316H0\x80H6A0c3e4e5\x803131u42;\x80;\x80?680c6\x80L2;\x80Mc7\x84=0e4e4\x80\x863141;\x80Mc8\x8450\x80\x86;e9~\x80327C0c:e;\x8031e<\x7f\x8032u43;c=\x80_u43;" [#function("7000r1~F16B02~Mc0<17802~Mc1<17702~c2<;" [*comma-at* *comma-dot* *comma*] splice-form?) #function("7000r1~F16802~Mc0<650~\x86;e1~41;" [*comma* bq-process] bq-bracket1) self-evaluating? #function("8000v~Mc0\x8480c1~NK;c2c1~L3;" [list #.vector #.apply]) bq-process vector->list quote backquote *comma* any #function("8000v~\x8770c0\x7fK;e1c2\x7fKe3~31L142;" [list nconc list* bq-process]) lastcdr map #function(":000v^~F16902~Mc0<@6E02e1~M31\x7fKm12~Nm05\x0f/2c2~F6>0e3\x7f~\x86L1325J0~\x87:0e4\x7f315>0e3\x7fe5~31L132u42;" [*comma* bq-bracket #function("7000v~N\x8750~M;c0~K;" [nconc]) nreconc reverse! bq-process])])] bq-process) builtin->instruction #function("9000r1e0\x80~^43;" [get] [#table(#.number? :number? #.cons :cons #.fixnum? :fixnum? #.equal? :equal? #.eq? :eq? #.symbol? :symbol? #.div0 :div0 #.builtin? :builtin? #.aset! :aset! #.- :- #.boolean? :boolean? #.not :not #.apply :apply #.atom? :atom? #.set-cdr! :set-cdr! #./ :/ #.function? :function? #.vector :vector #.list :list #.bound? :bound? #.< :< #.* :* #.cdr :cdr #.null? :null? #.+ :+ #.eqv? :eqv? #.compare :compare #.aref :aref #.set-car! :set-car! #.car :car #.pair? :pair? #.= := #.vector? :vector?) ()]) caaar #function("6000r1~MMM;" [] caaar) caadr #function("6000r1~\x86M;" [] caadr) caar #function("6000r1~MM;" [] caar) cadar #function("6000r1~M\x86;" [] cadar) cadddr #function("6000r1~NN\x86;" [] cadddr) caddr #function("6000r1~N\x86;" [] caddr) cadr #function("6000r1~\x86;" [] cadr) call-with-values #function("8000r2c0~30u42;" [#function("7000v~F16902i10~M<680\x81~Nx2;\x81~41;" [])] #4=[(*values*) ()]) cdaar #function("6000r1~MMN;" [] cdaar) cdadr #function("6000r1~\x86N;" [] cdadr) cdar #function("6000r1~MN;" [] cdar) cddar #function("6000r1~MNN;" [] cddar) cdddr #function("6000r1~NNN;" [] cdddr) cddr #function("6000r1~NN;" [] cddr) char? #function("7000r1e0~31c1<;" [typeof wchar] char?) closure? #function("7000r1~J16602~G@;" [] closure?) compile #function("8000r1e0_~42;" [compile-f] compile) compile-and #function("<000r4e0~\x7fg2g3]c146;" [compile-short-circuit :brf] compile-and) compile-app #function("8000r4c0g3Mu42;" [#function(":000v~F16^02~Mc0<16T02e1~\x863116I02e2c3~\x863216<02e4~\x86c532@6?0e6\x80\x81i02i0344;e7\x80\x81i02i0344;" [lambda list? every #.symbol? length> 255 compile-let compile-call])] compile-app) compile-arglist #function("8000r3e0c1qg2322e2g241;" [for-each #function(":000r1e0\x80\x81^~44;" [compile-in]) length] compile-arglist) compile-begin #function(":000r4g3?6<0e0~\x7fg2^44;g3N?6>0e0~\x7fg2g3M44;e0~\x7f^g3M342e1~c2322e3~\x7fg2g3N44;" [compile-in emit :pop compile-begin] compile-begin) compile-builtin-call #function(":000r7c0e1e2g5^33u42;" [#function("9000v~16=02e0i03N~32@6=0e1i04~32530^2c2i05u42;" [length= argc-error #function("N000v~c0\x84R0i16`W6<0e1i10c242;e1i10i15i1643;~c3\x84e0i16`W6<0e1i10c442;i16b2W6<0e1i10c542;e1i10i15i1643;~c6\x84v0i16`W6;0e7i14a42;i16aW6<0e1i10c842;i16b2W6<0e1i10c942;e1i10i15i1643;~c:\x84R0i16`W6<0e1i10c;42;e1i10i15i1643;~c<\x84Q0i16`W6;0e7i14a42;e1i10i15i1643;~c=\x84T0i16`W6>0e1i10c>c?43;e1i10i15i1643;~c@\x84]0i16b2X6<0e7i14b242;e1i10i12670cA540c@i1643;e1i10i1542;" [:list emit :loadnil :+ :load0 :add2 :- argc-error :neg :sub2 :* :load1 :/ :vector :loadv [] :apply :tapply])]) get arg-counts] compile-builtin-call) compile-call #function("8000r4c0g3Mu42;" [#function("9000vc0~C16V02e1~\x8132@16J02~E16C02e2~3116902e3~31G6:0e3~31530~u42;" [#function(":000ve0i13Nc1326S0e2i10i11^~342c3e4i10i11i13N33u42;c5~G16802e6~31u42;" [length> 255 compile-in #function(":000ve0i20i22670c1540c2~43;" [emit :tcall.l :call.l]) compile-arglist #function(";000v\x80c0<16X02e1\x80i2132@16J02e2c031e0>16<02e3i23b2326L0e4i20i21^i23\x86342e5i20c642;~7A0e4i20i21^\x8034530^2c7e8i20i21i23N33u42;" [cadr in-env? top-level-value length= compile-in emit :cadr #function("=000v\x806H0e0i30i31i32i33i10\x80~47;e1i30i32670c2540c3~43;" [compile-builtin-call emit :tcall :call]) compile-arglist]) builtin->instruction]) in-env? constant? top-level-value])] compile-call) compile-f #function("<000s2e0c1qc242;" [call-with-values #function("9000r0e0\x80\x81i02x4;" [compile-f-]) #function("6000r2~;" [])] compile-f) compile-f- #function("<000s2c0^u42;" [#function("<000vc0qm02c1e230\x81\x86e3\x81\x8631e4c5\x81\x8632e6\x8131i10\x8470c7570e6\x8131u46;" [#function(":000r1c0e1~31F6N0e2~31F6=0c3e1~31K570e4~31530^u42;" [#function("8000vc0e1~31u42;" [#function(";000v~\x8740\x80;e0c1~\x80i4034e2c3~32K;" [list* lambda map #function("6000r1^;" [])]) get-defined-vars]) cddr cdddr begin caddr] lambda-body) #function("9000vc0\x7f?660`570e1\x7f31u42;" [#function("@000vi03\x89X0e0\x80e1e2e3i033231322e4\x80c5~e6i0331z33530^2i22\x89<0e4\x80c7325o0e8~c9326J0e4\x80e:\x8131\x8770c;540c<~335M0e:\x8131\x87=0e4\x80c=~335:0e4\x80c>~332e?\x80i02i20K]e:i2131i30\x84<0e@i21315:0i10i2131342e4\x80cA322eBeCeDeE\x803131eF\x8031i0433\x80b3[42;" [bcode:indexfor list->vector map cadr emit :optargs length :let > 255 lastcdr :largc :lvargc :argc :vargc compile-in caddr :ret values function encode-byte-code bcode:code const-to-idx-vec]) length]) make-code-emitter lambda-vars filter #.pair? lastcdr lambda])] #0=[#:g594 ()]) compile-for #function(":000r5e0g4316X0e1~\x7f^g2342e1~\x7f^g3342e1~\x7f^g4342e2~c342;e4c541;" [1arg-lambda? compile-in emit :for error "for: third form must be a 1-argument lambda"] compile-for) compile-if #function("=000r4c0e1~31e1~31g3\x86e2g331e3g331F6;0e4g331530^u46;" [#function("=000vg2]\x84>0e0\x80\x81i02g344;g2^\x84>0e0\x80\x81i02g444;e0\x80\x81^g2342e1\x80c2~332e0\x80\x81i02g3342i026<0e1\x80c3325:0e1\x80c4\x7f332e5\x80~322e0\x80\x81i02g4342e5\x80\x7f42;" [compile-in emit :brf :ret :jmp mark-label]) make-label caddr cdddr cadddr] compile-if) compile-in #function(":000r4g3C6=0e0~\x7fg3c144;g3?6\x950g3`\x84:0e2~c342;g3a\x84:0e2~c442;g3]\x84:0e2~c542;g3^\x84:0e2~c642;g3_\x84:0e2~c742;e8g3316<0e2~c9g343;e2~c:g343;c;g3Mu42;" [compile-sym [:loada :loadc :loadg] emit :load0 :load1 :loadt :loadf :loadnil fits-i8 :loadi8 :loadv #function("S000v~c0\x84>0e1\x80c2i03\x8643;~c3\x84?0e4\x80\x81i02i0344;~c5\x84@0e6\x80\x81i02i03N44;~c7\x84<0e8\x80\x81i0343;~c9\x84=0e:c;qc\x80\x81i02i03N44;~c?\x84@0e@\x80\x81i02i03N44;~cA\x84G0eB\x80\x81i03\x86c5eCi0331K44;~cD\x84K0eE\x80\x81i03\x86eFi0331eGi033145;~cH\x84F0eI\x80\x81]i03\x86342e1\x80cJ42;~cK\x84N0eI\x80\x81^eFi0331342eL\x80\x81i03\x86cM44;~cN\x84K0eI\x80\x81i02eOi03\x86eCi03313244;~cP\x84s0eI\x80\x81^c9_i03\x86L3342eQeFi033131660^580eRcS312eI\x80\x81^eFi0331342e1\x80cT42;eU\x80\x81i02i0344;" [quote emit :loadv if compile-if begin compile-begin prog1 compile-prog1 lambda call-with-values #function("8000r0e0i11i1342;" [compile-f-]) #function("9000r2e0i10c1~332e2i10\x7f322\x7fe3i1131X6<0e0i10c442;^;" [emit :loadv bcode:cdepth nnn :closure]) and compile-and or compile-or while compile-while cddr for compile-for caddr cadddr return compile-in :ret set! compile-sym [:seta :setc :setg] define expand-define trycatch 1arg-lambda? error "trycatch: second form must be a 1-argument lambda" :trycatch compile-app])] compile-in) compile-let #function("9000r4c0g3Mg3Nu43;" [#function(";000ve0\x7fe1~\x863132660^5=0e2e3c4~32312e5c6qc7q322c8e9\x80\x81\x7f33u42;" [length= length error string "apply: incorrect number of arguments to " call-with-values #function("9000r0e0i11\x80]43;" [compile-f-]) #function("9000r2e0i10c1~332e2i10\x7f42;" [emit :loadv bcode:cdepth]) #function(";000ve0i10c1322e0i10i12670c2540c3a~y43;" [emit :copyenv :tcall :call]) compile-arglist])] compile-let) compile-or #function("<000r4e0~\x7fg2g3^c146;" [compile-short-circuit :brt] compile-or) compile-prog1 #function(";000r3e0~\x7f^g2\x86342e1g231F6H0e2~\x7f^e1g231342e3~c442;^;" [compile-in cddr compile-begin emit :pop] compile-prog1) compile-short-circuit #function(":000r6g3?6=0e0~\x7fg2g444;g3N?6>0e0~\x7fg2g3M44;c1e2~31u42;" [compile-in #function("<000ve0\x80\x81^i03M342e1\x80c2322e1\x80i05~332e1\x80c3322e4\x80\x81i02i03Ni04i05362e5\x80~42;" [compile-in emit :dup :pop compile-short-circuit mark-label]) make-label] compile-short-circuit) compile-sym #function(";000r4c0e1g2\x7f`]34u42;" [#function("8000vc0~Mu42;" [#function(">000v~c0\x84A0e1i10i13`[\x80\x8643;~c2\x84[0e1i10i13a[\x80\x86e3\x8031342e4i10e5i11N31a\x80\x86S342;e6i123116>02e7e8i1231316C0e1i10c9e8i123143;e1i10i13b2[i1243;" [arg emit closed caddr bcode:cdepth nnn constant? printable? top-level-value :loadv])]) lookup-sym] compile-sym) compile-thunk #function(";000r1e0e1c2L1_L1~L1\x803441;" [compile nconc lambda] #0#) compile-while #function("9000r4c0e1~31e1~31u43;" [#function(":000ve0\x80\x81^^342e1\x80~322e0\x80\x81^i02342e2\x80c3\x7f332e2\x80c4322e0\x80\x81^i03342e2\x80c5~332e1\x80\x7f42;" [compile-in mark-label emit :brf :pop :jmp]) make-label] compile-while) const-to-idx-vec #function("9000r1c0e1e2~3131u42;" [#function("9000ve0c1qe2\x8031322~;" [table.foreach #function("8000r2\x80\x7f~\\;" []) bcode:ctable]) vector.alloc bcode:nconst] const-to-idx-vec) copy-tree #function("8000r1~?640~;e0~M31e0~N31K;" [copy-tree] copy-tree) count #function("8000r2c0^u42;" [#function("9000vc0qm02~\x80\x81`43;" [#function("9000r3\x7f\x8750g2;\x80~\x7fN~\x7fM31690g2ay540g243;" [] count-)])] count) delete-duplicates #function("9000r1~?640~;c0~M~Nu43;" [#function("8000ve0~\x7f32680e1\x7f41;~e1\x7f31K;" [member delete-duplicates])] delete-duplicates) disassemble #function(">000s1\x7f\x87C0e0~`322e1302];530^2c2\x7fMe3~31e4~31u44;" [disassemble newline #function("8000vc0^u42;" [#function(":000vc0qm02`\x80azc1w2e2c3e4\x81`32c5332c6b4e7\x8131u43;" [#function("9000r1~J16602~G@6D0e0c1312e2~i10ay42;e3~41;" [princ "\n" disassemble print] print-val) #function("7000r1e0c141;" [princ "\t"]) princ "maxstack " ref-int32-LE "\n" #function(":000v^~\x7fX6E02c0e1c2q^e333u325\x19/;" [#function("<000ve0\x80b432690e130530^2`i20azc2w2e3e4\x80b4z31c5e6e7~31a32c8342\x80ayo002c9~u42;" [> newline #function("7000r1e0c141;" [princ "\t"]) princ hex5 ": " string.tail string "\t" #function("=000ve0~c1326P0i20i32e2i31i1032[312i10b4yo10;e0~c3326L0i20i32i31i10[[312i10ayo10;e0~c4326K0e5e6i31i10[31312i10ayo10;e0~c7326O0e5e6e2i31i103231312i10b4yo10;e0~c8326f0e5e6i31i10[31c9322i10ayo102e5e6i31i10[31312i10ayo10;e0~c:326n0e5e6e2i31i103231c9322i10b4yo102e5e6e2i31i103231312i10b4yo10;e0~c;326X0e5ci31i1032R331322i10b2yo10;e0~c?326X0e5cstring (:loada.l :seta.l :largc :lvargc :call.l :tcall.l :optargs) (:loadc :setc) " " (:loadc.l :setc.l) (:jmp :brf :brt :brne :brnn :brn) "@" hex5 ref-int16-LE (:jmp.l :brf.l :brt.l :brne.l :brnn.l :brn.l)])]) table.foldl #function("8000r3g217@02\x7fi21\x80[<16402~;" []) Instructions]) length])]) function:code function:vals] disassemble) display #function("7000r1e0~312];" [princ] display) div #function("8000r2~\x7fV~`X16C02\x7f`X16402a17502b/17402`y;" [] div) emit #function("I000s2g2\x87b0\x7fc0<16C02~`[F16:02~`[Mc1<6;0~`[c2O5:0~`\x7f~`[K\\5\xe20e3\x7fc4326A0e5~g2M32L1m2530^2c6e7\x7fc832u322c9e7\x7fc:32u322\x7fc;\x84\\0g2c<>6=0c=m12_m25F0g2c>>6=0c?m12_m2530^530^2\x7fc@\x84\\0g2cA>6=0cBm12_m25F0g2cC>6=0cDm12_m2530^530^2cE~`[F690~`[M530_~`[u332~;" [:car :cdr :cadr memq (:loadv :loadg :setg) bcode:indexfor #function("8000v~16=02e0i02Mc132680~\x86o01;^;" [> 255]) assq ((:loadv :loadv.l) (:loadg :loadg.l) (:setg :setg.l) (:loada :loada.l) (:seta :seta.l)) #function("8000v~16L02e0i02Mc13217=02e0i02\x86c132680~\x86o01;^;" [> 255]) ((:loadc :loadc.l) (:setc :setc.l)) :loada (0) :loada0 (1) :loada1 :loadc (0 0) :loadc00 (0 1) :loadc01 #function(";000v\x81c0<16A02~c1<16802\x7f\x86c2<6C0\x80`i02Mc3e4\x7f31KK\\;\x81c0<16702~c1<6@0\x80`i02Mc5\x7fNKK\\;\x81c0<16702~c6<6@0\x80`i02Mc7\x7fNKK\\;\x81c0<16702~c2<6@0\x80`i02Mc8\x7fNKK\\;\x81c5<16702~c2<6@0\x80`i02Mc3\x7fNKK\\;\x80`e9\x81i02K\x7f32\\;" [:brf :not :null? :brn cddr :brt :eq? :brne :brnn nreconc])] emit) encode-byte-code #function("8000r1c0e1~31u42;" [#function("8000vc0e1~31u42;" [#function(";000vc0e1e2~31b3e2~31b2VT2yc332u42;" [#function(">000vc0e1\x8031`e230e230e330^^u48;" [#function("?000ve0g4c1322^\x7f~X6\xe302i10\x7f[m52g5c2\x84O0e3g2i10\x7fay[e4g431332\x7fb2ym15\xb30e0g4e5e6e7\x806<0c8g5u32540g53231322\x7faym12\x7f~X6:0i10\x7f[530^m62e9g5c:326^0e3g3e4g431g6332e0g4\x80670e;540e<`31322\x7faym15C0g6D6<0c=g5u32530^5{/2e>c?qg3322e@g441;" [io.write #int32(0) :label put! sizeof byte get Instructions #function("9000v~c0\x8450c1;~c2\x8450c3;~c4\x8450c5;~c6\x8450c7;~c8\x8450c9;~c:\x8450c;;i05;" [:jmp :jmp.l :brt :brt.l :brf :brf.l :brne :brne.l :brnn :brnn.l :brn :brn.l]) memq (:jmp :brf :brt :brne :brnn :brn) int32 int16 #function(":000ve0~c1326H0e2i04e3i0631322\x81ayo01;e0~c4326`0e2i04e5i0631322\x81ayo012e2i04e5i20\x81[31322\x81ayo01;e0~c6326`0e2i04e3i0631322\x81ayo012e2i04e3i20\x81[31322\x81ayo01;e2i04e5i0631322\x81ayo01;" [memq (:loadv.l :loadg.l :setg.l :loada.l :seta.l :largc :lvargc :call.l :tcall.l :optargs) io.write int32 (:loadc :setc) uint8 (:loadc.l :setc.l)]) table.foreach #function("<000r2e0i04~322e1i04i10670e2540e3e4i02\x7f32~z3142;" [io.seek io.write int32 int16 get]) io.tostring!]) length table buffer]) >= length 65536]) list->vector]) reverse!] encode-byte-code) error #function(":000s0e0c1~K41;" [raise error] error) eval #function("8000r1e0e1~313140;" [compile-thunk expand] eval) even? #function("8000r1e0~a32`W;" [logand] even?) every #function("8000r2\x7f?17D02~\x7fM3116:02e0~\x7fN42;" [every] every) expand #function("7000r1e0~41;" [macroexpand] expand) expand-define #function("<000r2~C6:0c0~\x7fML3;c0~Me1c2L1~NL1e3\x7f31~M34L3;" [set! nconc lambda copy-list] expand-define) filter #function("8000r2c0^u42;" [#function("9000vc0qm02~\x80\x81_L143;" [#function("9000r3g2^\x7fF6S02i10\x7fM316?0g2\x7fM_KPNm2530^2\x7fNm15\f/2N;" [] filter-)])] filter) fits-i8 #function("8000r1~I16F02e0~b\xb03216:02e1~b\xaf42;" [>= <=] fits-i8) foldl #function(";000r3g2\x8740\x7f;e0~~g2M\x7f32g2N43;" [foldl] foldl) foldr #function("<000r3g2\x8740\x7f;~g2Me0~\x7fg2N3342;" [foldr] foldr) for-each #function("8000r2\x7fF6@0~\x7fM312e0~\x7fN42;];" [for-each] for-each) get-defined-vars #function("8000r1e0\x80~3141;" [delete-duplicates] #1=[#function(":000r1~?640_;~Mc0<16602~NF6d0~\x86C16702~\x86L117S02~\x86F16E02e1~31C16:02e1~31L117402_;~Mc2\x84>0e3e4\x80~N32x2;_;" [define caadr begin append map] #1#) ()]) hex5 #function("9000r1e0e1~b@32b5c243;" [string.lpad number->string #\0] hex5) identity #function("6000r1~;" [] identity) in-env? #function("8000r2e0c1q\x7f42;" [any #function("8000r1e0\x80~42;" [memq])] in-env?) index-of #function(";000r3\x7f\x8740^;~\x7fM\x8450g2;e0~\x7fNg2ay43;" [index-of] index-of) io.readline #function("8000r1e0~c142;" [io.readuntil #\x000a] io.readline) io.readlines #function("8000r1e0e1~42;" [read-all-of io.readline] io.readlines) iota #function("8000r1e0e1~42;" [map-int identity] iota) lambda-vars #function("8000r1c0^u42;" [#function("9000vc0qm02~\x80\x80322e1c2e3\x803142;" [#function("<000r2~A17\xae02~C17\xa702~F16|02~MC17i02~MF16M02e0c1~N3217@02e2e3c4\x7fc5333117B02e2e3c6~Mc7\x7f343116902\x80~N\x7f3217R02~\x7f\x84>0e2e3c4\x7f3241;e2e3c6~c7\x7f3441;" [every #.pair? error string "compile error: invalid argument list " ". optional arguments must come last." "compile error: invalid formal argument " " in list "] check-formals) map #function("6000r1~F650~M;~;" []) to-proper])] lambda-vars) last-pair #function("7000r1~N?640~;e0~N41;" [last-pair] last-pair) lastcdr #function("7000r1~?640~;e0~31N;" [last-pair] lastcdr) length= #function("9000r2\x7f`X640^;\x7f`W650~?;~?660\x7f`W;e0~N\x7faz42;" [length=] length=) length> #function("9000r2\x7f`X640~;\x7f`W6;0~F16402~;~?660\x7f`X;e0~N\x7faz42;" [length>] length>) list->vector #function("7000r1c0~x2;" [#.vector] list->vector) list-head #function(":000r2e0\x7f`32640_;~Me1~N\x7faz32K;" [<= list-head] list-head) list-ref #function("8000r2e0~\x7f32M;" [list-tail] list-ref) list-tail #function("9000r2e0\x7f`32640~;e1~N\x7faz42;" [<= list-tail] list-tail) list? #function("7000r1~A17@02~F16902e0~N41;" [list?] list?) load #function("9000r1c0e1~c232u42;" [#function("7000vc0qc1qt;" [#function("9000r0c0^u32^^^43;" [#function("6000vc0qm0;" [#function(":000r3e0i10317C0\x80e1i1031~e2\x7f3143;e3i10312e2\x7f41;" [io.eof? read load-process io.close])])]) #function("9000r1e0\x80312e1c2i10~L341;" [io.close raise load-error])]) file :read] load) load-process #function("7000r1e0~41;" [eval] load-process) lookup-sym #function("8000r4\x7f\x8750c0;c1\x7fMu42;" [(global) #function(":000vc0e1\x80~`33u42;" [#function(";000v~6G0i13680c0~L2;c1i12~L3;e2i10i11Ni1317502\x80A680i12570i12ay^44;" [arg closed lookup-sym]) index-of])] lookup-sym) macrocall? #function("9000r1~MC16<02e0e1~M^43;" [get *syntax-environment*] macrocall?) macroexpand #function("8000r1c0^u42;" [#function("8000vc0qm02~\x80_42;" [#function("9000r2~?640~;c0e1~M\x7f32u42;" [#function("9000v~6C0i10~\x86\x80NQ2e0~3142;c1e2\x8031u42;" [caddr #function("C000v~6B0i20~i10NQ2i1142;i10Mc0\x8460i10;i10Mc1\x84V0e2c1L1i10\x86L1e3c4qe5i103132e6i103144;i10Mc7\x84O0e2c7L1i10\x86L1e3c8qe5i10313243;i10Mc9\x84T0c:i10\x86e2c1L1_L1e;e5i10313133L1u43;e3c000ve0i10e1e2c3~e2e4~3233Q2322e5i10e642;" [io.print nconc map #.list top-level-value io.write *linefeed*]) filter #function("9000r1~E16w02e0~31@16l02e1~31G@17C02e2~31e2e1~3131>@16K02e3~i1132@16=02e4e1~3131@;" [constant? top-level-value string memq iostream?]) simple-sort environment]) #function("7000r1\x80302e0~41;" [raise])]) #function("7000r0e0\x80312i02k1;" [io.close *print-pretty*])]) file :write :create :truncate (*linefeed* *directory-separator* *argv* that *print-pretty* *print-width* *print-readably*) *print-pretty*] make-system-image) map #function("=000s2c0^^u43;" [#function("9000vc0m02c1qm12i02\x87;0~\x80\x81_L143;\x7f\x80\x81i02K42;" [#function("9000r3g2^\x7fF6H02g2~\x7fM31_KPNm22\x7fNm15\x17/2N;" [] map1) #function("=000r2\x7fM\x8740_;~\x80c0\x7f_L133Q2\x81~\x80c1\x7f_L13332K;" [#.car #.cdr] mapn)])] map) map! #function("9000r2\x7f^\x7fF6B02\x7f~\x7fM31O2\x7fNm15\x1d/2;" [] map!) map-int #function("9000r2e0\x7f`32640_;c1~`31_K_u43;" [<= #function(":000v~m12a\x81azc0qw2~;" [#function("8000r1\x81i10~31_KP2\x81No01;" [])])] map-int) mark-label #function("9000r2e0~c1\x7f43;" [emit :label] mark-label) max #function("=000s1\x7f\x8740~;e0c1~\x7f43;" [foldl #function("7000r2~\x7fX640\x7f;~;" [])] max) member #function("8000r2\x7f?640^;\x7fM~>640\x7f;e0~\x7fN42;" [member] member) memv #function("8000r2\x7f?640^;\x7fM~=640\x7f;e0~\x7fN42;" [memv] memv) min #function("=000s1\x7f\x8740~;e0c1~\x7f43;" [foldl #function("7000r2~\x7fX640~;\x7f;" [])] min) mod #function("9000r2~e0~\x7f32\x7fT2z;" [div] mod) mod0 #2=#function("8000r2~~\x7fV\x7fT2z;" [] mod0) negative? #function("7000r1~`X;" [] negative?) nestlist #function(";000r3e0g2`32640_;\x7fe1~~\x7f31g2az33K;" [<= nestlist] nestlist) newline #function("7000r0e0e1312];" [princ *linefeed*] newline) nnn #function("8000r1e0c1~42;" [count #function("6000r1~A@;" [])] nnn) nreconc #function("8000r2e0e1~31\x7f42;" [nconc reverse!] nreconc) odd? #function("7000r1e0~31@;" [even?] odd?) positive? #function("8000r1e0~`42;" [>] positive?) princ #function(":000s0e0e1~x3;" [io.princ *output-stream*] princ) print #function(":000s0e0e1~x3;" [io.print *output-stream*] print) print-exception #function("9000r1c0^^u43;" [#function("<000vc0m02c1m12\x80F16D02\x80Mc2<16:02e3\x80b4326N0~c4\x80\x86c5e6\x8031c7352\x7fe8\x8031315\xc90\x80F16@02\x80Mc9<16602\x80NF6>0~c:\x80\x86c;335\xa60\x80F16802\x80Mc<<6@0~c=312~\x80NQ25\x890\x80F16802\x80Mc><6F0e?e6\x8031312~c@\x80\x86325f0eA\x803116:02e3\x80b2326H0\x7f\x80M312~cB312cC\x80\x86u325<0~cD312\x7f\x80312~eE41;" [#function(":000s0e0e1~x3;" [io.princ *error-stream*] eprinc) #function(":000s0e0e1~x3;" [io.print *error-stream*] eprint) type-error length= "type-error: " ": expected " caddr ", got " cadddr unbound-error "unbound-error: eval: variable " " has no value" error "error: " load-error print-exception "in file " list? ": " #function("8000ve0~3117502~C660\x80530\x81~41;" [string?]) "*** Unhandled exception: " *linefeed*])] print-exception) print-stack-trace #function("9000r1c0^^u43;" [#function("<000vc0qm02c1qm12c2e3e4\x80b53231e5e6e7c8e9303232`u44;" [#function("8000r3c0e1~31g2Ku42;" [#function(":000ve0\x8031e0\x8131\x84>0e1c2c3~L341;c4e5\x8031u42;" [function:code raise thrown-value ffound #function(":000v`e0e1~3131c2qw;" [1- length #function("9000r1e0\x80~[316A0i30\x80~[i21i1043;^;" [closure?])]) function:vals]) function:name] find-in-f) #function("8000r2c0c1qc2tu42;" [#function(";000v~6H0e0e1e2e3e4~3132c53241;c6;" [symbol string.join map string reverse! "/" lambda]) #function("8000r0e0c1q\x81322^;" [for-each #function("9000r1i10~\x80_43;" [])]) #function("7000r1~F16B02~Mc0<16802~\x86c1<680e2~41;e3~41;" [thrown-value ffound caddr raise])] fn-name) #function("8000ve0c1q~42;" [for-each #function("9000r1e0c1i02c2332e3i11~`[\x8132e4~31NK312e5302i02ayo02;" [princ "#" " " print vector->list newline])]) reverse! list-tail filter closure? map #function("7000r1~E16802e0~41;" [top-level-value]) environment])] print-stack-trace) print-to-string #function("8000r1c0e130u42;" [#function("8000ve0~\x80322e1~41;" [io.print io.tostring!]) buffer] print-to-string) printable? #function("7000r1e0~31@;" [iostream?] printable?) println #function("9000s0e0~Q2e1302;" [print newline] println) quote-value #function("7000r1e0~31640~;c1~L2;" [self-evaluating? quote] quote-value) quotient #.div0 random #function("8000r1e0~316<0e1e230~42;e330~T2;" [integer? mod rand rand.double] random) read-all #function("8000r1e0e1~42;" [read-all-of read] read-all) read-all-of #function("9000r2c0^u32_~\x7f3142;" [#function("6000vc0qm0;" [#function("9000r2e0i1131680e1~41;\x80\x7f~Ki10i113142;" [io.eof? reverse!])])] read-all-of) ref-int16-LE #function(";000r2e0e1~\x7f`y[`32e1~\x7fay[b832y41;" [int16 ash] ref-int16-LE) ref-int32-LE #function("=000r2e0e1~\x7f`y[`32e1~\x7fay[b832e1~\x7fb2y[b@32e1~\x7fb3y[bH32R441;" [int32 ash] ref-int32-LE) remainder #2# repl #function("9000r0c0^^u43;" [#function("6000vc0m02c1qm12\x7f302e240;" [#function("8000r0e0c1312e2e3312c4c5c6tu42;" [princ "> " io.flush *output-stream* #function("8000ve0e131@16=02c2e3~31u42;" [io.eof? *input-stream* #function("7000ve0~312~k12];" [print that]) load-process]) #function("6000r0e040;" [read]) #function("7000r1e0e1312e2~41;" [io.discardbuffer *input-stream* raise])] prompt) #function("7000r0c0qc1t6;0e2302\x8140;^;" [#function("7000r0\x803016702e040;" [newline]) #function("7000r1e0~312e1e230312];" [print-exception print-stack-trace stacktrace]) newline] reploop) newline])] repl) revappend #function("8000r2e0e1~31\x7f42;" [nconc reverse] revappend) reverse #function("9000r1e0c1_~43;" [foldl #.cons] reverse) reverse! #function("8000r1c0_u42;" [#function("9000v^\x80F6C02\x80N\x80~\x80m02P2o005\x1c/2~;" [])] reverse!) self-evaluating? #function("8000r1~?16602~C@17K02e0~3116A02~C16:02~e1~31<;" [constant? top-level-value] self-evaluating?) separate #function(":000r2\x80~\x7f__44;" [] #3=[#function("6000r4\x7f\x8780g2g3K;~\x7fM316@0\x80~\x7fN\x7fMg2Kg344;\x80~\x7fNg2\x7fMg3K44;" [] #3#) ()]) set-syntax! #function("9000r2e0e1~\x7f43;" [put! *syntax-environment*] set-syntax!) simple-sort #function("8000r1~A17602~NA640~;c0~Mu42;" [#function("9000vc0e1c2q\x80N32u42;" [#function(":000ve0e1~M31\x80L1e1~N3143;" [nconc simple-sort]) separate #function("7000r1~\x80X;" [])])] simple-sort) string.join #function("8000r2~\x8750c0;c1e230u42;" ["" #function("8000ve0~\x80M322e1c2q\x80N322e3~41;" [io.write for-each #function("8000r1e0\x80i11322e0\x80~42;" [io.write]) io.tostring!]) buffer] string.join) string.lpad #function(";000r3e0e1g2\x7fe2~31z32~42;" [string string.rep string.count] string.lpad) string.map #function("9000r2c0e130e2\x7f31u43;" [#function("8000vc0`u322e1~41;" [#function(";000v^~\x81X6S02e0\x80i10e1i11~3231322e2i11~32m05\x0b/;" [io.putc string.char string.inc]) io.tostring!]) buffer length] string.map) string.rep #function(";000r2\x7fb4X6`0e0\x7f`32650c1;\x7faW680e2~41;\x7fb2W690e2~~42;e2~~~43;e3\x7f316@0e2~e4~\x7faz3242;e4e2~~32\x7fb2U242;" [<= "" string odd? string.rep] string.rep) string.rpad #function("<000r3e0~e1g2\x7fe2~31z3242;" [string string.rep string.count] string.rpad) string.tail #function(";000r2e0~e1~`\x7f3342;" [string.sub string.inc] string.tail) string.trim #function("9000r3c0^^u43;" [#function("8000vc0qm02c1qm12c2e3\x8031u42;" [#function(";000r4g2g3X16?02e0\x7fe1~g232326A0\x80~\x7fe2~g232g344;g2;" [string.find string.char string.inc] trim-start) #function("<000r3e0g2`3216D02e1\x7fe2~e3~g23232326?0\x81~\x7fe3~g23243;g2;" [> string.find string.char string.dec] trim-end) #function("<000ve0i10\x80i10i11`~34\x81i10i12~3343;" [string.sub]) length])] string.trim) symbol-syntax #function("9000r1e0e1~^43;" [get *syntax-environment*] symbol-syntax) table.clone #function("8000r1c0e130u42;" [#function("9000ve0c1q_\x80332~;" [table.foldl #function("9000r3e0\x80~\x7f43;" [put!])]) table] table.clone) table.foreach #function("9000r2e0c1q_\x7f43;" [table.foldl #function("8000r3\x80~\x7f322];" [])] table.foreach) table.invert #function("8000r1c0e130u42;" [#function("9000ve0c1q_\x80332~;" [table.foldl #function("9000r3e0\x80\x7f~43;" [put!])]) table] table.invert) table.keys #function("9000r1e0c1_~43;" [table.foldl #function("7000r3~g2K;" [])] table.keys) table.pairs #function("9000r1e0c1_~43;" [table.foldl #function("7000r3~\x7fKg2K;" [])] table.pairs) table.values #function("9000r1e0c1_~43;" [table.foldl #function("7000r3\x7fg2K;" [])] table.values) to-proper #function("9000r1~\x8740~;~?660~L1;~Me0~N31K;" [to-proper] to-proper) trace #function("8000r1c0e1~31u322c2;" [#function("8000vc0e130u42;" [#function("?000ve0\x80317a0e1i10e2c3~c4c5c6c7i10L2~L3L2c8c7\x80L2~L3L3L33142;^;" [traced? set-top-level-value! eval lambda begin println cons quote apply]) gensym]) top-level-value ok] trace) traced? #function("8000r1e0~31e0\x8031>;" [function:code] [#function(":000s0e0c1~K312c2~x2;" [println x #.apply]) ()]) untrace #function("8000r1c0e1~31u42;" [#function("9000ve0~316@0e1\x80e2~31b2[42;^;" [traced? set-top-level-value! function:vals]) top-level-value] untrace) values #function("9000s0~F16602~NA650~M;\x80~K;" [] #4#) vector->list #function("9000r1c0e1~31_u43;" [#function(":000va~c0qw2\x7f;" [#function("8000r1i10\x80~z[\x81Ko01;" [])]) length] vector->list) vector.map #function("8000r2c0e1\x7f31u42;" [#function("8000vc0e1~31u42;" [#function(":000v`\x80azc0qw2~;" [#function(":000r1\x80~i20i21~[31\\;" [])]) vector.alloc]) length] vector.map) zero? #function("7000r1~`W;" [] zero?)) diff --git a/femtolisp/flisp.c b/femtolisp/flisp.c index 6f4a06a..41917a8 100644 --- a/femtolisp/flisp.c +++ b/femtolisp/flisp.c @@ -931,6 +931,30 @@ static value_t apply_cl(uint32_t nargs) Stack[SP-1] = 0; curr_frame = SP; NEXT_OP; + OP(OP_OPTARGS) + n = GET_INT32(ip); ip+=4; + v = fn_vals(Stack[bp-1]); + v = vector_elt(v, 0); + if (nargs >= n) { // if we have all required args + s = vector_size(v); + n += s; + if (nargs < n) { // but not all optional args + i = n - nargs; + SP += i; + Stack[SP-1] = Stack[SP-i-1]; + Stack[SP-2] = Stack[SP-i-2]; + Stack[SP-3] = Stack[SP-i-3]; + Stack[SP-4] = Stack[SP-i-4]; + Stack[SP-5] = Stack[SP-i-5]; + curr_frame = SP; + s = s - i; + for(n=0; n < i; n++) { + Stack[bp+nargs+n] = vector_elt(v, s+n); + } + nargs += i; + } + } + NEXT_OP; OP(OP_NOP) NEXT_OP; OP(OP_DUP) SP++; Stack[SP-1] = Stack[SP-2]; NEXT_OP; OP(OP_POP) POPN(1); NEXT_OP; @@ -1662,7 +1686,7 @@ static value_t apply_cl(uint32_t nargs) #endif } -static uint32_t compute_maxstack(uint8_t *code, size_t len) +static uint32_t compute_maxstack(uint8_t *code, size_t len, value_t vals) { uint8_t *ip = code+4, *end = code+len; uint8_t op; @@ -1688,6 +1712,12 @@ static uint32_t compute_maxstack(uint8_t *code, size_t len) sp += (n+2); break; case OP_LET: break; + case OP_OPTARGS: + ip += 4; + assert(isvector(vals)); + if (vector_size(vals) > 0) + sp += vector_size(vector_elt(vals, 0)); + break; case OP_TCALL: case OP_CALL: n = *ip++; // nargs @@ -1824,7 +1854,7 @@ static value_t fl_function(value_t *args, uint32_t nargs) for(i=0; i < sz; i++) data[i] -= 48; } - uint32_t ms = compute_maxstack((uint8_t*)data, cv_len(arr)); + uint32_t ms = compute_maxstack((uint8_t*)data, cv_len(arr), args[1]); PUT_INT32(data, ms); function_t *fn = (function_t*)alloc_words(4); value_t fv = tagptr(fn, TAG_FUNCTION); diff --git a/femtolisp/opcodes.h b/femtolisp/opcodes.h index e4ba3b2..966eaa0 100644 --- a/femtolisp/opcodes.h +++ b/femtolisp/opcodes.h @@ -27,6 +27,7 @@ enum { OP_TAPPLY, OP_ADD2, OP_SUB2, OP_NEG, OP_LARGC, OP_LVARGC, OP_LOADA0, OP_LOADA1, OP_LOADC00, OP_LOADC01, OP_CALLL, OP_TCALLL, OP_BRNE, OP_BRNEL, OP_CADR, OP_BRNN, OP_BRNNL, OP_BRN, OP_BRNL, + OP_OPTARGS, OP_BOOL_CONST_T, OP_BOOL_CONST_F, OP_THE_EMPTY_LIST, @@ -69,7 +70,7 @@ enum { &&L_OP_LVARGC, \ &&L_OP_LOADA0, &&L_OP_LOADA1, &&L_OP_LOADC00, &&L_OP_LOADC01, \ &&L_OP_CALLL, &&L_OP_TCALLL, &&L_OP_BRNE, &&L_OP_BRNEL, &&L_OP_CADR,\ - &&L_OP_BRNN, &&L_OP_BRNNL, &&L_OP_BRN, &&L_OP_BRNL \ + &&L_OP_BRNN, &&L_OP_BRNNL, &&L_OP_BRN, &&L_OP_BRNL, &&L_OP_OPTARGS \ } #define VM_APPLY_LABELS \ diff --git a/femtolisp/system.lsp b/femtolisp/system.lsp index 9c92343..e9b307c 100644 --- a/femtolisp/system.lsp +++ b/femtolisp/system.lsp @@ -224,15 +224,16 @@ (set-car! lst (f (car lst))) (set! lst (cdr lst))))) -(define filter - (letrec ((filter- - (lambda (pred lst accum) - (cond ((null? lst) accum) - ((pred (car lst)) - (filter- pred (cdr lst) (cons (car lst) accum))) - (#t - (filter- pred (cdr lst) accum)))))) - (lambda (pred lst) (filter- pred lst ())))) +(define (filter pred lst) + (define (filter- f lst acc) + (cdr + (prog1 acc + (while (pair? lst) + (begin (if (pred (car lst)) + (set! acc + (cdr (set-cdr! acc (cons (car lst) ()))))) + (set! lst (cdr lst))))))) + (filter- pred lst (list ()))) (define separate (letrec ((separate- diff --git a/femtolisp/todo b/femtolisp/todo index 8913ab9..af14f5c 100644 --- a/femtolisp/todo +++ b/femtolisp/todo @@ -159,7 +159,7 @@ bugs: . write a function to evaluate directly from list to list, use it for Nth arg and for user function rest args . modify vararg builtins accordingly -- filter should be stable. right now it reverses. +* filter should be stable. right now it reverses. femtoLisp3...with symbolic C interface @@ -975,7 +975,8 @@ consolidated todo list as of 7/8: - remaining c types - remaining cvalues functions - finish ios -- optional and keyword arguments +* optional arguments +- keyword arguments - some kind of record, struct, or object system - special efficient reader for #array @@ -1042,6 +1043,8 @@ new evaluator todo: * try removing MAX_ARGS trickery - apply optimization, avoid redundant list copying calling vararg fns - let eversion +- variable analysis - avoid holding references to values in frames + captured by closures but not used inside them * lambda lifting * let optimization * fix equal? on functions diff --git a/femtolisp/unittest.lsp b/femtolisp/unittest.lsp index 720d054..6696fd2 100644 --- a/femtolisp/unittest.lsp +++ b/femtolisp/unittest.lsp @@ -116,6 +116,14 @@ (assert (equal? (apply f (iota 995)) '(994))) (assert (equal? (apply f (iota 1000)) '(994 995 996 997 998 999))) +; optional arguments +(assert (equal? ((lambda ((b 0)) b)) 0)) +(assert (equal? ((lambda (a (b 2)) (list a b)) 1) '(1 2))) +(assert (equal? ((lambda (a (b 2)) (list a b)) 1 3) '(1 3))) +(assert (equal? ((lambda (a (b 2) (c 3)) (list a b c)) 1) '(1 2 3))) +(assert (equal? ((lambda (a (b 2) (c 3)) (list a b c)) 1 8) '(1 8 3))) +(assert (equal? ((lambda (a (b 2) (c 3)) (list a b c)) 1 8 9) '(1 8 9))) + ; ok, a couple end-to-end tests as well (define (fib n) (if (< n 2) n (+ (fib (- n 1)) (fib (- n 2))))) (assert (equal? (fib 20) 6765))