svn: r17509
This commit is contained in:
parent
d014e0d0d8
commit
ccacf5a651
|
@ -36,6 +36,7 @@
|
|||
;; - no duplicate entries
|
||||
;; - nats are sorted
|
||||
;; - at most one arity-at-least, always at the end
|
||||
;; - if there is only one possibility, it is returned by itself (ie, not in a list)
|
||||
(define (normalize-arity a)
|
||||
(if (pair? a)
|
||||
(let-values ([(min-at-least) #f])
|
||||
|
|
Loading…
Reference in New Issue
Block a user