#!/usr/bin/env bash source $[dirname $0]/reader.sh source $[dirname $0]/printer.sh source $[dirname $0]/env.sh source $[dirname $0]/core.sh # read proc READ { test $(1) && global r := $(1) || READLINE READ_STR $(r) } # eval proc IS_PAIR { if _sequential? $(1) { _count $(1) [[ "${r}" > 0 ]] && return 0 } return 1 } proc QUASIQUOTE { if ! IS_PAIR $(1) { _symbol quote _list $(r) $(1) return } else { _nth $(1) 0; var a0 = $(r) if [[ "${ANON["${a0}"]}" == "unquote" ]] { _nth $(1) 1 return } elif IS_PAIR $(a0) { _nth $(a0) 0; var a00 = $(r) if [[ "${ANON["${a00}"]}" == "splice-unquote" ]] { _symbol concat; var a = $(r) _nth $(a0) 1; var b = $(r) _rest $(1) QUASIQUOTE $(r); var c = $(r) _list $(a) $(b) $(c) return } } } _symbol cons; var a = $(r) QUASIQUOTE $(a0); var b = $(r) _rest $(1) QUASIQUOTE $(r); var c = $(r) _list $(a) $(b) $(c) return } proc EVAL_AST { var ast = $(1), env = $(2) #_pr_str "${ast}"; echo "EVAL_AST '${ast}:${r} / ${env}'" _obj_type $(ast); var ot = $(r) matchstr $(ot) { symbol { ENV_GET $(env) $(ast) return } list { _map_with_type _list EVAL $(ast) $(env) } vector { _map_with_type _vector EVAL $(ast) $(env) } hash_map { var res = '',"" key = '', val = '',"" hm = $(ANON["${ast}"]) _hash_map; var new_hm = $(r) eval local keys="\${!$(hm)[@]}" for key in [$(keys)] { eval val="\${$(hm)[\"$(key)\"]}" EVAL $(val) $(env) _assoc! $(new_hm) $(key) $(r) } global r := $(new_hm) } * { global r := $(ast) } } } proc EVAL { var ast = $(1), env = $(2) while true { global r := '' [[ "${__ERROR}" ]] && return 1 #_pr_str "${ast}"; echo "EVAL '${r} / ${env}'" if ! _list? $(ast) { EVAL_AST $(ast) $(env) return } _empty? $(ast) && global r := $(ast) && return # apply list _nth $(ast) 0; var a0 = $(r) _nth $(ast) 1; var a1 = $(r) _nth $(ast) 2; var a2 = $(r) matchstr $(ANON["${a0}"]) { def! { EVAL $(a2) $(env) [[ "${__ERROR}" ]] && return 1 ENV_SET $(env) $(a1) $(r) return } let* { ENV $(env); var let_env = $(r) var let_pairs = '('${ANON["${a1}"]}) var idx = '0' #echo "let: [${let_pairs[*]}] for ${a2}" while [[ "${let_pairs["${idx}"]}" ]] { EVAL $(let_pairs[$(( idx + 1))]) $(let_env) ENV_SET $(let_env) $(let_pairs[${idx}]) $(r) idx := $( idx + 2) } ast := $(a2) env := $(let_env) # Continue loop } quote { global r := $(a1) return } quasiquote { QUASIQUOTE $(a1) ast := $(r) # Continue loop } do { _count $(ast) _slice $(ast) 1 $( ${r} - 2 ) EVAL_AST $(r) $(env) [[ "${__ERROR}" ]] && global r := '' && return 1 _last $(ast) ast := $(r) # Continue loop } if { EVAL $(a1) $(env) [[ "${__ERROR}" ]] && return 1 if [[ "${r}" == "${__false}" || "${r}" == "${__nil}" ]] { # eval false form _nth $(ast) 3; var a3 = $(r) if [[ "${a3}" ]] { ast := $(a3) } else { global r := $(__nil) return } } else { # eval true condition ast := $(a2) } # Continue loop } fn* { _function "ENV \"$(env)\" \"$(a1)\" \"\${@}\"; \ EVAL \"$(a2)\" \"\${r}\"" \ $(a2) $(env) $(a1) return } * { EVAL_AST $(ast) $(env) [[ "${__ERROR}" ]] && global r := '' && return 1 var el = $(r) _first $(el); var f = $(ANON["${r}"]) _rest $(el); var args = $(ANON["${r}"]) #echo "invoke: [${f}] ${args}" if [[ "${f//@/ }" != "${f}" ]] { set -- $(f//@/ ) ast := $(2) ENV $(3) $(4) $(args) env := $(r) } else { eval $(f%%@*) $(args) return } # Continue loop } } } } # print proc PRINT { if [[ "${__ERROR}" ]] { _pr_str $(__ERROR) yes global r := ""Error: $(r)"" global __ERROR := '' } else { _pr_str $(1) yes } } # repl ENV; global REPL_ENV := $(r) proc REP { global r := '' READ $(1) EVAL $(r) $(REPL_ENV) PRINT $(r) } # core.sh: defined using bash proc _fref { _symbol $(1); var sym = $(r) _function "$(2) \"\${@}\"" ENV_SET $(REPL_ENV) $(sym) $(r) } for n in [$(!core_ns[@])] { _fref $(n) $(core_ns["${n}"]); } proc _eval { EVAL $(1) $(REPL_ENV); } _fref "eval" _eval _list; global argv := $(r) for _arg in [$(@:2)] { _string $(_arg); _conj! $(argv) $(r); } _symbol "__STAR__ARGV__STAR__" ENV_SET $(REPL_ENV) $(r) $(argv); # core.mal: defined using the language itself REP "(def! not (fn* (a) (if a false true)))" REP "(def! load-file (fn* (f) (eval (read-string (str \"(do \" (slurp f) \")\")))))" # load/run file from command line (then exit) if [[ "${1}" ]] { REP "(load-file \"$(1)\")" exit 0 } # repl loop while true { READLINE "user> " || exit "$Status" [[ "${r}" ]] && REP $(r) && echo $(r) } (CommandList children: [ (C {(source)} { (CommandSubPart command_list: (CommandList children:[(C {(dirname)} {($ VSub_Number "$0")})]) left_token: spids: [6 10] ) (/reader.sh) } ) (C {(source)} { (CommandSubPart command_list: (CommandList children:[(C {(dirname)} {($ VSub_Number "$0")})]) left_token: spids: [15 19] ) (/printer.sh) } ) (C {(source)} { (CommandSubPart command_list: (CommandList children:[(C {(dirname)} {($ VSub_Number "$0")})]) left_token: spids: [24 28] ) (/env.sh) } ) (C {(source)} { (CommandSubPart command_list: (CommandList children:[(C {(dirname)} {($ VSub_Number "$0")})]) left_token: spids: [33 37] ) (/core.sh) } ) (FuncDef name: READ body: (BraceGroup children: [ (AndOr children: [ (C {(Lit_Other "[")} {(DQ (${ VSub_Number 1))} {(Lit_Other "]")}) (AndOr children: [ (Assignment keyword: Assign_None pairs: [ (assign_pair lhs: (LhsName name:r) op: Equal rhs: {(DQ (${ VSub_Number 1))} spids: [64] ) ] spids: [64] ) (C {(READLINE)}) ] op_id: Op_DPipe ) ] op_id: Op_DAmp ) (C {(READ_STR)} {(DQ (${ VSub_Name r))}) ] spids: [49] ) spids: [44 48] ) (FuncDef name: IS_PAIR body: (BraceGroup children: [ (If arms: [ (if_arm cond: [ (Sentence child: (C {(_sequential) (Lit_Other "?")} {(DQ (${ VSub_Number 1))}) terminator: ) ] action: [ (C {(_count)} {(DQ (${ VSub_Number 1))}) (AndOr children: [ (DBracket expr: (BoolBinary op_id:Redir_Great left:{(DQ (${ VSub_Name r))} right:{(0)}) ) (ControlFlow token: arg_word: {(0)} ) ] op_id: Op_DAmp ) ] spids: [-1 110] ) ] spids: [-1 143] ) (ControlFlow token: arg_word:{(1)}) ] spids: [95] ) spids: [90 94] ) (FuncDef name: QUASIQUOTE body: (BraceGroup children: [ (If arms: [ (if_arm cond: [ (Sentence child: (Pipeline children: [(C {(IS_PAIR)} {(DQ (${ VSub_Number 1))})] negated: True ) terminator: ) ] action: [ (C {(_symbol)} {(quote)}) (C {(_list)} {(DQ (${ VSub_Name r))} {(DQ (${ VSub_Number 1))}) (ControlFlow token:) ] spids: [-1 174] ) ] else_action: [ (Sentence child: (C {(_nth)} {(DQ (${ VSub_Number 1))} {(0)}) terminator: ) (Assignment keyword: Assign_Local pairs: [ (assign_pair lhs: (LhsName name:a0) op: Equal rhs: {(DQ (${ VSub_Name r))} spids: [216] ) ] spids: [214] ) (If arms: [ (if_arm cond: [ (Sentence child: (DBracket expr: (BoolBinary op_id: BoolBinary_GlobDEqual left: { (DQ (BracedVarSub token: bracket_op: (ArrayIndex expr: (ArithWord w:{(DQ (${ VSub_Name a0))}) ) spids: [229 238] ) ) } right: {(DQ (unquote))} ) ) terminator: ) ] action: [ (C {(_nth)} {(DQ (${ VSub_Number 1))} {(1)}) (ControlFlow token:) ] spids: [-1 250] ) (if_arm cond: [ (Sentence child: (C {(IS_PAIR)} {(DQ (${ VSub_Name a0))}) terminator: ) ] action: [ (Sentence child: (C {(_nth)} {(DQ (${ VSub_Name a0))} {(0)}) terminator: ) (Assignment keyword: Assign_Local pairs: [ (assign_pair lhs: (LhsName name:a00) op: Equal rhs: {(DQ (${ VSub_Name r))} spids: [294] ) ] spids: [292] ) (If arms: [ (if_arm cond: [ (Sentence child: (DBracket expr: (BoolBinary op_id: BoolBinary_GlobDEqual left: { (DQ (BracedVarSub token: bracket_op: (ArrayIndex expr: (ArithWord w:{(DQ (${ VSub_Name a00))}) ) spids: [307 316] ) ) } right: {(DQ (splice-unquote))} ) ) terminator: ) ] action: [ (Sentence child: (C {(_symbol)} {(concat)}) terminator: ) (Assignment keyword: Assign_Local pairs: [ (assign_pair lhs: (LhsName name:a) op: Equal rhs: {(DQ (${ VSub_Name r))} spids: [338] ) ] spids: [336] ) (Sentence child: (C {(_nth)} {(DQ (${ VSub_Name a0))} {(1)}) terminator: ) (Assignment keyword: Assign_Local pairs: [ (assign_pair lhs: (LhsName name:b) op: Equal rhs: {(DQ (${ VSub_Name r))} spids: [359] ) ] spids: [357] ) (C {(_rest)} {(DQ (${ VSub_Number 1))}) (Sentence child: (C {(QUASIQUOTE)} {(DQ (${ VSub_Name r))}) terminator: ) (Assignment keyword: Assign_Local pairs: [ (assign_pair lhs: (LhsName name:c) op: Equal rhs: {(DQ (${ VSub_Name r))} spids: [387] ) ] spids: [385] ) (C {(_list)} {(DQ (${ VSub_Name a))} {(DQ (${ VSub_Name b))} {(DQ (${ VSub_Name c))} ) (ControlFlow token: ) ] spids: [-1 328] ) ] spids: [-1 419] ) ] spids: [267 278] ) ] spids: [-1 422] ) ] spids: [200 425] ) (Sentence child:(C {(_symbol)} {(cons)}) terminator:) (Assignment keyword: Assign_Local pairs: [ (assign_pair lhs: (LhsName name:a) op: Equal rhs: {(DQ (${ VSub_Name r))} spids: [435] ) ] spids: [433] ) (Sentence child: (C {(QUASIQUOTE)} {(DQ (${ VSub_Name a0))}) terminator: ) (Assignment keyword: Assign_Local pairs: [ (assign_pair lhs: (LhsName name:b) op: Equal rhs: {(DQ (${ VSub_Name r))} spids: [454] ) ] spids: [452] ) (C {(_rest)} {(DQ (${ VSub_Number 1))}) (Sentence child: (C {(QUASIQUOTE)} {(DQ (${ VSub_Name r))}) terminator: ) (Assignment keyword: Assign_Local pairs: [ (assign_pair lhs: (LhsName name:c) op: Equal rhs: {(DQ (${ VSub_Name r))} spids: [482] ) ] spids: [480] ) (C {(_list)} {(DQ (${ VSub_Name a))} {(DQ (${ VSub_Name b))} {(DQ (${ VSub_Name c))}) (ControlFlow token:) ] spids: [158] ) spids: [153 157] ) (FuncDef name: EVAL_AST body: (BraceGroup children: [ (Assignment keyword: Assign_Local pairs: [ (assign_pair lhs: (LhsName name:ast) op: Equal rhs: {(DQ (${ VSub_Number 1))} spids: [526] ) (assign_pair lhs: (LhsName name:env) op: Equal rhs: {(DQ (${ VSub_Number 2))} spids: [533] ) ] spids: [524] ) (Sentence child: (C {(_obj_type)} {(DQ (${ VSub_Name ast))}) terminator: ) (Assignment keyword: Assign_Local pairs: [ (assign_pair lhs: (LhsName name:ot) op: Equal rhs: {(DQ (${ VSub_Name r))} spids: [556] ) ] spids: [554] ) (Case to_match: {(DQ (${ VSub_Name ot))} arms: [ (case_arm pat_list: [{(symbol)}] action: [ (C {(ENV_GET)} {(DQ (${ VSub_Name env))} {(DQ (${ VSub_Name ast))}) (ControlFlow token:) ] spids: [575 576 596 -1] ) (case_arm pat_list: [{(list)}] action: [ (C {(_map_with_type)} {(_list)} {(EVAL)} {(DQ (${ VSub_Name ast))} {(DQ (${ VSub_Name env))} ) ] spids: [599 600 621 -1] ) (case_arm pat_list: [{(vector)}] action: [ (C {(_map_with_type)} {(_vector)} {(EVAL)} {(DQ (${ VSub_Name ast))} {(DQ (${ VSub_Name env))} ) ] spids: [624 625 646 -1] ) (case_arm pat_list: [{(hash_map)}] action: [ (Assignment keyword: Assign_Local pairs: [ (assign_pair lhs: (LhsName name:res) op: Equal rhs: {(DQ )} spids: [655] ) (assign_pair lhs: (LhsName name:key) op: Equal rhs: {(SQ )} spids: [659] ) (assign_pair lhs: (LhsName name:val) op: Equal rhs: {(DQ )} spids: [661] ) (assign_pair lhs: (LhsName name:hm) op: Equal rhs: { (DQ (BracedVarSub token: bracket_op: (ArrayIndex expr:(ArithWord w:{(DQ (${ VSub_Name ast))})) spids: [667 676] ) ) } spids: [665] ) ] spids: [653] ) (Sentence child:(C {(_hash_map)}) terminator:) (Assignment keyword: Assign_Local pairs: [ (assign_pair lhs: (LhsName name:new_hm) op: Equal rhs: {(DQ (${ VSub_Name r))} spids: [685] ) ] spids: [683] ) (C {(eval)} {(Assign_Local local)} {(Lit_VarLike "keys=") (DQ (EscapedLiteralPart token:) ("{!") (${ VSub_Name hm) ("[@]}") ) } ) (ForEach iter_name: key iter_words: [{(${ VSub_Name keys)}] do_arg_iter: False body: (DoGroup children: [ (C {(eval)} {(Lit_VarLike "val=") (DQ (EscapedLiteralPart token:) ("{") (${ VSub_Name hm) ("[") (EscapedLiteralPart token:) (${ VSub_Name key) (EscapedLiteralPart token: ) ("]}") ) } ) (C {(EVAL)} {(DQ (${ VSub_Name val))} {(DQ (${ VSub_Name env))}) (C {(_assoc) (KW_Bang "!")} {(DQ (${ VSub_Name new_hm))} {(DQ (${ VSub_Name key))} {(DQ (${ VSub_Name r))} ) ] spids: [719 778] ) spids: [713 717] ) (Assignment keyword: Assign_None pairs: [ (assign_pair lhs: (LhsName name:r) op: Equal rhs: {(DQ (${ VSub_Name new_hm))} spids: [781] ) ] spids: [781] ) ] spids: [649 650 788 -1] ) (case_arm pat_list: [{(Lit_Other "*")}] action: [ (Assignment keyword: Assign_None pairs: [ (assign_pair lhs: (LhsName name:r) op: Equal rhs: {(DQ (${ VSub_Name ast))} spids: [795] ) ] spids: [795] ) ] spids: [791 792 802 -1] ) ] spids: [564 572 805] ) ] spids: [521] ) spids: [516 520] ) (FuncDef name: EVAL body: (BraceGroup children: [ (Assignment keyword: Assign_Local pairs: [ (assign_pair lhs: (LhsName name:ast) op: Equal rhs: {(DQ (${ VSub_Number 1))} spids: [820] ) (assign_pair lhs: (LhsName name:env) op: Equal rhs: {(DQ (${ VSub_Number 2))} spids: [827] ) ] spids: [818] ) (While cond: [(Sentence child:(C {(true)}) terminator:)] body: (DoGroup children: [ (Assignment keyword: Assign_None pairs: [(assign_pair lhs:(LhsName name:r) op:Equal rhs:{(SQ )} spids:[843])] spids: [843] ) (AndOr children: [ (DBracket expr: (WordTest w:{(DQ (${ VSub_Name __ERROR))}) ) (ControlFlow token: arg_word: {(1)} ) ] op_id: Op_DAmp ) (If arms: [ (if_arm cond: [ (Sentence child: (Pipeline children: [(C {(_list) (Lit_Other "?")} {(DQ (${ VSub_Name ast))})] negated: True ) terminator: ) ] action: [ (C {(EVAL_AST)} {(DQ (${ VSub_Name ast))} {(DQ (${ VSub_Name env))}) (ControlFlow token: ) ] spids: [-1 881] ) ] spids: [-1 902] ) (AndOr children: [ (C {(_empty) (Lit_Other "?")} {(DQ (${ VSub_Name ast))}) (AndOr children: [ (Assignment keyword: Assign_None pairs: [ (assign_pair lhs: (LhsName name:r) op: Equal rhs: {(DQ (${ VSub_Name ast))} spids: [916] ) ] spids: [916] ) (ControlFlow token: ) ] op_id: Op_DAmp ) ] op_id: Op_DAmp ) (Sentence child: (C {(_nth)} {(DQ (${ VSub_Name ast))} {(0)}) terminator: ) (Assignment keyword: Assign_Local pairs: [ (assign_pair lhs: (LhsName name:a0) op: Equal rhs: {(DQ (${ VSub_Name r))} spids: [946] ) ] spids: [944] ) (Sentence child: (C {(_nth)} {(DQ (${ VSub_Name ast))} {(1)}) terminator: ) (Assignment keyword: Assign_Local pairs: [ (assign_pair lhs: (LhsName name:a1) op: Equal rhs: {(DQ (${ VSub_Name r))} spids: [967] ) ] spids: [965] ) (Sentence child: (C {(_nth)} {(DQ (${ VSub_Name ast))} {(2)}) terminator: ) (Assignment keyword: Assign_Local pairs: [ (assign_pair lhs: (LhsName name:a2) op: Equal rhs: {(DQ (${ VSub_Name r))} spids: [988] ) ] spids: [986] ) (Case to_match: { (DQ (BracedVarSub token: bracket_op: (ArrayIndex expr:(ArithWord w:{(DQ (${ VSub_Name a0))})) spids: [999 1008] ) ) } arms: [ (case_arm pat_list: [{(def) (KW_Bang "!")}] action: [ (C {(EVAL)} {(DQ (${ VSub_Name a2))} {(DQ (${ VSub_Name env))}) (AndOr children: [ (DBracket expr: (WordTest w:{(DQ (${ VSub_Name __ERROR))}) ) (ControlFlow token: arg_word: {(1)} ) ] op_id: Op_DAmp ) (C {(ENV_SET)} {(DQ (${ VSub_Name env))} {(DQ (${ VSub_Name a1))} {(DQ (${ VSub_Name r))} ) (ControlFlow token: ) ] spids: [1014 1016 1073 -1] ) (case_arm pat_list: [{(let) (Lit_Other "*")}] action: [ (Sentence child: (C {(ENV)} {(DQ (${ VSub_Name env))}) terminator: ) (Assignment keyword: Assign_Local pairs: [ (assign_pair lhs: (LhsName name:let_env) op: Equal rhs: {(DQ (${ VSub_Name r))} spids: [1091] ) ] spids: [1089] ) (Assignment keyword: Assign_Local pairs: [ (assign_pair lhs: (LhsName name:let_pairs) op: Equal rhs: { (ArrayLiteralPart words: [ { (BracedVarSub token: bracket_op: (ArrayIndex expr: (ArithWord w:{(DQ (${ VSub_Name a1))}) ) spids: [1103 1112] ) } ] ) } spids: [1101] ) ] spids: [1099] ) (Assignment keyword: Assign_Local pairs: [ (assign_pair lhs: (LhsName name:idx) op: Equal rhs: {(0)} spids: [1118] ) ] spids: [1116] ) (While cond: [ (Sentence child: (DBracket expr: (WordTest w: { (DQ (BracedVarSub token: bracket_op: (ArrayIndex expr: (ArithWord w:{(DQ (${ VSub_Name idx))}) ) spids: [1131 1140] ) ) } ) ) terminator: ) ] body: (DoGroup children: [ (C {(EVAL)} { (DQ (BracedVarSub token: bracket_op: (ArrayIndex expr: (ArithWord w: { (ArithSubPart anode: (ArithBinary op_id: Arith_Plus left: (ArithVarRef name:idx) right: (ArithWord w:{(Lit_Digits 1)}) ) spids: [1155 1163] ) } ) ) spids: [1152 1165] ) ) } {(DQ (${ VSub_Name let_env))} ) (C {(ENV_SET)} {(DQ (${ VSub_Name let_env))} { (DQ (BracedVarSub token: bracket_op: (ArrayIndex expr: (ArithWord w:{(${ VSub_Name idx)}) ) spids: [1184 1191] ) ) } {(DQ (${ VSub_Name r))} ) (Assignment keyword: Assign_None pairs: [ (assign_pair lhs: (LhsName name:idx) op: Equal rhs: { (ArithSubPart anode: (ArithBinary op_id: Arith_Plus left: (ArithVarRef name:idx) right: (ArithWord w:{(Lit_Digits 2)}) ) spids: [1202 1210] ) } spids: [1201] ) ] spids: [1201] ) ] spids: [1146 1213] ) ) (Assignment keyword: Assign_None pairs: [ (assign_pair lhs: (LhsName name:ast) op: Equal rhs: {(DQ (${ VSub_Name a2))} spids: [1216] ) ] spids: [1216] ) (Assignment keyword: Assign_None pairs: [ (assign_pair lhs: (LhsName name:env) op: Equal rhs: {(DQ (${ VSub_Name let_env))} spids: [1224] ) ] spids: [1224] ) ] spids: [1076 1078 1236 -1] ) (case_arm pat_list: [{(quote)}] action: [ (Assignment keyword: Assign_None pairs: [ (assign_pair lhs: (LhsName name:r) op: Equal rhs: {(DQ (${ VSub_Name a1))} spids: [1243] ) ] spids: [1243] ) (ControlFlow token: ) ] spids: [1239 1240 1253 -1] ) (case_arm pat_list: [{(quasiquote)}] action: [ (C {(QUASIQUOTE)} {(DQ (${ VSub_Name a1))}) (Assignment keyword: Assign_None pairs: [ (assign_pair lhs: (LhsName name:ast) op: Equal rhs: {(DQ (${ VSub_Name r))} spids: [1269] ) ] spids: [1269] ) ] spids: [1256 1257 1281 -1] ) (case_arm pat_list: [{(KW_Do do)}] action: [ (C {(_count)} {(DQ (${ VSub_Name ast))}) (C {(_slice)} {(DQ (${ VSub_Name ast))} {(1)} { (ArithSubPart anode: (ArithBinary op_id: Arith_Minus left: (ArithWord w:{(${ VSub_Name r)}) right: (ArithWord w:{(Lit_Digits 2)}) ) spids: [1306 1317] ) } ) (C {(EVAL_AST)} {(DQ (${ VSub_Name r))} {(DQ (${ VSub_Name env))}) (AndOr children: [ (DBracket expr: (WordTest w:{(DQ (${ VSub_Name __ERROR))}) ) (AndOr children: [ (Assignment keyword: Assign_None pairs: [ (assign_pair lhs: (LhsName name:r) op: Equal rhs: {(SQ )} spids: [1347] ) ] spids: [1347] ) (ControlFlow token: arg_word: {(1)} ) ] op_id: Op_DAmp ) ] op_id: Op_DAmp ) (C {(_last)} {(DQ (${ VSub_Name ast))}) (Assignment keyword: Assign_None pairs: [ (assign_pair lhs: (LhsName name:ast) op: Equal rhs: {(DQ (${ VSub_Name r))} spids: [1365] ) ] spids: [1365] ) ] spids: [1284 1285 1377 -1] ) (case_arm pat_list: [{(KW_If if)}] action: [ (C {(EVAL)} {(DQ (${ VSub_Name a1))} {(DQ (${ VSub_Name env))}) (AndOr children: [ (DBracket expr: (WordTest w:{(DQ (${ VSub_Name __ERROR))}) ) (ControlFlow token: arg_word: {(1)} ) ] op_id: Op_DAmp ) (If arms: [ (if_arm cond: [ (Sentence child: (DBracket expr: (LogicalOr left: (BoolBinary op_id: BoolBinary_GlobDEqual left: {(DQ (${ VSub_Name r))} right: {(DQ (${ VSub_Name __false))} ) right: (BoolBinary op_id: BoolBinary_GlobDEqual left: {(DQ (${ VSub_Name r))} right: {(DQ (${ VSub_Name __nil))} ) ) ) terminator: ) ] action: [ (Sentence child: (C {(_nth)} {(DQ (${ VSub_Name ast))} {(3)}) terminator: ) (Assignment keyword: Assign_Local pairs: [ (assign_pair lhs: (LhsName name:a3) op: Equal rhs: {(DQ (${ VSub_Name r))} spids: [1472] ) ] spids: [1470] ) (If arms: [ (if_arm cond: [ (Sentence child: (DBracket expr: (WordTest w:{(DQ (${ VSub_Name a3))}) ) terminator: ) ] action: [ (Assignment keyword: Assign_None pairs: [ (assign_pair lhs: (LhsName name:ast) op: Equal rhs: {(DQ (${ VSub_Name a3))} spids: [1496] ) ] spids: [1496] ) ] spids: [-1 1493] ) ] else_action: [ (Assignment keyword: Assign_None pairs: [ (assign_pair lhs: (LhsName name:r) op: Equal rhs: {(DQ (${ VSub_Name __nil))} spids: [1507] ) ] spids: [1507] ) (ControlFlow token: ) ] spids: [1504 1518] ) ] spids: [-1 1452] ) ] else_action: [ (Assignment keyword: Assign_None pairs: [ (assign_pair lhs: (LhsName name:ast) op: Equal rhs: {(DQ (${ VSub_Name a2))} spids: [1528] ) ] spids: [1528] ) ] spids: [1521 1536] ) ] spids: [1380 1381 1543 -1] ) (case_arm pat_list: [{(fn) (Lit_Other "*")}] action: [ (C {(_function)} { (DQ ("ENV ") (EscapedLiteralPart token:) (${ VSub_Name env) (EscapedLiteralPart token:) (" ") (EscapedLiteralPart token: ) (${ VSub_Name a1) (EscapedLiteralPart token:) (" ") (EscapedLiteralPart token: ) (EscapedLiteralPart token:) ("{@}") (EscapedLiteralPart token: ) ("; ") (" EVAL ") (EscapedLiteralPart token:) (${ VSub_Name a2) (EscapedLiteralPart token:) (" ") (EscapedLiteralPart token: ) (EscapedLiteralPart token:) ("{r}") (EscapedLiteralPart token: ) ) } {(DQ (${ VSub_Name a2))} {(DQ (${ VSub_Name env))} {(DQ (${ VSub_Name a1))} ) (ControlFlow token: ) ] spids: [1546 1548 1608 -1] ) (case_arm pat_list: [{(Lit_Other "*")}] action: [ (C {(EVAL_AST)} {(DQ (${ VSub_Name ast))} {(DQ (${ VSub_Name env))}) (AndOr children: [ (DBracket expr: (WordTest w:{(DQ (${ VSub_Name __ERROR))}) ) (AndOr children: [ (Assignment keyword: Assign_None pairs: [ (assign_pair lhs: (LhsName name:r) op: Equal rhs: {(SQ )} spids: [1641] ) ] spids: [1641] ) (ControlFlow token: arg_word: {(1)} ) ] op_id: Op_DAmp ) ] op_id: Op_DAmp ) (Assignment keyword: Assign_Local pairs: [ (assign_pair lhs: (LhsName name:el) op: Equal rhs: {(DQ (${ VSub_Name r))} spids: [1652] ) ] spids: [1650] ) (Sentence child: (C {(_first)} {(DQ (${ VSub_Name el))}) terminator: ) (Assignment keyword: Assign_Local pairs: [ (assign_pair lhs: (LhsName name:f) op: Equal rhs: { (DQ (BracedVarSub token: bracket_op: (ArrayIndex expr: (ArithWord w:{(DQ (${ VSub_Name r))}) ) spids: [1673 1682] ) ) } spids: [1671] ) ] spids: [1669] ) (Sentence child: (C {(_rest)} {(DQ (${ VSub_Name el))}) terminator: ) (Assignment keyword: Assign_Local pairs: [ (assign_pair lhs: (LhsName name:args) op: Equal rhs: { (DQ (BracedVarSub token: bracket_op: (ArrayIndex expr: (ArithWord w:{(DQ (${ VSub_Name r))}) ) spids: [1699 1708] ) ) } spids: [1697] ) ] spids: [1695] ) (If arms: [ (if_arm cond: [ (Sentence child: (DBracket expr: (BoolBinary op_id: BoolBinary_GlobNEqual left: { (DQ (BracedVarSub token: suffix_op: (PatSub pat: {("@")} replace: {(" ")} do_all: True do_prefix: False do_suffix: False ) spids: [1721 1728] ) ) } right: {(DQ (${ VSub_Name f))} ) ) terminator: ) ] action: [ (C {(set)} {(--)} { (BracedVarSub token: suffix_op: (PatSub pat: {("@")} replace: {(" ")} do_all: True do_prefix: False do_suffix: False ) spids: [1749 1756] ) } ) (Assignment keyword: Assign_None pairs: [ (assign_pair lhs: (LhsName name:ast) op: Equal rhs: {(DQ (${ VSub_Number 2))} spids: [1759] ) ] spids: [1759] ) (C {(ENV)} {(DQ (${ VSub_Number 3))} {(DQ (${ VSub_Number 4))} {(${ VSub_Name args)} ) (Assignment keyword: Assign_None pairs: [ (assign_pair lhs: (LhsName name:env) op: Equal rhs: {(DQ (${ VSub_Name r))} spids: [1786] ) ] spids: [1786] ) ] spids: [-1 1742] ) ] else_action: [ (C {(eval)} { (BracedVarSub token: suffix_op: (StringUnary op_id:VOp1_DPercent arg_word:{("@*")}) spids: [1799 1803] ) } {(${ VSub_Name args)} ) (ControlFlow token: ) ] spids: [1794 1813] ) ] spids: [1611 1612 1820 -1] ) ] spids: [996 1011 1823] ) ] spids: [840 1826] ) ) ] spids: [815] ) spids: [810 814] ) (FuncDef name: PRINT body: (BraceGroup children: [ (If arms: [ (if_arm cond: [ (Sentence child: (DBracket expr:(WordTest w:{(DQ (${ VSub_Name __ERROR))})) terminator: ) ] action: [ (C {(_pr_str)} {(DQ (${ VSub_Name __ERROR))} {(yes)}) (Assignment keyword: Assign_None pairs: [ (assign_pair lhs: (LhsName name:r) op: Equal rhs: {(DQ ("Error: ") (${ VSub_Name r))} spids: [1869] ) ] spids: [1869] ) (Assignment keyword: Assign_None pairs: [ (assign_pair lhs: (LhsName name:__ERROR) op: Equal rhs: {(SQ )} spids: [1878] ) ] spids: [1878] ) ] spids: [-1 1855] ) ] else_action: [(C {(_pr_str)} {(DQ (${ VSub_Number 1))} {(yes)})] spids: [1881 1895] ) ] spids: [1839] ) spids: [1834 1838] ) (Sentence child:(C {(ENV)}) terminator:) (Assignment keyword: Assign_None pairs: [ (assign_pair lhs: (LhsName name:REPL_ENV) op: Equal rhs: {(DQ (${ VSub_Name r))} spids: [1906] ) ] spids: [1906] ) (FuncDef name: REP body: (BraceGroup children: [ (Assignment keyword: Assign_None pairs: [(assign_pair lhs:(LhsName name:r) op:Equal rhs:{(SQ )} spids:[1921])] spids: [1921] ) (C {(READ)} {(DQ (${ VSub_Number 1))}) (C {(EVAL)} {(DQ (${ VSub_Name r))} {(DQ (${ VSub_Name REPL_ENV))}) (C {(PRINT)} {(DQ (${ VSub_Name r))}) ] spids: [1918] ) spids: [1913 1917] ) (FuncDef name: _fref body: (BraceGroup children: [ (Sentence child: (C {(_symbol)} {(DQ (${ VSub_Number 1))}) terminator: ) (Assignment keyword: Assign_Local pairs: [ (assign_pair lhs: (LhsName name:sym) op: Equal rhs: {(DQ (${ VSub_Name r))} spids: [1981] ) ] spids: [1979] ) (C {(_function)} { (DQ (${ VSub_Number 2) (" ") (EscapedLiteralPart token:) (EscapedLiteralPart token:) ("{@}") (EscapedLiteralPart token:) ) } ) (C {(ENV_SET)} {(DQ (${ VSub_Name REPL_ENV))} {(DQ (${ VSub_Name sym))} {(DQ (${ VSub_Name r))} ) ] spids: [1967] ) spids: [1962 1966] ) (ForEach iter_name: n iter_words: [ { (DQ (BracedVarSub token: prefix_op: VSub_Bang bracket_op: (WholeArray op_id:Lit_At) spids: [2032 2038] ) ) } ] do_arg_iter: False body: (DoGroup children: [ (Sentence child: (C {(_fref)} {(DQ (${ VSub_Name n))} { (DQ (BracedVarSub token: bracket_op: (ArrayIndex expr:(ArithWord w:{(DQ (${ VSub_Name n))})) spids: [2053 2062] ) ) } ) terminator: ) ] spids: [2042 2066] ) spids: [2030 2040] ) (FuncDef name: _eval body: (BraceGroup children: [ (Sentence child: (C {(EVAL)} {(DQ (${ VSub_Number 1))} {(DQ (${ VSub_Name REPL_ENV))}) terminator: ) ] spids: [2073] ) spids: [2068 2072] ) (C {(_fref)} {(DQ (eval))} {(_eval)}) (Sentence child:(C {(_list)}) terminator:) (Assignment keyword: Assign_None pairs: [(assign_pair lhs:(LhsName name:argv) op:Equal rhs:{(DQ (${ VSub_Name r))} spids:[2103])] spids: [2103] ) (ForEach iter_name: _arg iter_words: [ { (DQ (BracedVarSub token: suffix_op: (Slice begin:(ArithWord w:{(Lit_Digits 2)})) spids: [2117 2121] ) ) } ] do_arg_iter: False body: (DoGroup children: [ (Sentence child: (C {(_string)} {(DQ (${ VSub_Name _arg))}) terminator: ) (Sentence child: (C {(_conj) (KW_Bang "!")} {(DQ (${ VSub_Name argv))} {(DQ (${ VSub_Name r))}) terminator: ) ] spids: [2125 2152] ) spids: [2115 2123] ) (C {(_symbol)} {(DQ (__STAR__ARGV__STAR__))}) (Sentence child: (C {(ENV_SET)} {(DQ (${ VSub_Name REPL_ENV))} {(DQ (${ VSub_Name r))} {(DQ (${ VSub_Name argv))}) terminator: ) (C {(REP)} {(DQ ("(def! not (fn* (a) (if a false true)))"))}) (C {(REP)} { (DQ ("(def! load-file (fn* (f) (eval (read-string (str ") (EscapedLiteralPart token:) ("(do ") (EscapedLiteralPart token:) (" (slurp f) ") (EscapedLiteralPart token:) (")") (EscapedLiteralPart token:) (")))))") ) } ) (If arms: [ (if_arm cond: [ (Sentence child: (DBracket expr:(WordTest w:{(DQ (${ VSub_Number 1))})) terminator: ) ] action: [ (C {(REP)} { (DQ ("(load-file ") (EscapedLiteralPart token:) (${ VSub_Number 1) (EscapedLiteralPart token:) (")") ) } ) (C {(exit)} {(0)}) ] spids: [-1 2222] ) ] spids: [-1 2242] ) (While cond: [(Sentence child:(C {(true)}) terminator:)] body: (DoGroup children: [ (AndOr children: [(C {(READLINE)} {(DQ ("user> "))}) (C {(exit)} {(DQ ($ VSub_QMark "$?"))})] op_id: Op_DPipe ) (AndOr children: [ (DBracket expr:(WordTest w:{(DQ (${ VSub_Name r))})) (AndOr children: [(C {(REP)} {(DQ (${ VSub_Name r))}) (C {(echo)} {(DQ (${ VSub_Name r))})] op_id: Op_DAmp ) ] op_id: Op_DAmp ) ] spids: [2254 2302] ) ) ] )