OMGB $ is_digit ch is_alpha ch is_alnum ch4 read_number src i; read_binary src ic
read_ident src i� tokenize src� parse source
parse_program tokens i parse_statement tokens i@ parse_block tokens i� parse_expression tokens i( parse_or tokens i, parse_and tokens ig parse_comparison tokens i�
parse_add_sub tokens iS
parse_term tokens i� parse_shift tokens ib
parse_bit_and tokens i�
parse_bit_xor tokens i� parse_bit_or tokens i1
parse_factor tokens il
lookup_var env nameR
env_set env name value�
copy_env env�
normalize_path path�
dirname path join_path base rel. strip_header source path
call_function func_name func
arg_values env�
import_module path
eval_expr expr envD execute stmts env is_global� run source� run_file_with_args path file_args run_file pathV Z tok_len
global_env . current_dir <stdin> module_file loaded_modules args! length args run_file" & ch 0 ch 9$$ ch a ch z ch A ch Z ch _ $$ ch is_alpha ch is_digit$$ num c src! length n i n src i is_digit ^ src i c num
c! ascii 0! ascii num i i B num i $$ num c src! length n i n src i 0 src i 1 � src i c num c! ascii 0! ascii num i i j num i $$ s src! length n i n src i is_alnum � s src i s i i � s i $$ tokens n i c res word s src! length src_len src_len src src_len
� src
src src_len src_len � src_len src ; src ; src ; src o src m src g i i src_len src i
i i i src_len src i
i i i src_len src i c c c c
c
= i i c # Q i src_len src i
P i i A c : i src_len src i = r tokens n symbol := ' n n i i c : � tokens n symbol : ' n n i i c = i src_len src i = � tokens n symbol == ' n n i i c = � Unexpected character =." c ! i src_len src i = � tokens n symbol != ' n n i i c < i src_len src i = � tokens n symbol <= ' n n i i c > i src_len src i = tokens n symbol >= ' n n i i c < i src_len src i < 2 tokens n symbol << ' n n i i c > i src_len src i > S tokens n symbol >> ' n n i i c / i src_len src i / i Unexpected / after /." c / i src_len src i * � i i i src_len src i *
src i /
� i i i i c ( c ) c { c } c , c + c - c * c / c % c < c > c [ c ] c & c | c ^ c ~ c . � tokens n symbol c ' n n i i c 0 i src_len src i b src i B + i i src i read_binary res tokens n number res ' n n res i c is_digit C src i read_number res tokens n number res ' n n res i c " � i i s i src_len src i "
y src i \ src i n n s
s i i x s src i s i i M i i tokens n string s ' n n src i
read_ident res res word res i word alloc word emit word proc word return word if word else word elif word loop word break word and word or word facts word import word as word try word except � tokens n kw word ' n n word true � tokens n bool ' n n word false � tokens n bool ' n n tokens n ident word ' n n n tok_len tokens n eof ' tokens$$ source tokenize tokens tokens
parse_program res res $$ stmts i res res tok_len 9 tokens res parse_statement res stmts res stmts % stmts res $$ tokens i t t kw t alloc j tokens i name tokens i parse_expression res decl name res res $ � t kw t emit � tokens i parse_expression res emit res res $ � t kw t return � tokens i parse_expression res return res res $ � t kw t break � break i $ � t kw t loop � tokens i parse_expression res_cond tokens res_cond parse_block res_block loop res_cond res_block res_block $ � t kw t if � tokens i parse_expression res_cond tokens res_cond parse_block res_then res_then j elifs res_elif res_block
else_block k pair j tok_len tokens j kw tokens j elif : tokens j parse_expression res_elif tokens res_elif parse_block res_block elifs res_elif res_block elifs res_block j
j tok_len tokens j kw tokens j else ] tokens j parse_block res_block res_block
else_block res_block j ] elifs! length k k z elifs k pair if pair pair
else_block
else_block k k b if res_cond res_then
else_block j $ � t kw t proc � tokens i name i j params tokens j symbol
tokens j )
� � params tokens j params j j tokens j symbol tokens j , � j j � � � � j j tokens j parse_block res_block func_def name params res_block res_block $ � t kw t import tokens i path tokens i alias import path alias i $ � t kw t facts 0 tokens i parse_expression res facts res res $ � t kw t try � tokens i parse_block try_res try_res j tokens j kw tokens j except � j j name tokens j ident o tokens j name j j o tokens j parse_block exc_res try try_res name exc_res exc_res $ � � tokens i parse_factor lval_res lval_res j j tok_len tokens j symbol tokens j := � tokens j parse_expression val_res lval_res target target ident � assign target val_res val_res $ � target dot � attr_assign target target val_res val_res $ � target index � index_assign target target val_res val_res $ � � lval_res lval_res $$ stmts i j res j j tokens j symbol
tokens j }
! tokens j parse_statement res stmts res stmts res j stmts j $$ tokens i parse_or$ tokens i parse_and res res left res j right_res j tok_len tokens j kw tokens j or b tokens j parse_and right_res or left right_res left right_res j < left j $$ tokens i parse_comparison res res left res j right_res j tok_len tokens j kw tokens j and � tokens j parse_comparison right_res and left right_res left right_res j w left j $$ tokens i parse_bit_or res res left res j op right_res j tok_len tokens j symbol tokens j < tokens j == tokens j > tokens j <= tokens j >= tokens j != N tokens j op tokens j parse_bit_or right_res op <
lt left right_res left I op > gt left right_res left I op <= & le left right_res left I op >= 4 ge left right_res left I op == B eq left right_res left I ne left right_res left right_res j � left j $$ tokens i
parse_term res res left res j op right_res j tok_len tokens j symbol tokens j + tokens j - � tokens j op tokens j symbol tokens j + tokens j - � op + tokens j - � # Unexpected - after + unary operator." � op - tokens j + � # Unexpected + after - unary operator." � � tokens j
parse_term right_res op + � add left right_res left � sub left right_res left right_res j g left j $$ tokens i parse_factor res res left res j op right_res j tok_len tokens j symbol tokens j * tokens j / tokens j % ] tokens j op tokens j parse_factor right_res op * C mul left right_res left X op / Q div left right_res left X mod left right_res left right_res j left j $$ tokens i
parse_add_sub res res left res j op right_res j tok_len tokens j symbol tokens j << tokens j >> � tokens j op tokens j
parse_add_sub right_res op << � shl left right_res left � shr left right_res left right_res j v left j $$ tokens i parse_shift res res left res j right_res j tok_len tokens j symbol tokens j & � tokens j parse_shift right_res band left right_res left right_res j � left j $$ tokens i
parse_bit_and res res left res j right_res j tok_len tokens j symbol tokens j ^ ,
tokens j
parse_bit_and right_res bxor left right_res left right_res j
left j $$ tokens i
parse_bit_xor res res left res j right_res j tok_len tokens j symbol tokens j | g
tokens j
parse_bit_xor right_res bor left right_res left right_res j A
left j $$ tokens i t node i j k res t symbol t + �
tokens i symbol tokens i - �
# Unexpected - after + unary operator." �
tokens i parse_factor res unary add res res $ \ t symbol t - �
tokens i symbol tokens i + �
# Unexpected + after - unary operator." �
tokens i parse_factor res unary sub res res $ \ t symbol t ~ tokens i parse_factor res bitnot res res $ \ t number number t node i j \ t bool % bool t node i j \ t string 6 string t node i j \ t ident G ident t node i j \ t symbol t [ � elems i k res tokens k symbol
tokens k ]
� � tokens k parse_expression res elems res elems res k tokens k symbol tokens k , � k k � � m � list elems node k j \ t symbol t { 7 pairs i k val_res string key_node tokens k symbol
tokens k }
. - tokens k string � string tokens k key_node k k tokens k ident � string tokens k key_node k k tokens k parse_expression val_res val_res key_node val_res k k k tokens k parse_expression val_res pairs key_node val_res pairs val_res k tokens k symbol tokens k , + k k , - � . dict pairs node k j \ t symbol t ( T tokens i parse_expression res res node res j \ number node i j inner end_res call_args res attr j tok_len tokens j symbol M
tokens j ( � j k call_args tokens k symbol
tokens k )
� � tokens k parse_expression res call_args res call_args res k tokens k symbol tokens k , � k k � � � � func_call node call_args node k j L
tokens j [ 1
tokens j parse_expression inner inner k tokens k symbol tokens k : %
tokens k symbol tokens k ]
slice node inner node k j $
tokens k parse_expression end_res slice node inner end_res node end_res j 0
index node inner node k j L
tokens j . K
tokens j attr dot node attr node j j L
M
n node j $$ i entry env! length env_len i env_len s
env i entry entry name n
entry $ n
i i Y
i entry
global_env! length
global_len i
global_len �
global_env i entry entry name �
entry $ �
i i z
$$ i entry env! length env_len i env_len �
env i entry entry name �
env i name value ' env$ �
i i �
env name value env env$$ result i entry env! length env_len i env_len �
env i entry result entry result i i �
result$$ res i path! length n i n path i \ �
res / res res path i res i i �
res$$ path normalize_path path path! length i i ! path i / ! i i i + path i $ + .$$ base normalize_path base rel normalize_path rel path rel! length rel / D rel path J base / rel path parts part i path! length n abs n path / b abs b i n � path i / � part .. � parts! length parts parts! length ..
� parts parts! length parts � parts .. parts � part
part .
� parts part parts � part � part path i part i i b part .. � parts! length parts parts! length ..
� parts parts! length parts � parts .. parts � part
part .
� parts part parts � res i parts! length p_len i p_len � res
� res / res � res parts i res i i � abs � / res res � res
abs /$ .$
res$$ i source! length src_len i src_len source i source i source i
source i
3 i i i src_len � source i ; source i ; source i ; source i o source i m source i g � i i i src_len source i
z i i z i src_len source i
� i i � source i# $ � � / OMG script missing required header ';;;omg' in path." source$$ func function � func params func body func captured captured base captured global �
global_env base � base copy_env local i params! length
params_len
arg_values! length arg_len arg_len
params_len
�
Function ' func_name
' expects
params_len
arguments." � i
params_len � local params i
arg_values i env_set local i i � res body local execute res res return � res $ � $ func builtin func name name
arg_values! call_builtin $ Not a function value." $$ current_dir path join_path full k loaded_modules! length lm_len k lm_len * loaded_modules k full % Recursive import of ' full '." % k k loaded_modules full loaded_modules current_dir saved_dir module_file
saved_file
global_env saved_global full dirname current_dir full module_file full name name! length i i R name i / M R M i i A i ^ name i # name ^ name! read_file source source q Module ' path ' not found relative to '
saved_file '." q source full strip_header source source parse ast length builtin length read_file builtin read_file ascii builtin ascii binary builtin binary chr builtin chr hex builtin hex freeze builtin freeze file_open builtin file_open file_read builtin file_read
file_write builtin
file_write
file_close builtin
file_close file_exists builtin file_exists raise builtin raise
env env args env_set env env
global_env exports i stmt ast! length ast_len i ast_len � ast i stmt stmt decl stmt func_def � exports stmt exports � i i � _ ast env execute _
global_env
module_env module_ns name val i exports! length exp_len i exp_len 3 exports i name
module_env name
lookup_var val val function val global * function val val
module_env val
module_env name val env_set
module_env * module_ns name val' i i module_ns! freeze module_ns saved_dir current_dir
saved_file module_file saved_global
global_env loaded_modules lm_len loaded_modules module_ns$$ expr kind kind number Q expr $ � kind string Z expr $ � kind bool c expr $ � kind ident � expr name env name
lookup_var res res x res $ x Undefined identifier ' name '." $ � kind add � expr env eval_expr expr env eval_expr$ � kind sub � expr env eval_expr expr env eval_expr$ � kind mul � expr env eval_expr expr env eval_expr $ � kind div � expr env eval_expr expr env eval_expr
$ � kind mod � expr env eval_expr expr env eval_expr $ � kind band � expr env eval_expr expr env eval_expr$ � kind bor � expr env eval_expr expr env eval_expr$ � kind bxor
expr env eval_expr expr env eval_expr$ � kind shl expr env eval_expr expr env eval_expr$ � kind shr , expr env eval_expr expr env eval_expr$ � kind bitnot 8 expr env eval_expr$ � kind eq I expr env eval_expr expr env eval_expr $ � kind ne Z expr env eval_expr expr env eval_expr
$ � kind lt k expr env eval_expr expr env eval_expr$ � kind gt | expr env eval_expr expr env eval_expr$ � kind le � expr env eval_expr expr env eval_expr$ � kind ge � expr env eval_expr expr env eval_expr$ � kind and � expr env eval_expr left left � expr env eval_expr � $ � kind or � expr env eval_expr left left � left$ � expr env eval_expr � kind unary � expr op expr env eval_expr val op sub � val$ � val$ � kind list expr nodes result i nodes! length nodes_len i nodes_len result nodes i env eval_expr result i i � result$ � kind dict ; expr pairs result i pair key val pairs! length pairs_len i pairs_len 8 pairs i pair pair env eval_expr key pair env eval_expr val result key val' i i result$ � kind slice a expr env eval_expr base expr env eval_expr start expr end_node end_node [ end_node env eval_expr end base start end $ [ base start# $ � kind index v expr env eval_expr base expr env eval_expr idx base idx$ � kind dot � expr env eval_expr base expr attr base attr$ � kind func_call � expr env eval_expr func_val expr arg_nodes
arg_values i arg_nodes! length arg_len i arg_len �
arg_values arg_nodes i env eval_expr
arg_values i i � expr func_id func_id func_val
arg_values env
call_function � ! RuntimeError: Unknown expr kind: kind. " $$ i stmt kind normal res stmts! length stmts_len cond normal loop_res val name params body func_val arg_nodes call_args j arg_len obj attr idx _ i stmts_len � stmts i stmt stmt kind kind decl env stmt stmt env eval_expr env_set env is_global env
global_env � kind assign ; stmt name stmt env eval_expr val env name
lookup_var lookup lookup 3 env name val env_set env is_global 2 env
global_env 2 : Undefined variable ' name '." � kind attr_assign R stmt env eval_expr obj stmt attr obj attr stmt env eval_expr' � kind index_assign k stmt env eval_expr obj stmt env eval_expr idx obj idx stmt env eval_expr' � kind emit v stmt env eval_expr% � kind facts � stmt env eval_expr cond cond � _ � AssertionError: Assertion failed. " � kind try � stmt env is_global execute res res error � stmt
� env stmt res env_set env is_global � env
global_env � � stmt env is_global execute res � res normal
� res$ � � kind if � stmt env eval_expr cond normal res cond � stmt env is_global execute res � stmt! length � stmt env is_global execute res � res normal
� res$ � � kind loop normal loop_res stmt env eval_expr stmt env is_global execute loop_res loop_res break
loop_res return loop_res$ � � kind break ! break $ � kind return 0 stmt env eval_expr val return val $ � kind func_def Z stmt name stmt params stmt body is_global I function params body global func_val O function params body env func_val env name func_val env_set env is_global Y env
global_env Y � kind import p stmt
import_module obj env stmt obj env_set env is_global o env
global_env o � kind func_call � stmt env eval_expr func_val stmt arg_nodes call_args j arg_nodes! length arg_len j arg_len � call_args arg_nodes j env eval_expr call_args j j � stmt func_id func_id func_val call_args env
call_function _ � ! RuntimeError: Unknown statement: kind. " i i � normal $$ source parse ast length builtin length read_file builtin read_file ascii builtin ascii binary builtin binary chr builtin chr hex builtin hex freeze builtin freeze file_open builtin file_open file_read builtin file_read
file_write builtin
file_write
file_close builtin
file_close file_exists builtin file_exists raise builtin raise
env env args args env_set env env
global_env ast env execute$ args saved current_dir old_dir module_file old_file path normalize_path path file_args args path module_file path dirname current_dir path name name! length i i - name i / ( - ( i i i 9 name i # name 9 name! read_file source source F # RuntimeError: Failed to read file: path. " F source path strip_header source source run res old_dir current_dir old_file module_file saved args res$$ path args run_file_with_args$