From 5d84201789eacf6db5ef3ffb58f5797bfd05a50f Mon Sep 17 00:00:00 2001 From: Andrew Kent Date: Thu, 26 Feb 2015 13:46:42 -0500 Subject: [PATCH] fixed proposition parsing --- typed-racket-lib/typed-racket/private/parse-type.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/typed-racket-lib/typed-racket/private/parse-type.rkt b/typed-racket-lib/typed-racket/private/parse-type.rkt index c7f1d705..a78dc8d4 100644 --- a/typed-racket-lib/typed-racket/private/parse-type.rkt +++ b/typed-racket-lib/typed-racket/private/parse-type.rkt @@ -246,9 +246,9 @@ #:attr prop (-not-filter (parse-type #'t) (-acc-path (attribute pe.pe) (attribute o.obj)))) (pattern (:! t:expr) #:attr prop (-not-filter (parse-type #'t) 0)) - (pattern (and (~var p (prop doms)) ...) + (pattern ((~datum and) (~var p (prop doms)) ...) #:attr prop (apply -and (attribute p.prop))) - (pattern (or (~var p (prop doms)) ...) + (pattern ((~datum or) (~var p (prop doms)) ...) #:attr prop (apply -or (attribute p.prop))) (pattern ((~literal implies) (~var p1 (prop doms)) (~var p2 (prop doms))) #:attr prop (-imp (attribute p1.prop) (attribute p2.prop)))