suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Make TR contract generation not wrap everything in recursive contract.

Browse Source 
Eta expand struct predicates, as this was the reason for recursive
contracts in the first place.

Closes PR 14611.
This commit is contained in:
Eric Dobson 2014-06-29 17:23:51 -07:00
parent decc3c6376
commit 72d1128604
1 changed files with 2 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/private/type-contract.rkt
View File

@ -91,12 +91,7 @@
#:kind kind
(type->contract-fail typ prop))])
(ignore ; should be ignored by the optimizer
(quasisyntax/loc
stx
(define-values (n)
(recursive-contract
cnt
#,(contract-kind->keyword kind)))))))]
(quasisyntax/loc stx (define-values (n) cnt)))))]
[_ (int-err "should never happen - not a define-values: ~a"
(syntax->datum stx))]))
@ -455,7 +450,7 @@
nm (recursive-sc-use nm*)))))
(recursive-sc (list nm*) (list (struct/sc nm (ormap values mut?) fields))
(recursive-sc-use nm*))]
[else (flat/sc #`(flat-named-contract '#,(syntax-e pred?) #,pred?))])]
[else (flat/sc #`(flat-named-contract '#,(syntax-e pred?) (lambda (x) (#,pred? x))))])]
[(Syntax: (Base: 'Symbol _ _ _)) identifier?/sc]
[(Syntax: t)
(syntax/sc (t->sc t))]