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

Correctly bind place? for contract generation.

Browse Source 
original commit: 0a0ac35ee6a427d3ca8341eb04a844a4ae7b8514
This commit is contained in:
Sam Tobin-Hochstadt 2012-11-07 12:20:29 -05:00
parent dcb7dbac6d
commit 3892d0101e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-racket/types/abbrev.rkt
View File

@ -18,7 +18,7 @@
(except-in racket/contract/base ->* -> one-of/c)
(prefix-in c: racket/contract/base)
(for-syntax racket/base syntax/parse racket/list)
(for-template racket/base racket/contract/base racket/promise racket/tcp racket/flonum racket/udp)
(for-template racket/base racket/contract/base racket/promise racket/tcp racket/flonum racket/udp '#%place)
racket/pretty racket/udp
;; for base type predicates
racket/promise racket/tcp racket/flonum)