svn: r17506
This commit is contained in:
parent
cabdfc25f2
commit
c8410ef36d
|
@ -35,7 +35,7 @@
|
||||||
;; result is normalized in the following sense:
|
;; result is normalized in the following sense:
|
||||||
;; - no duplicate entries
|
;; - no duplicate entries
|
||||||
;; - nats are sorted
|
;; - nats are sorted
|
||||||
;; - at most one arity-at-least, always at the beginning
|
;; - at most one arity-at-least, always at the end
|
||||||
(define (normalize-arity a)
|
(define (normalize-arity a)
|
||||||
(if (pair? a)
|
(if (pair? a)
|
||||||
(let-values ([(min-at-least) #f])
|
(let-values ([(min-at-least) #f])
|
||||||
|
|
Loading…
Reference in New Issue
Block a user