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

Fix parametric require/typed in typed/racket/base.

Browse Source 
Closes PR12951.

Please merge to release.
This commit is contained in:
Vincent St-Amour 2012-07-29 09:02:58 -04:00
parent a0e6892d3e
commit dd02f5eeda
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/tests/typed-racket/succeed/parametric-require-tr-base.rkt Normal file
View File

@ -0,0 +1,4 @@
#lang typed/racket/base
(require/typed racket/base
(values (All (a) (a -> a))))

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

@ -7,7 +7,7 @@
;; that may appear in the residual program ;; that may appear in the residual program
"utils/utils.rkt" "utils/utils.rkt"
(for-syntax "utils/utils.rkt") (for-syntax "utils/utils.rkt")
"utils/any-wrap.rkt" unstable/contract) "utils/any-wrap.rkt" unstable/contract racket/contract/parametric)
(provide (rename-out [module-begin #%module-begin] (provide (rename-out [module-begin #%module-begin]
[top-interaction #%top-interaction]) [top-interaction #%top-interaction])