[`(set! ,var ,expr)
(T-k expr (λ (aexp)
`(set-then! ,var ,aexp
`(,c (void)))))]In T-k:
[`(set! ,var ,expr) (T-k expr (λ (aexp) `(set-then! ,var ,aexp ,(k '(void)))))]I'm assuming T-k is correct but T-c should be (among various possibilities):[`(set! ,var ,expr) (T-k expr (λ (aexp) `(set-then! ,var ,aexp (,c (void)))))] ;; No `Or have I misunderstood things?
Haven't tested your fix, but that looks right.
--
You received this message because you are subscribed to the Google Groups "Utah Compilers, Spring 2013" group.
To unsubscribe from this group and stop receiving emails from it, send an email to utah-compilers-spri...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.