From 213ff3655409b7ad526154f3733de054f34d290c Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 3 Dec 2012 12:37:42 -0500 Subject: [PATCH] Fix default prompt tag type Note: this type could be made more precise, but we need some contract changes for that. --- collects/typed-racket/base-env/base-contracted.rkt | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/collects/typed-racket/base-env/base-contracted.rkt b/collects/typed-racket/base-env/base-contracted.rkt index 1a452281cd..2eebd5d62b 100644 --- a/collects/typed-racket/base-env/base-contracted.rkt +++ b/collects/typed-racket/base-env/base-contracted.rkt @@ -38,4 +38,10 @@ ;; set up the type environment (define-initial-env initialize-contracted [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)))])