Parameters can overlap with procedure types.

Closes PR 11993. original commit: d0fbe825e6d80e925a2d94412a701366e5844fcf
2012-02-12 14:30:01 -05:00 · 2012-02-12 14:30:01 -05:00 · ca2b4eaa42
commit ca2b4eaa42
parent be4b0a9158
2 changed files with 8 additions and 1 deletions
--- a/collects/tests/typed-racket/succeed/parameter-proc.rkt
+++ b/collects/tests/typed-racket/succeed/parameter-proc.rkt
@ -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!))
--- a/collects/typed-racket/rep/type-rep.rkt
+++ b/collects/typed-racket/rep/type-rep.rkt
@ -366,7 +366,7 @@
 ;; in : Type
 ;; out : Type
 (def-type Param ([in Type/c] [out Type/c])
-  [#:key 'parameter]
+  [#:key 'procedure]
  [#:frees (λ (f) (combine-frees (list (f out) (flip-variances (f in)))))])

 ;; key : Type