Lines Matching +refs:display +refs:match +refs:list

40   racket/match
41   racket/list
64            racket/match
65            racket/list
76              (match-define (kind-max variables max) v)
80                  [(#f) display]
86              (display open port)
88              (display " " port)
89              (display (map syntax-e (free-id-table-keys variables)) port)
90              (display " " port)
92              (display close port))])
96              (match-define (contract-restrict value recursive-values constraints) v)
100                  [(#f) display]
106              (display open port)
108              (display " " port)
111              (display " (" port)
115                (display ")" port))
121                (for ([name (in-list (rest names))]
122                      [val (in-list (rest vals))])
123                     (display " " port)
125              (display ") " port)
127              (display close port))]
147             ([e (in-list elems)])
152              ([new-table (in-list tables)]
158              ([new-table (in-list tables)]
176   (match con
185   (match cr
193   (match cr
195      (contract-restrict v (free-id-table-union (list rec dict)) constraints)]))
201   (match crs
202     [(list (contract-restrict vs rec constraints) ...)
208   (match vs
209     [(list (kind-max variables maxes) ...)
216               ([name (in-list names)])
225       (match km
236       (match con
240     (match cr
258   (for ([name (in-list names)]
259         [cr (in-list crs)])
283   (match cr
286        (match const