From 10674298c49f3b47a77f1d1fa674c7dc4763106f Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Wed, 13 Aug 2014 14:30:13 -0400 Subject: [PATCH] stlc cleanup --- stlc.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/stlc.rkt b/stlc.rkt index 3c175bc..06da1af 100644 --- a/stlc.rkt +++ b/stlc.rkt @@ -384,8 +384,8 @@ #:with (e ...) (template ((?@ . mb-form.e) ...)) #:when (Γ (type-env-extend #'([f τ] ...))) ; #:when (printf "fvs :~a\n" (fvs)) -;; error: "Just10: unbound identifier; also, no #%top syntax transformer is bound" -;; cause: for struct def, define-values must come before define-syntaxes +;; NOTE: for struct def, define-values *must* come before define-syntaxes +;; ow, error: "Just10: unbound identifier; also, no #%top syntax transformer is bound" (quasisyntax/loc stx (#%module-begin #,(expand/df #'(let-values ([def-val-lhs def-val-rhs] ...)