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