offsets matter

Author: andrew-johnson-4

PRODUCTION/codegen-strict.lm

@@ -160,7 +160,7 @@ compile-expr-strict := λctx e offset used . (tail(
             ( (App( (App( (App( (Variable 'if) cond )) t )) f )) (tail(
                (set e1 (compile-expr-strict( ctx cond offset Used )))
                (set e2 (compile-expr-strict( (expr::get-context e1) t (expr::get-offset e1) Used )))
-               (set e3 (compile-expr-strict( (expr::get-context e2) f (expr::get-offset e2) Used )))
+               (set e3 (compile-expr-strict( (expr::get-context e1) f (expr::get-offset e1) Used )))
                (match (expr::get-type e1) (
                   ()
                   (BranchConditional ())
@@ -192,8 +192,8 @@ compile-expr-strict := λctx e offset used . (tail(
                   (expr::get-unframe e2)
                   label-end ': \n
                ))))
-               (set e4 (expr::set-context( e4 (expr::get-context e3) )))
-               (set e4 (expr::set-offset( e4 (expr::get-offset e3) )))
+               (set e4 (expr::set-context( e4 ctx )))
+               (set e4 (expr::set-offset( e4 offset )))
                e4
             )))
             ( (App( (Variable 'label) (Variable label-name) )) (