~thon/thon

8571e74e5178693a6b99efb404ff3b0a0dc19fc2 — Evan Bergeron 4 months ago cf08c47
Precautionary comment
2 files changed, 2 insertions(+), 0 deletions(-)

A examples/.#typnames.thon
M thon.sml
A examples/.#typnames.thon => examples/.#typnames.thon +1 -0
@@ 0,0 1,1 @@
evan@xone.1800:1602088320
\ No newline at end of file

M thon.sml => thon.sml +1 -0
@@ 497,6 497,7 @@ fun step e =
                      A.Zero => t
                    | A.Succ i' => subst i' e
                    | _ => raise IllTypedMsg "ifz conditional must be an integer")
      (* BUG? should this eval varval before subst? should it eval varscope before subst? *)
      | A.Let (varname, vartype, varval, varscope) => subst varval varscope
      | A.Var (name, x) => (if x < 0 then raise VarNotInContext else A.Var (name, x))
      | A.Rec (A.Zero, baseCase, prevCaseName, recCase) => baseCase