From 7563f5a8122c80c395c23106e9f6f942a17bfd38 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 25 Jan 2016 23:40:40 -0600 Subject: [PATCH] refresh the popular keys --- .../contract/private/arrow-val-first.rkt | 35 +++++++++---------- 1 file changed, 16 insertions(+), 19 deletions(-) diff --git a/racket/collects/racket/contract/private/arrow-val-first.rkt b/racket/collects/racket/contract/private/arrow-val-first.rkt index 6c95841ee3..bf0d4d5957 100644 --- a/racket/collects/racket/contract/private/arrow-val-first.rkt +++ b/racket/collects/racket/contract/private/arrow-val-first.rkt @@ -76,25 +76,22 @@ [else success ...])))]))) (define-for-syntax popular-keys - ;; of the 8417 contracts that get compiled during - ;; 'raco setup' of the current tree, these are all - ;; the ones that appear at least 50 times (the - ;; number indicate how many times each appeared) - `((() 0 () () #f 1) ; 1260 - (() 0 () () #t 1) ; 58 - ((#f) 0 () () #f #f) ; 116 - ((#f) 0 () () #f 1) ; 4140 - ((#t) 0 () () #f 1) ; a new kind of key; expected to be popular - ((#f) 0 () () #t 1) ; 71 - ((#f) 1 () () #f 1) ; 186 - ((#f) 2 () () #f 1) ; 125 - ((#f #f) 0 () () #f #f) ; 99 - ((#f #f) 0 () () #f 1) ; 1345 - ((#f #f) 1 () () #f 1) ; 68 - ((#f #f #f) 0 () () #f 1) ; 423 - ((#f #f #f #f) 0 () () #f 1) ; 149 - ((#f #f #f #f #f) 0 () () #f 1))) ; 74 - + ;; 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 + `((() 0 () () #f 1) + (() 0 () () #f #f) + ((#f) 0 () () #f 1) + ((#f) 1 () () #f 1) + ((#f) 0 () () #f #f) + ((#f #f) 0 () () #f 1) + ((#f #f) 0 () () #f #f) + ((#f #f #f) 0 () () #f 1) + ((#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 #f) + ((#f #f #f #f #f #f) 0 () () #f #f))) (define-syntax (generate-popular-key-ids stx) (syntax-case stx ()