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

Univ -> ManyUniv

Browse Source
This commit is contained in:
Asumu Takikawa 2012-11-30 14:53:49 -05:00
parent a42cc9a001
commit 5fe8841c99
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -35,4 +35,4 @@
;; 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 Univ (-> ManyUniv Univ)))]) (-> (make-Prompt-Tagof ManyUniv (-> ManyUniv ManyUniv)))])