From 98169cd383a1f58fcadeaa1ccc8602d25565f3c6 Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Tue, 16 Sep 2014 18:56:09 -0400 Subject: [PATCH] stlc+define+cons: add void at end of list of es --- stlc+define+cons.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/stlc+define+cons.rkt b/stlc+define+cons.rkt index e45b05b..5a31ec1 100644 --- a/stlc+define+cons.rkt +++ b/stlc+define+cons.rkt @@ -317,7 +317,8 @@ deftype ... ;structdef ... deffn ... - e ...)) + e ... + (void))) ; #,(expand/df #'(let-values ([def-val-lhs def-val-rhs] ...) ; (let-syntax ([def-syn-lhs def-syn-rhs] ...) ; (letrec-values ([f v] ...) e ... (void)))))