#!/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)
    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)
              }
              EVAL $(a2) $(let_env)
              return }
        do {   _rest $(ast)
              EVAL_AST $(r) $(env)
              [[ "${__ERROR}" ]] && global r := '' && return 1
              _last $(r)
              return }
        if {   EVAL $(a1) $(env)
              [[ "${__ERROR}" ]] && return 1
              if [[ "${r}" == "${__false}" || "${r}" == "${__nil}" ]] {
                  # eval false form
                  _nth $(ast) 3; var a3 = $(r)
                  if [[ "${a3}" ]] {
                      EVAL $(a3) $(env)
                  } else {
                      global r := $(__nil)
                  }
              } else {
                  # eval true condition
                  EVAL $(a2) $(env)
              }
              return }
        fn* {  _function "ENV \"$(env)\" \"$(a1)\" \"\${@}\"; \
                         EVAL \"$(a2)\" \"\${r}\""
              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}"
              eval $(f) $(args)
              return }
    }
}

# 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]
            )
            (Assignment
              keyword: Assign_None
              pairs: [(assign_pair lhs:(LhsName name:r) op:Equal rhs:{(SQ )} spids:[409])]
              spids: [409]
            )
            (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: [444]
                )
              ]
              spids: [442]
            )
            (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 471]
                )
              ]
              spids: [-1 492]
            )
            (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: [506]
                        )
                      ]
                      spids: [506]
                    )
                    (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: [536]
                )
              ]
              spids: [534]
            )
            (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: [557]
                )
              ]
              spids: [555]
            )
            (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: [578]
                )
              ]
              spids: [576]
            )
            (Case
              to_match: 
                {
                  (DQ 
                    (BracedVarSub
                      token: <VSub_Name ANON>
                      bracket_op: (ArrayIndex expr:(ArithWord w:{(DQ (${ VSub_Name a0))}))
                      spids: [589 598]
                    )
                  )
                }
              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: [604 606 663 -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: [681]
                        )
                      ]
                      spids: [679]
                    )
                    (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: [693 702]
                                    )
                                  }
                                ]
                              )
                            }
                          spids: [691]
                        )
                      ]
                      spids: [689]
                    )
                    (Assignment
                      keyword: Assign_Local
                      pairs: [(assign_pair lhs:(LhsName name:idx) op:Equal rhs:{(0)} spids:[708])]
                      spids: [706]
                    )
                    (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: [721 730]
                                        )
                                      )
                                    }
                                )
                            )
                          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: [745 753]
                                                )
                                              }
                                          )
                                      )
                                    spids: [742 755]
                                  )
                                )
                              } {(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: [774 781]
                                  )
                                )
                              } {(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: [792 800]
                                      )
                                    }
                                  spids: [791]
                                )
                              ]
                              spids: [791]
                            )
                          ]
                          spids: [736 803]
                        )
                    )
                    (C {(EVAL)} {(DQ (${ VSub_Name a2))} {(DQ (${ VSub_Name let_env))})
                    (ControlFlow token:<ControlFlow_Return return>)
                  ]
                  spids: [666 668 823 -1]
                )
                (case_arm
                  pat_list: [{(KW_Do do)}]
                  action: [
                    (C {(_rest)} {(DQ (${ VSub_Name ast))})
                    (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: [865]
                                )
                              ]
                              spids: [865]
                            )
                            (ControlFlow
                              token: <ControlFlow_Return return>
                              arg_word: {(1)}
                            )
                          ]
                          op_id: Op_DAmp
                        )
                      ]
                      op_id: Op_DAmp
                    )
                    (C {(_last)} {(DQ (${ VSub_Name r))})
                    (ControlFlow token:<ControlFlow_Return return>)
                  ]
                  spids: [826 827 885 -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: [980]
                                )
                              ]
                              spids: [978]
                            )
                            (If
                              arms: [
                                (if_arm
                                  cond: [
                                    (Sentence
                                      child: (DBracket expr:(WordTest w:{(DQ (${ VSub_Name a3))}))
                                      terminator: <Op_Semi ";">
                                    )
                                  ]
                                  action: [
                                    (C {(EVAL)} {(DQ (${ VSub_Name a3))} {(DQ (${ VSub_Name env))})
                                  ]
                                  spids: [-1 1001]
                                )
                              ]
                              else_action: [
                                (Assignment
                                  keyword: Assign_None
                                  pairs: [
                                    (assign_pair
                                      lhs: (LhsName name:r)
                                      op: Equal
                                      rhs: {(DQ (${ VSub_Name __nil))}
                                      spids: [1022]
                                    )
                                  ]
                                  spids: [1022]
                                )
                              ]
                              spids: [1019 1030]
                            )
                          ]
                          spids: [-1 960]
                        )
                      ]
                      else_action: [(C {(EVAL)} {(DQ (${ VSub_Name a2))} {(DQ (${ VSub_Name env))})]
                      spids: [1033 1055]
                    )
                    (ControlFlow token:<ControlFlow_Return return>)
                  ]
                  spids: [888 889 1060 -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 "\\\"">
                          )
                        )
                      }
                    )
                    (ControlFlow token:<ControlFlow_Return return>)
                  ]
                  spids: [1063 1065 1105 -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: [1138]
                                )
                              ]
                              spids: [1138]
                            )
                            (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: [1149]
                        )
                      ]
                      spids: [1147]
                    )
                    (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: [1170 1179]
                                )
                              )
                            }
                          spids: [1168]
                        )
                      ]
                      spids: [1166]
                    )
                    (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: [1196 1205]
                                )
                              )
                            }
                          spids: [1194]
                        )
                      ]
                      spids: [1192]
                    )
                    (C {(eval)} {(${ VSub_Name f)} {(${ VSub_Name args)})
                    (ControlFlow token:<ControlFlow_Return return>)
                  ]
                  spids: [1108 1109 1226 -1]
                )
              ]
              spids: [586 601 1229]
            )
          ]
          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: [1272]
                        )
                      ]
                      spids: [1272]
                    )
                    (Assignment
                      keyword: Assign_None
                      pairs: [
                        (assign_pair
                          lhs: (LhsName name:__ERROR)
                          op: Equal
                          rhs: {(SQ )}
                          spids: [1281]
                        )
                      ]
                      spids: [1281]
                    )
                  ]
                  spids: [-1 1258]
                )
              ]
              else_action: [(C {(_pr_str)} {(DQ (${ VSub_Number 1))} {(yes)})]
              spids: [1284 1298]
            )
          ]
          spids: [1242]
        )
      spids: [1237 1241]
    )
    (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: [1309]
        )
      ]
      spids: [1309]
    )
    (FuncDef
      name: REP
      body: 
        (BraceGroup
          children: [
            (Assignment
              keyword: Assign_None
              pairs: [(assign_pair lhs:(LhsName name:r) op:Equal rhs:{(SQ )} spids:[1324])]
              spids: [1324]
            )
            (C {(READ)} {(DQ (${ VSub_Number 1))})
            (C {(EVAL)} {(DQ (${ VSub_Name r))} {(DQ (${ VSub_Name REPL_ENV))})
            (C {(PRINT)} {(DQ (${ VSub_Name r))})
          ]
          spids: [1321]
        )
      spids: [1316 1320]
    )
    (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: [1384]
                )
              ]
              spids: [1382]
            )
            (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: [1370]
        )
      spids: [1365 1369]
    )
    (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: [1435 1441]
            )
          )
        }
      ]
      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: [1456 1465]
                      )
                    )
                  }
                )
              terminator: <Op_Semi ";">
            )
          ]
          spids: [1445 1469]
        )
      spids: [1433 1443]
    )
    (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: [1490 1538]
        )
    )
  ]
)