#!/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 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}'"
    _obj_type $(ast); var ot = $(r)
    if [[ "${ot}" != "list" ]] {
        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
              }
        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}"]); }

# core.mal: defined using the language itself
REP "(def! not (fn* (a) (if a false true)))"

# 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: <Left_CommandSub "$(">
          spids: [6 10]
        ) (/reader.sh)
      }
    )
    (C {(source)} 
      {
        (CommandSubPart
          command_list: (CommandList children:[(C {(dirname)} {($ VSub_Number "$0")})])
          left_token: <Left_CommandSub "$(">
          spids: [15 19]
        ) (/printer.sh)
      }
    )
    (C {(source)} 
      {
        (CommandSubPart
          command_list: (CommandList children:[(C {(dirname)} {($ VSub_Number "$0")})])
          left_token: <Left_CommandSub "$(">
          spids: [24 28]
        ) (/env.sh)
      }
    )
    (C {(source)} 
      {
        (CommandSubPart
          command_list: (CommandList children:[(C {(dirname)} {($ VSub_Number "$0")})])
          left_token: <Left_CommandSub "$(">
          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: EVAL_AST
      body: 
        (BraceGroup
          children: [
            (Assignment
              keyword: Assign_Local
              pairs: [
                (assign_pair
                  lhs: (LhsName name:ast)
                  op: Equal
                  rhs: {(DQ (${ VSub_Number 1))}
                  spids: [100]
                )
                (assign_pair
                  lhs: (LhsName name:env)
                  op: Equal
                  rhs: {(DQ (${ VSub_Number 2))}
                  spids: [107]
                )
              ]
              spids: [98]
            )
            (Sentence
              child: (C {(_obj_type)} {(DQ (${ VSub_Name ast))})
              terminator: <Op_Semi ";">
            )
            (Assignment
              keyword: Assign_Local
              pairs: [
                (assign_pair
                  lhs: (LhsName name:ot)
                  op: Equal
                  rhs: {(DQ (${ VSub_Name r))}
                  spids: [130]
                )
              ]
              spids: [128]
            )
            (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:<ControlFlow_Return return>)
                  ]
                  spids: [149 150 170 -1]
                )
                (case_arm
                  pat_list: [{(list)}]
                  action: [
                    (C {(_map_with_type)} {(_list)} {(EVAL)} {(DQ (${ VSub_Name ast))} 
                      {(DQ (${ VSub_Name env))}
                    )
                  ]
                  spids: [173 174 195 -1]
                )
                (case_arm
                  pat_list: [{(vector)}]
                  action: [
                    (C {(_map_with_type)} {(_vector)} {(EVAL)} {(DQ (${ VSub_Name ast))} 
                      {(DQ (${ VSub_Name env))}
                    )
                  ]
                  spids: [198 199 220 -1]
                )
                (case_arm
                  pat_list: [{(hash_map)}]
                  action: [
                    (Assignment
                      keyword: Assign_Local
                      pairs: [
                        (assign_pair
                          lhs: (LhsName name:res)
                          op: Equal
                          rhs: {(DQ )}
                          spids: [229]
                        )
                        (assign_pair
                          lhs: (LhsName name:key)
                          op: Equal
                          rhs: {(SQ )}
                          spids: [233]
                        )
                        (assign_pair
                          lhs: (LhsName name:val)
                          op: Equal
                          rhs: {(DQ )}
                          spids: [235]
                        )
                        (assign_pair
                          lhs: (LhsName name:hm)
                          op: Equal
                          rhs: 
                            {
                              (DQ 
                                (BracedVarSub
                                  token: <VSub_Name ANON>
                                  bracket_op: (ArrayIndex expr:(ArithWord w:{(DQ (${ VSub_Name ast))}))
                                  spids: [241 250]
                                )
                              )
                            }
                          spids: [239]
                        )
                      ]
                      spids: [227]
                    )
                    (Sentence child:(C {(_hash_map)}) terminator:<Op_Semi ";">)
                    (Assignment
                      keyword: Assign_Local
                      pairs: [
                        (assign_pair
                          lhs: (LhsName name:new_hm)
                          op: Equal
                          rhs: {(DQ (${ VSub_Name r))}
                          spids: [259]
                        )
                      ]
                      spids: [257]
                    )
                    (C {(eval)} {(Assign_Local local)} 
                      {(Lit_VarLike "keys=") 
                        (DQ (EscapedLiteralPart token:<Lit_EscapedChar "\\$">) ("{!") (${ 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:<Lit_EscapedChar "\\$">) ("{") 
                                  (${ VSub_Name hm) ("[") (EscapedLiteralPart token:<Lit_EscapedChar "\\\"">) (${ VSub_Name key) 
                                  (EscapedLiteralPart
                                    token: <Lit_EscapedChar "\\\"">
                                  ) ("]}")
                                )
                              }
                            )
                            (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: [293 352]
                        )
                      spids: [287 291]
                    )
                    (Assignment
                      keyword: Assign_None
                      pairs: [
                        (assign_pair
                          lhs: (LhsName name:r)
                          op: Equal
                          rhs: {(DQ (${ VSub_Name new_hm))}
                          spids: [355]
                        )
                      ]
                      spids: [355]
                    )
                  ]
                  spids: [223 224 362 -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: [369]
                        )
                      ]
                      spids: [369]
                    )
                  ]
                  spids: [365 366 376 -1]
                )
              ]
              spids: [138 146 379]
            )
          ]
          spids: [95]
        )
      spids: [90 94]
    )
    (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: [394]
                )
                (assign_pair
                  lhs: (LhsName name:env)
                  op: Equal
                  rhs: {(DQ (${ VSub_Number 2))}
                  spids: [401]
                )
              ]
              spids: [392]
            )
            (While
              cond: [(Sentence child:(C {(true)}) terminator:<Op_Semi ";">)]
              body: 
                (DoGroup
                  children: [
                    (Assignment
                      keyword: Assign_None
                      pairs: [(assign_pair lhs:(LhsName name:r) op:Equal rhs:{(SQ )} spids:[417])]
                      spids: [417]
                    )
                    (AndOr
                      children: [
                        (DBracket
                          expr: (WordTest w:{(DQ (${ VSub_Name __ERROR))})
                        )
                        (ControlFlow
                          token: <ControlFlow_Return return>
                          arg_word: {(1)}
                        )
                      ]
                      op_id: Op_DAmp
                    )
                    (Sentence
                      child: (C {(_obj_type)} {(DQ (${ VSub_Name ast))})
                      terminator: <Op_Semi ";">
                    )
                    (Assignment
                      keyword: Assign_Local
                      pairs: [
                        (assign_pair
                          lhs: (LhsName name:ot)
                          op: Equal
                          rhs: {(DQ (${ VSub_Name r))}
                          spids: [452]
                        )
                      ]
                      spids: [450]
                    )
                    (If
                      arms: [
                        (if_arm
                          cond: [
                            (Sentence
                              child: 
                                (DBracket
                                  expr: 
                                    (BoolBinary
                                      op_id: BoolBinary_GlobNEqual
                                      left: {(DQ (${ VSub_Name ot))}
                                      right: {(DQ (list))}
                                    )
                                )
                              terminator: <Op_Semi ";">
                            )
                          ]
                          action: [
                            (C {(EVAL_AST)} {(DQ (${ VSub_Name ast))} {(DQ (${ VSub_Name env))})
                            (ControlFlow
                              token: <ControlFlow_Return return>
                            )
                          ]
                          spids: [-1 479]
                        )
                      ]
                      spids: [-1 500]
                    )
                    (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: [514]
                                )
                              ]
                              spids: [514]
                            )
                            (ControlFlow
                              token: <ControlFlow_Return return>
                            )
                          ]
                          op_id: Op_DAmp
                        )
                      ]
                      op_id: Op_DAmp
                    )
                    (Sentence
                      child: (C {(_nth)} {(DQ (${ VSub_Name ast))} {(0)})
                      terminator: <Op_Semi ";">
                    )
                    (Assignment
                      keyword: Assign_Local
                      pairs: [
                        (assign_pair
                          lhs: (LhsName name:a0)
                          op: Equal
                          rhs: {(DQ (${ VSub_Name r))}
                          spids: [544]
                        )
                      ]
                      spids: [542]
                    )
                    (Sentence
                      child: (C {(_nth)} {(DQ (${ VSub_Name ast))} {(1)})
                      terminator: <Op_Semi ";">
                    )
                    (Assignment
                      keyword: Assign_Local
                      pairs: [
                        (assign_pair
                          lhs: (LhsName name:a1)
                          op: Equal
                          rhs: {(DQ (${ VSub_Name r))}
                          spids: [565]
                        )
                      ]
                      spids: [563]
                    )
                    (Sentence
                      child: (C {(_nth)} {(DQ (${ VSub_Name ast))} {(2)})
                      terminator: <Op_Semi ";">
                    )
                    (Assignment
                      keyword: Assign_Local
                      pairs: [
                        (assign_pair
                          lhs: (LhsName name:a2)
                          op: Equal
                          rhs: {(DQ (${ VSub_Name r))}
                          spids: [586]
                        )
                      ]
                      spids: [584]
                    )
                    (Case
                      to_match: 
                        {
                          (DQ 
                            (BracedVarSub
                              token: <VSub_Name ANON>
                              bracket_op: (ArrayIndex expr:(ArithWord w:{(DQ (${ VSub_Name a0))}))
                              spids: [597 606]
                            )
                          )
                        }
                      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: <ControlFlow_Return return>
                                  arg_word: {(1)}
                                )
                              ]
                              op_id: Op_DAmp
                            )
                            (C {(ENV_SET)} {(DQ (${ VSub_Name env))} {(DQ (${ VSub_Name a1))} 
                              {(DQ (${ VSub_Name r))}
                            )
                            (ControlFlow
                              token: <ControlFlow_Return return>
                            )
                          ]
                          spids: [612 614 671 -1]
                        )
                        (case_arm
                          pat_list: [{(let) (Lit_Other "*")}]
                          action: [
                            (Sentence
                              child: (C {(ENV)} {(DQ (${ VSub_Name env))})
                              terminator: <Op_Semi ";">
                            )
                            (Assignment
                              keyword: Assign_Local
                              pairs: [
                                (assign_pair
                                  lhs: (LhsName name:let_env)
                                  op: Equal
                                  rhs: {(DQ (${ VSub_Name r))}
                                  spids: [689]
                                )
                              ]
                              spids: [687]
                            )
                            (Assignment
                              keyword: Assign_Local
                              pairs: [
                                (assign_pair
                                  lhs: (LhsName name:let_pairs)
                                  op: Equal
                                  rhs: 
                                    {
                                      (ArrayLiteralPart
                                        words: [
                                          {
                                            (BracedVarSub
                                              token: <VSub_Name ANON>
                                              bracket_op: 
                                                (ArrayIndex
                                                  expr: (ArithWord w:{(DQ (${ VSub_Name a1))})
                                                )
                                              spids: [701 710]
                                            )
                                          }
                                        ]
                                      )
                                    }
                                  spids: [699]
                                )
                              ]
                              spids: [697]
                            )
                            (Assignment
                              keyword: Assign_Local
                              pairs: [
                                (assign_pair
                                  lhs: (LhsName name:idx)
                                  op: Equal
                                  rhs: {(0)}
                                  spids: [716]
                                )
                              ]
                              spids: [714]
                            )
                            (While
                              cond: [
                                (Sentence
                                  child: 
                                    (DBracket
                                      expr: 
                                        (WordTest
                                          w: 
                                            {
                                              (DQ 
                                                (BracedVarSub
                                                  token: <VSub_Name let_pairs>
                                                  bracket_op: 
                                                    (ArrayIndex
                                                      expr: (ArithWord w:{(DQ (${ VSub_Name idx))})
                                                    )
                                                  spids: [729 738]
                                                )
                                              )
                                            }
                                        )
                                    )
                                  terminator: <Op_Semi ";">
                                )
                              ]
                              body: 
                                (DoGroup
                                  children: [
                                    (C {(EVAL)} 
                                      {
                                        (DQ 
                                          (BracedVarSub
                                            token: <VSub_Name let_pairs>
                                            bracket_op: 
                                              (ArrayIndex
                                                expr: 
                                                  (ArithWord
                                                    w: 
                                                      {
                                                        (ArithSubPart
                                                          anode: 
                                                            (ArithBinary
                                                              op_id: Arith_Plus
                                                              left: (ArithVarRef name:idx)
                                                              right: (ArithWord w:{(Lit_Digits 1)})
                                                            )
                                                          spids: [753 761]
                                                        )
                                                      }
                                                  )
                                              )
                                            spids: [750 763]
                                          )
                                        )
                                      } {(DQ (${ VSub_Name let_env))}
                                    )
                                    (C {(ENV_SET)} {(DQ (${ VSub_Name let_env))} 
                                      {
                                        (DQ 
                                          (BracedVarSub
                                            token: <VSub_Name let_pairs>
                                            bracket_op: 
                                              (ArrayIndex
                                                expr: (ArithWord w:{(${ VSub_Name idx)})
                                              )
                                            spids: [782 789]
                                          )
                                        )
                                      } {(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: [800 808]
                                              )
                                            }
                                          spids: [799]
                                        )
                                      ]
                                      spids: [799]
                                    )
                                  ]
                                  spids: [744 811]
                                )
                            )
                            (Assignment
                              keyword: Assign_None
                              pairs: [
                                (assign_pair
                                  lhs: (LhsName name:ast)
                                  op: Equal
                                  rhs: {(DQ (${ VSub_Name a2))}
                                  spids: [814]
                                )
                              ]
                              spids: [814]
                            )
                            (Assignment
                              keyword: Assign_None
                              pairs: [
                                (assign_pair
                                  lhs: (LhsName name:env)
                                  op: Equal
                                  rhs: {(DQ (${ VSub_Name let_env))}
                                  spids: [822]
                                )
                              ]
                              spids: [822]
                            )
                          ]
                          spids: [674 676 834 -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: [859 870]
                                )
                              }
                            )
                            (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: [900]
                                        )
                                      ]
                                      spids: [900]
                                    )
                                    (ControlFlow
                                      token: <ControlFlow_Return return>
                                      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: [918]
                                )
                              ]
                              spids: [918]
                            )
                          ]
                          spids: [837 838 930 -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: <ControlFlow_Return return>
                                  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: <Op_Semi ";">
                                    )
                                  ]
                                  action: [
                                    (Sentence
                                      child: (C {(_nth)} {(DQ (${ VSub_Name ast))} {(3)})
                                      terminator: <Op_Semi ";">
                                    )
                                    (Assignment
                                      keyword: Assign_Local
                                      pairs: [
                                        (assign_pair
                                          lhs: (LhsName name:a3)
                                          op: Equal
                                          rhs: {(DQ (${ VSub_Name r))}
                                          spids: [1025]
                                        )
                                      ]
                                      spids: [1023]
                                    )
                                    (If
                                      arms: [
                                        (if_arm
                                          cond: [
                                            (Sentence
                                              child: 
                                                (DBracket
                                                  expr: (WordTest w:{(DQ (${ VSub_Name a3))})
                                                )
                                              terminator: <Op_Semi ";">
                                            )
                                          ]
                                          action: [
                                            (Assignment
                                              keyword: Assign_None
                                              pairs: [
                                                (assign_pair
                                                  lhs: (LhsName name:ast)
                                                  op: Equal
                                                  rhs: {(DQ (${ VSub_Name a3))}
                                                  spids: [1049]
                                                )
                                              ]
                                              spids: [1049]
                                            )
                                          ]
                                          spids: [-1 1046]
                                        )
                                      ]
                                      else_action: [
                                        (Assignment
                                          keyword: Assign_None
                                          pairs: [
                                            (assign_pair
                                              lhs: (LhsName name:r)
                                              op: Equal
                                              rhs: {(DQ (${ VSub_Name __nil))}
                                              spids: [1060]
                                            )
                                          ]
                                          spids: [1060]
                                        )
                                        (ControlFlow
                                          token: <ControlFlow_Return return>
                                        )
                                      ]
                                      spids: [1057 1071]
                                    )
                                  ]
                                  spids: [-1 1005]
                                )
                              ]
                              else_action: [
                                (Assignment
                                  keyword: Assign_None
                                  pairs: [
                                    (assign_pair
                                      lhs: (LhsName name:ast)
                                      op: Equal
                                      rhs: {(DQ (${ VSub_Name a2))}
                                      spids: [1081]
                                    )
                                  ]
                                  spids: [1081]
                                )
                              ]
                              spids: [1074 1089]
                            )
                          ]
                          spids: [933 934 1096 -1]
                        )
                        (case_arm
                          pat_list: [{(fn) (Lit_Other "*")}]
                          action: [
                            (C {(_function)} 
                              {
                                (DQ ("ENV ") (EscapedLiteralPart token:<Lit_EscapedChar "\\\"">) 
                                  (${ VSub_Name env) (EscapedLiteralPart token:<Lit_EscapedChar "\\\"">) (" ") 
                                  (EscapedLiteralPart
                                    token: <Lit_EscapedChar "\\\"">
                                  ) (${ VSub_Name a1) (EscapedLiteralPart token:<Lit_EscapedChar "\\\"">) (" ") 
                                  (EscapedLiteralPart
                                    token: <Lit_EscapedChar "\\\"">
                                  ) (EscapedLiteralPart token:<Lit_EscapedChar "\\$">) ("{@}") 
                                  (EscapedLiteralPart
                                    token: <Lit_EscapedChar "\\\"">
                                  ) ("; ") ("                         EVAL ") (EscapedLiteralPart token:<Lit_EscapedChar "\\\"">) 
                                  (${ VSub_Name a2) (EscapedLiteralPart token:<Lit_EscapedChar "\\\"">) (" ") 
                                  (EscapedLiteralPart
                                    token: <Lit_EscapedChar "\\\"">
                                  ) (EscapedLiteralPart token:<Lit_EscapedChar "\\$">) ("{r}") 
                                  (EscapedLiteralPart
                                    token: <Lit_EscapedChar "\\\"">
                                  )
                                )
                              } {(DQ (${ VSub_Name a2))} {(DQ (${ VSub_Name env))} {(DQ (${ VSub_Name a1))}
                            )
                            (ControlFlow
                              token: <ControlFlow_Return return>
                            )
                          ]
                          spids: [1099 1101 1161 -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: [1194]
                                        )
                                      ]
                                      spids: [1194]
                                    )
                                    (ControlFlow
                                      token: <ControlFlow_Return return>
                                      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: [1205]
                                )
                              ]
                              spids: [1203]
                            )
                            (Sentence
                              child: (C {(_first)} {(DQ (${ VSub_Name el))})
                              terminator: <Op_Semi ";">
                            )
                            (Assignment
                              keyword: Assign_Local
                              pairs: [
                                (assign_pair
                                  lhs: (LhsName name:f)
                                  op: Equal
                                  rhs: 
                                    {
                                      (DQ 
                                        (BracedVarSub
                                          token: <VSub_Name ANON>
                                          bracket_op: 
                                            (ArrayIndex
                                              expr: (ArithWord w:{(DQ (${ VSub_Name r))})
                                            )
                                          spids: [1226 1235]
                                        )
                                      )
                                    }
                                  spids: [1224]
                                )
                              ]
                              spids: [1222]
                            )
                            (Sentence
                              child: (C {(_rest)} {(DQ (${ VSub_Name el))})
                              terminator: <Op_Semi ";">
                            )
                            (Assignment
                              keyword: Assign_Local
                              pairs: [
                                (assign_pair
                                  lhs: (LhsName name:args)
                                  op: Equal
                                  rhs: 
                                    {
                                      (DQ 
                                        (BracedVarSub
                                          token: <VSub_Name ANON>
                                          bracket_op: 
                                            (ArrayIndex
                                              expr: (ArithWord w:{(DQ (${ VSub_Name r))})
                                            )
                                          spids: [1252 1261]
                                        )
                                      )
                                    }
                                  spids: [1250]
                                )
                              ]
                              spids: [1248]
                            )
                            (If
                              arms: [
                                (if_arm
                                  cond: [
                                    (Sentence
                                      child: 
                                        (DBracket
                                          expr: 
                                            (BoolBinary
                                              op_id: BoolBinary_GlobNEqual
                                              left: 
                                                {
                                                  (DQ 
                                                    (BracedVarSub
                                                      token: <VSub_Name f>
                                                      suffix_op: 
                                                        (PatSub
                                                          pat: {("@")}
                                                          replace: {(" ")}
                                                          do_all: True
                                                          do_prefix: False
                                                          do_suffix: False
                                                        )
                                                      spids: [1274 1281]
                                                    )
                                                  )
                                                }
                                              right: {(DQ (${ VSub_Name f))}
                                            )
                                        )
                                      terminator: <Op_Semi ";">
                                    )
                                  ]
                                  action: [
                                    (C {(set)} {(--)} 
                                      {
                                        (BracedVarSub
                                          token: <VSub_Name f>
                                          suffix_op: 
                                            (PatSub
                                              pat: {("@")}
                                              replace: {(" ")}
                                              do_all: True
                                              do_prefix: False
                                              do_suffix: False
                                            )
                                          spids: [1302 1309]
                                        )
                                      }
                                    )
                                    (Assignment
                                      keyword: Assign_None
                                      pairs: [
                                        (assign_pair
                                          lhs: (LhsName name:ast)
                                          op: Equal
                                          rhs: {(DQ (${ VSub_Number 2))}
                                          spids: [1312]
                                        )
                                      ]
                                      spids: [1312]
                                    )
                                    (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: [1339]
                                        )
                                      ]
                                      spids: [1339]
                                    )
                                  ]
                                  spids: [-1 1295]
                                )
                              ]
                              else_action: [
                                (C {(eval)} 
                                  {
                                    (BracedVarSub
                                      token: <VSub_Name f>
                                      suffix_op: (StringUnary op_id:VOp1_DPercent arg_word:{("@*")})
                                      spids: [1352 1356]
                                    )
                                  } {(${ VSub_Name args)}
                                )
                                (ControlFlow
                                  token: <ControlFlow_Return return>
                                )
                              ]
                              spids: [1347 1366]
                            )
                          ]
                          spids: [1164 1165 1373 -1]
                        )
                      ]
                      spids: [594 609 1376]
                    )
                  ]
                  spids: [414 1379]
                )
            )
          ]
          spids: [389]
        )
      spids: [384 388]
    )
    (FuncDef
      name: PRINT
      body: 
        (BraceGroup
          children: [
            (If
              arms: [
                (if_arm
                  cond: [
                    (Sentence
                      child: (DBracket expr:(WordTest w:{(DQ (${ VSub_Name __ERROR))}))
                      terminator: <Op_Semi ";">
                    )
                  ]
                  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: [1422]
                        )
                      ]
                      spids: [1422]
                    )
                    (Assignment
                      keyword: Assign_None
                      pairs: [
                        (assign_pair
                          lhs: (LhsName name:__ERROR)
                          op: Equal
                          rhs: {(SQ )}
                          spids: [1431]
                        )
                      ]
                      spids: [1431]
                    )
                  ]
                  spids: [-1 1408]
                )
              ]
              else_action: [(C {(_pr_str)} {(DQ (${ VSub_Number 1))} {(yes)})]
              spids: [1434 1448]
            )
          ]
          spids: [1392]
        )
      spids: [1387 1391]
    )
    (Sentence child:(C {(ENV)}) terminator:<Op_Semi ";">)
    (Assignment
      keyword: Assign_None
      pairs: [
        (assign_pair
          lhs: (LhsName name:REPL_ENV)
          op: Equal
          rhs: {(DQ (${ VSub_Name r))}
          spids: [1459]
        )
      ]
      spids: [1459]
    )
    (FuncDef
      name: REP
      body: 
        (BraceGroup
          children: [
            (Assignment
              keyword: Assign_None
              pairs: [(assign_pair lhs:(LhsName name:r) op:Equal rhs:{(SQ )} spids:[1474])]
              spids: [1474]
            )
            (C {(READ)} {(DQ (${ VSub_Number 1))})
            (C {(EVAL)} {(DQ (${ VSub_Name r))} {(DQ (${ VSub_Name REPL_ENV))})
            (C {(PRINT)} {(DQ (${ VSub_Name r))})
          ]
          spids: [1471]
        )
      spids: [1466 1470]
    )
    (FuncDef
      name: _fref
      body: 
        (BraceGroup
          children: [
            (Sentence
              child: (C {(_symbol)} {(DQ (${ VSub_Number 1))})
              terminator: <Op_Semi ";">
            )
            (Assignment
              keyword: Assign_Local
              pairs: [
                (assign_pair
                  lhs: (LhsName name:sym)
                  op: Equal
                  rhs: {(DQ (${ VSub_Name r))}
                  spids: [1534]
                )
              ]
              spids: [1532]
            )
            (C {(_function)} 
              {
                (DQ (${ VSub_Number 2) (" ") (EscapedLiteralPart token:<Lit_EscapedChar "\\\"">) 
                  (EscapedLiteralPart token:<Lit_EscapedChar "\\$">) ("{@}") (EscapedLiteralPart token:<Lit_EscapedChar "\\\"">)
                )
              }
            )
            (C {(ENV_SET)} {(DQ (${ VSub_Name REPL_ENV))} {(DQ (${ VSub_Name sym))} 
              {(DQ (${ VSub_Name r))}
            )
          ]
          spids: [1520]
        )
      spids: [1515 1519]
    )
    (ForEach
      iter_name: n
      iter_words: [
        {
          (DQ 
            (BracedVarSub
              token: <VSub_Name core_ns>
              prefix_op: VSub_Bang
              bracket_op: (WholeArray op_id:Lit_At)
              spids: [1585 1591]
            )
          )
        }
      ]
      do_arg_iter: False
      body: 
        (DoGroup
          children: [
            (Sentence
              child: 
                (C {(_fref)} {(DQ (${ VSub_Name n))} 
                  {
                    (DQ 
                      (BracedVarSub
                        token: <VSub_Name core_ns>
                        bracket_op: (ArrayIndex expr:(ArithWord w:{(DQ (${ VSub_Name n))}))
                        spids: [1606 1615]
                      )
                    )
                  }
                )
              terminator: <Op_Semi ";">
            )
          ]
          spids: [1595 1619]
        )
      spids: [1583 1593]
    )
    (C {(REP)} {(DQ ("(def! not (fn* (a) (if a false true)))"))})
    (While
      cond: [(Sentence child:(C {(true)}) terminator:<Op_Semi ";">)]
      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: [1640 1688]
        )
    )
  ]
)