From bf8dd8264eb9e6e5cb4288bb0fe4454612fc283b Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 4 Jun 2008 20:16:17 +0000 Subject: [PATCH] Fix quoting. svn: r10132 --- collects/typed-scheme/private/type-contract.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/private/type-contract.ss b/collects/typed-scheme/private/type-contract.ss index ea9ea6b671..53aea61515 100644 --- a/collects/typed-scheme/private/type-contract.ss +++ b/collects/typed-scheme/private/type-contract.ss @@ -123,6 +123,6 @@ (if (equal? ty Any-Syntax) #`syntax? #`(syntax/c #,(t->c t)))] - [(Value: v) #`(flat-named-contract #,(format "~a" v) (lambda (x) (equal? x #,v)))] + [(Value: v) #`(flat-named-contract #,(format "~a" v) (lambda (x) (equal? x '#,v)))] [else (exit (fail))])))) \ No newline at end of file