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

Fix Struct-Type-Property.

Browse Source 
Closes PR 13593.
This commit is contained in:
Eric Dobson 2013-03-23 00:07:09 -07:00
parent 4ebf53e919
commit 8d080b74cb
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/types/abbrev.rkt
View File

@ -232,7 +232,7 @@
(define -Thread-Group (define -Thread-Group
(make-Base 'Thread-Group #'thread-group? thread-group? #'-Thread-Group)) (make-Base 'Thread-Group #'thread-group? thread-group? #'-Thread-Group))
(define -Struct-Type-Property (define -Struct-Type-Property
(make-Base 'Struct-Type-Property #'struct-type-property? struct-type-property? #'Struct-Type-Property)) (make-Base 'Struct-Type-Property #'struct-type-property? struct-type-property? #'-Struct-Type-Property))
(define -Impersonator-Property (define -Impersonator-Property
(make-Base 'Impersonator-Property #'impersonator-property? impersonator-property? #'-Impersonator-Property)) (make-Base 'Impersonator-Property #'impersonator-property? impersonator-property? #'-Impersonator-Property))