www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 98169cd383a1f58fcadeaa1ccc8602d25565f3c6
parent dd06ab92f5ddebf9e7a11d017c2c17b2d42a5143
Author: Stephen Chang <stchang@ccs.neu.edu>
Date:   Tue, 16 Sep 2014 18:56:09 -0400

stlc+define+cons: add void at end of list of es

Diffstat:
Mstlc+define+cons.rkt | 3++-
1 file changed, 2 insertions(+), 1 deletion(-)

diff --git 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)))))