macro expand order should be the same order of -use_macro
add parameter {order => pre | post} for -use_macro
it means which order is used for expand nested macro such as
do([state_m ||
B <- do([reader_m ||
R <- monad_reader:ask(),
return(A + R)
]),
return(B)
]).
macro expand order should be the same order of -use_macro add parameter {order => pre | post} for -use_macro it means which order is used for expand nested macro such as