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

Fix Struct-Type-Property.

Browse Source 
Closes PR 13593.

original commit: 8d080b74cb78d0b000059782703b2c4aa896f5cc
This commit is contained in:
Eric Dobson 2013-03-23 00:07:09 -07:00
parent 606b192204
commit 22672f99e8
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
(make-Base 'Thread-Group #'thread-group? thread-group? #'-Thread-Group))
(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
(make-Base 'Impersonator-Property #'impersonator-property? impersonator-property? #'-Impersonator-Property))