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

Fix default prompt tag type

Browse Source 
Note: this type could be made more precise,
but we need some contract changes for that.
This commit is contained in:
Asumu Takikawa 2012-12-03 12:37:42 -05:00
parent ffde8ec486
commit 213ff36554
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/typed-racket/base-env/base-contracted.rkt
View File

@ -38,4 +38,10 @@
;; set up the type environment ;; set up the type environment
(define-initial-env initialize-contracted (define-initial-env initialize-contracted
[default-continuation-prompt-tag [default-continuation-prompt-tag
(-> (make-Prompt-Tagof ManyUniv (-> ManyUniv ManyUniv)))]) ;; TODO: we actually want the type
;; for the handler (->* (list) Univ ManyUniv)
;; but the prompt tag contract doesn't quite
;; support this (it needs a #:rest argument)
;;
;; Also, this type works better with inference.
(-> (make-Prompt-Tagof Univ (-> Univ ManyUniv)))])