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

add some more popular keys, based on TR's contract generation

Browse Source
This commit is contained in:
Robby Findler 2017-10-15 17:01:15 -05:00
parent 00d438cfbe
commit 4354488453
1 changed files with 33 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

35
racket/collects/racket/contract/private/arrow-val-first.rkt
View File

@ -67,7 +67,9 @@
(define-for-syntax popular-keys
;; of the 6075 contracts that get compiled during
;; 'raco setup' of main-distribution and main-distribution-test,
;; these are all the ones that appear at least 60 times
;; these are all the ones that appear at least 60 times, as of
;; January 2016. Plus the ones that appear at least 10 times in
;; contracts that TR generates for plot-gui-lib, as of October 2017
`((() 0 () () #f 1)
(() 0 () () #f #f)
((#f) 0 () () #f 1)
@ -79,8 +81,37 @@
((#f #f #f) 0 () () #f #f)
((#f #f #f #f) 0 () () #f 1)
((#f #f #f #f) 0 () () #f #f)
((#f #f #f #f #f) 0 () () #f 1)
((#f #f #f #f #f) 0 () () #f #f)
((#f #f #f #f #f #f) 0 () () #f #f)))
((#f #f #f #f #f #f) 0 () () #f 1)
((#f #f #f #f #f #f) 0 () () #f #f)
((#f #f #f #f #f #f #f) 0 () () #f 1)
((#f #f #f #f #f #f #f #f) 0 () () #f 1)
;; 9 argument doesn't seem to show up
((#f #f #f #f #f #f #f #f #f #f) 0 () () #f 1)
;; multiple results or optional arguments below
((#f) 2 () () #f 1)
((#f) 3 () () #f 1)
((#f) 4 () () #f 1)
((#f) 0 () () #f 2)
((#f) 0 () () #f 4)
((#f) 0 () () #f 6)
((#f #f) 1 () () #f 1)
((#f #f) 2 () () #f 1)
((#f #f) 3 () () #f 1)
((#f #f) 3 () () #f 4)
((#f #f) 5 () () #f 1)
((#f #f #f) 0 () () #f 2)
((#f #f #f) 0 () () #f 4)
((#f #f #f) 1 () () #f 1)
((#f #f #f) 4 () () #f 1)
((#f #f #f #f) 1 () () #f 1)
((#f #f #f #f) 3 () () #f 1)
((#f #f #f #f #f) 1 () () #f 1)
((#f #f #f #f #f #f) 2 () () #f 1)
((#f #f #f #f #f #f #f) 1 () () #f 1)
((#f #f #f #f #f #f #f #f) 3 () () #f 1)))
(define-syntax (generate-popular-key-ids stx)
(syntax-case stx ()