From f785630a76f579df20578b40d58eb34fad3b337e Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Wed, 20 Nov 2013 18:38:39 -0500 Subject: [PATCH] Simplify fix for PR 14030 Please merge into 6.0 original commit: 6a787c963f22d563a67b731914ac204e2e051ebb --- .../typed-racket/base-env/prims.rkt | 24 +++++++++---------- 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt index 0d85ee86..dcfff065 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt @@ -262,18 +262,18 @@ This file defines two sorts of primitives. All of them are provided into any mod (if (Error? typ) ;; This code should never get run, typechecking will have an error earlier #`(error 'make-predicate "Couldn't parse type") - #`(let () - (ann - #,(ignore-some-property - (type->contract - typ - ;; must be a flat contract - #:kind 'flat - ;; the value is not from the typed side - #:typed-side #f - (type->contract-fail typ #'ty #:ctc-str "predicate")) - #t) - (Any -> Boolean : ty))))))])) + #`(#%expression + (ann + #,(ignore-some-property + (type->contract + typ + ;; must be a flat contract + #:kind 'flat + ;; the value is not from the typed side + #:typed-side #f + (type->contract-fail typ #'ty #:ctc-str "predicate")) + #t) + (Any -> Boolean : ty))))))])) (define-syntax (cast stx) (syntax-parse stx