Travis: split build and test into separate scripts.
[jackhill/mal.git] / bash / step6_file.sh
CommitLineData
7838e339 1#!/usr/bin/env bash
31690700 2
31690700 3source $(dirname $0)/reader.sh
ea81a808 4source $(dirname $0)/printer.sh
ea81a808 5source $(dirname $0)/env.sh
8cb5cda4 6source $(dirname $0)/core.sh
31690700 7
86b689f3 8# read
31690700 9READ () {
8cb5cda4 10 [ "${1}" ] && r="${1}" || READLINE
31690700
JM
11 READ_STR "${r}"
12}
13
86b689f3 14# eval
31690700
JM
15EVAL_AST () {
16 local ast="${1}" env="${2}"
17 #_pr_str "${ast}"; echo "EVAL_AST '${ast}:${r} / ${env}'"
18 _obj_type "${ast}"; local ot="${r}"
19 case "${ot}" in
20 symbol)
b8ee29b2 21 ENV_GET "${env}" "${ast}"
31690700
JM
22 return ;;
23 list)
ea81a808 24 _map_with_type _list EVAL "${ast}" "${env}" ;;
31690700 25 vector)
ea81a808 26 _map_with_type _vector EVAL "${ast}" "${env}" ;;
31690700
JM
27 hash_map)
28 local res="" val="" hm="${ANON["${ast}"]}"
ea81a808 29 _hash_map; local new_hm="${r}"
31690700
JM
30 eval local keys="\${!${hm}[@]}"
31 for key in ${keys}; do
32 eval val="\${${hm}[\"${key}\"]}"
33 EVAL "${val}" "${env}"
ea81a808 34 _assoc! "${new_hm}" "${key}" "${r}"
31690700
JM
35 done
36 r="${new_hm}" ;;
37 *)
38 r="${ast}" ;;
39 esac
40}
41
31690700
JM
42EVAL () {
43 local ast="${1}" env="${2}"
44 while true; do
45 r=
46 [[ "${__ERROR}" ]] && return 1
47 #_pr_str "${ast}"; echo "EVAL '${r} / ${env}'"
48 _obj_type "${ast}"; local ot="${r}"
49 if [[ "${ot}" != "list" ]]; then
50 EVAL_AST "${ast}" "${env}"
51 return
52 fi
53
54 # apply list
55 _nth "${ast}" 0; local a0="${r}"
56 _nth "${ast}" 1; local a1="${r}"
57 _nth "${ast}" 2; local a2="${r}"
58 case "${ANON["${a0}"]}" in
b8ee29b2
JM
59 def!) EVAL "${a2}" "${env}"
60 [[ "${__ERROR}" ]] && return 1
61 ENV_SET "${env}" "${a1}" "${r}"
31690700
JM
62 return ;;
63 let*) ENV "${env}"; local let_env="${r}"
64 local let_pairs=(${ANON["${a1}"]})
65 local idx=0
66 #echo "let: [${let_pairs[*]}] for ${a2}"
67 while [[ "${let_pairs["${idx}"]}" ]]; do
68 EVAL "${let_pairs[$(( idx + 1))]}" "${let_env}"
b8ee29b2 69 ENV_SET "${let_env}" "${let_pairs[${idx}]}" "${r}"
31690700
JM
70 idx=$(( idx + 2))
71 done
6301e0b6
JM
72 ast="${a2}"
73 env="${let_env}"
74 # Continue loop
75 ;;
31690700
JM
76 do) _count "${ast}"
77 _slice "${ast}" 1 $(( ${r} - 2 ))
78 EVAL_AST "${r}" "${env}"
79 [[ "${__ERROR}" ]] && r= && return 1
8cb5cda4 80 _last "${ast}"
31690700
JM
81 ast="${r}"
82 # Continue loop
83 ;;
84 if) EVAL "${a1}" "${env}"
b8ee29b2 85 [[ "${__ERROR}" ]] && return 1
31690700
JM
86 if [[ "${r}" == "${__false}" || "${r}" == "${__nil}" ]]; then
87 # eval false form
88 _nth "${ast}" 3; local a3="${r}"
89 if [[ "${a3}" ]]; then
90 ast="${a3}"
91 else
92 r="${__nil}"
93 return
94 fi
95 else
96 # eval true condition
97 ast="${a2}"
98 fi
99 # Continue loop
100 ;;
ea81a808
JM
101 fn*) _function "ENV \"${env}\" \"${a1}\" \"\${@}\"; \
102 EVAL \"${a2}\" \"\${r}\"" \
103 "${a2}" "${env}" "${a1}"
31690700
JM
104 return ;;
105 *) EVAL_AST "${ast}" "${env}"
106 [[ "${__ERROR}" ]] && r= && return 1
107 local el="${r}"
8cb5cda4
JM
108 _first "${el}"; local f="${ANON["${r}"]}"
109 _rest "${el}"; local args="${ANON["${r}"]}"
31690700
JM
110 #echo "invoke: [${f}] ${args}"
111 if [[ "${f//@/ }" != "${f}" ]]; then
112 set -- ${f//@/ }
113 ast="${2}"
114 ENV "${3}" "${4}" ${args}
115 env="${r}"
116 else
117 eval ${f%%@*} ${args}
118 return
119 fi
120 # Continue loop
121 ;;
122 esac
123 done
124}
125
86b689f3 126# print
31690700
JM
127PRINT () {
128 if [[ "${__ERROR}" ]]; then
129 _pr_str "${__ERROR}" yes
130 r="Error: ${r}"
131 __ERROR=
132 else
133 _pr_str "${1}" yes
134 fi
135}
136
86b689f3 137# repl
31690700
JM
138ENV; REPL_ENV="${r}"
139REP () {
140 r=
70aff0c1 141 READ "${1}"
8cb5cda4 142 EVAL "${r}" "${REPL_ENV}"
31690700
JM
143 PRINT "${r}"
144}
145
8cb5cda4 146# core.sh: defined using bash
b8ee29b2
JM
147_fref () {
148 _symbol "${1}"; local sym="${r}"
149 _function "${2} \"\${@}\""
150 ENV_SET "${REPL_ENV}" "${sym}" "${r}"
151}
ea81a808 152for n in "${!core_ns[@]}"; do _fref "${n}" "${core_ns["${n}"]}"; done
31690700
JM
153_eval () { EVAL "${1}" "${REPL_ENV}"; }
154_fref "eval" _eval
86b689f3
JM
155_list; argv="${r}"
156for _arg in "${@:2}"; do _string "${_arg}"; _conj! "${argv}" "${r}"; done
b8ee29b2
JM
157_symbol "__STAR__ARGV__STAR__"
158ENV_SET "${REPL_ENV}" "${r}" "${argv}";
31690700 159
8cb5cda4 160# core.mal: defined using the language itself
31690700 161REP "(def! not (fn* (a) (if a false true)))"
1617910a 162REP "(def! load-file (fn* (f) (eval (read-string (str \"(do \" (slurp f) \")\")))))"
31690700 163
86b689f3 164# load/run file from command line (then exit)
31690700 165if [[ "${1}" ]]; then
86b689f3
JM
166 REP "(load-file \"${1}\")"
167 exit 0
168fi
169
170# repl loop
171while true; do
172 READLINE "user> " || exit "$?"
173 [[ "${r}" ]] && REP "${r}" && echo "${r}"
174done