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

Fix Custodian type

Browse Source
This commit is contained in:
Asumu Takikawa 2012-11-10 11:11:32 -05:00
parent 4421e227ff
commit d22532db16
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/tests/typed-racket/succeed/custodian.rkt Normal file
View File

@ -0,0 +1,6 @@
#lang typed/racket
;; Make sure the Custodian type is bound
(: cust Custodian)
(define cust (current-custodian))

2
collects/typed-racket/types/abbrev.rkt
View File

@ -214,7 +214,7 @@
(define -Special-Comment
(make-Base 'Special-Comment #'special-comment? special-comment? #'-Special-Comment))
(define -Custodian (make-Base 'Custodian #'custodian? custodian? #'Custodian))
(define -Custodian (make-Base 'Custodian #'custodian? custodian? #'-Custodian))
(define -Parameterization (make-Base 'Parameterization #'parameterization? parameterization? #'-Parameterization))