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

Fix contract for structs

Browse Source 
original commit: 02238a7c6d713e9e210ab9efee994eb98c843284
This commit is contained in:
Sam Tobin-Hochstadt 2010-06-17 15:18:04 -04:00
parent d31b37acc1
commit 8088618596
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-scheme/rep/type-rep.rkt
View File

@ -218,7 +218,7 @@
#;
[flds (listof (cons/c Type/c boolean?))]
[proc (or/c #f Function?)]
[poly? boolean?]
[poly? (or/c #f (listof symbol?))]
[pred-id identifier?]
[cert procedure?]
[acc-ids (listof identifier?)]