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

Allow guards for impersonatable struct type properties

Browse Source 
original commit: e14c5d61e95b867a95c820adec6c5b9e5f1ff9dc
This commit is contained in:
Asumu Takikawa 2012-07-19 16:15:55 -04:00
parent 63c203c7ea
commit 2f6213c56f
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-racket/base-env/base-env.rkt
View File

@ -2093,7 +2093,8 @@
[make-struct-type-property
(->opt Sym
[(Un (one-of/c #f 'can-impersonate) (-> Univ (-lst Univ)))
(-lst (-pair -Struct-Type-Property (-> Univ Univ)))]
(-lst (-pair -Struct-Type-Property (-> Univ Univ)))
Univ]
(-values (list -Struct-Type-Property (-> Univ B) (-> Univ Univ))))]
[struct-type-property? (make-pred-ty -Struct-Type-Property)]