From 611e04abdaca52a26f68356930d3b38e76473134 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 23 Aug 2010 09:51:20 -0500 Subject: [PATCH] adjusted the expansion so that the references to "foo" in this ISL program: (define-struct foo (x)) (: make-foo (Number -> foo)) (: foo-x (foo -> Number)) (define x (make-foo 5)) (foo-x x) don't get colored the "not yet executed" color. --- collects/lang/private/signature-syntax.rkt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/collects/lang/private/signature-syntax.rkt b/collects/lang/private/signature-syntax.rkt index e35def8274..22c4ee6e9f 100644 --- a/collects/lang/private/signature-syntax.rkt +++ b/collects/lang/private/signature-syntax.rkt @@ -89,8 +89,7 @@ #'(make-type-variable-signature '?id ?stx) (with-syntax ((?raise - (syntax/loc #'?stx - (error 'signatures "expected a signature, found ~e" ?id)))) + #'(error 'signatures "expected a signature, found ~e" ?id))) (with-syntax ((?sig #'(make-delayed-signature '?name