20:11 <elvishjerricco> infinisil: You might not need a fixed evaluation order; just a fixed throwing order. Each primop can evaluate its arguments in whatever order it wants, as long as it's consistent when one or many throws. i.e. `a + b` could evaluate `a` and `b` in parallel, as long as + has a contract such as "if `b` throws, its exception will only be thrown if `a` does not throw. Otherwise `a`'s is thrown."

20:12 <infinisil> True dat