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

Parameters can overlap with procedure types.

Browse Source 
Closes PR 11993.
This commit is contained in:
Sam Tobin-Hochstadt 2012-02-12 14:30:01 -05:00
parent fd7235f94a
commit d0fbe825e6
2 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/tests/typed-racket/succeed/parameter-proc.rkt Normal file
View File

@ -0,0 +1,7 @@
#lang typed/racket
(require/typed racket
(current-directory (-> Path)))
(unless (equal? (parameter? current-directory)
(if (parameter? current-directory) #t #f))
(error 'unsound!))

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

@ -366,7 +366,7 @@
;; in : Type ;; in : Type
;; out : Type ;; out : Type
(def-type Param ([in Type/c] [out Type/c]) (def-type Param ([in Type/c] [out Type/c])
[#:key 'parameter] [#:key 'procedure]
[#:frees (λ (f) (combine-frees (list (f out) (flip-variances (f in)))))]) [#:frees (λ (f) (combine-frees (list (f out) (flip-variances (f in)))))])
;; key : Type ;; key : Type