bring line lengths down below recommended widths
This commit is contained in:
parent
ce6b9d5931
commit
a01cf359eb
|
@ -51,7 +51,8 @@
|
||||||
|
|
||||||
(define tail-contract-key (gensym 'tail-contract-key))
|
(define tail-contract-key (gensym 'tail-contract-key))
|
||||||
|
|
||||||
(define-for-syntax (check-tail-contract rng-ctcs blame-party-info neg-party rng-checkers call-gen blame+neg-party)
|
(define-for-syntax (check-tail-contract rng-ctcs blame-party-info neg-party
|
||||||
|
rng-checkers call-gen blame+neg-party)
|
||||||
(unless (identifier? rng-ctcs)
|
(unless (identifier? rng-ctcs)
|
||||||
(raise-argument-error 'check-tail-contract
|
(raise-argument-error 'check-tail-contract
|
||||||
"identifier?"
|
"identifier?"
|
||||||
|
@ -64,7 +65,8 @@
|
||||||
#,(call-gen #'())
|
#,(call-gen #'())
|
||||||
#,(call-gen rng-checkers)))))
|
#,(call-gen rng-checkers)))))
|
||||||
|
|
||||||
;; matches-arity-exactly? : procedure number (or/c number #f) (listof keyword?) (listof keyword?) -> boolean
|
;; matches-arity-exactly? : procedure number (or/c number #f) (listof keyword?) (listof keyword?)
|
||||||
|
;; -> boolean
|
||||||
(define (matches-arity-exactly? val min-arity max-arity contract-req-kwds contract-opt-kwds)
|
(define (matches-arity-exactly? val min-arity max-arity contract-req-kwds contract-opt-kwds)
|
||||||
(define proc-arity (procedure-arity val))
|
(define proc-arity (procedure-arity val))
|
||||||
(and (let-values ([(vr va) (procedure-keywords val)])
|
(and (let-values ([(vr va) (procedure-keywords val)])
|
||||||
|
@ -347,7 +349,8 @@
|
||||||
#:missing-party [missing-party #f])
|
#:missing-party [missing-party #f])
|
||||||
(define num-values (length results))
|
(define num-values (length results))
|
||||||
(define blame-case (if case-context
|
(define blame-case (if case-context
|
||||||
(blame-add-context blame (format "the ~a case of" (n->th (+ case-context 1))))
|
(blame-add-context blame (format "the ~a case of"
|
||||||
|
(n->th (+ case-context 1))))
|
||||||
blame))
|
blame))
|
||||||
(raise-blame-error (blame-add-range-context blame-case)
|
(raise-blame-error (blame-add-range-context blame-case)
|
||||||
#:missing-party missing-party
|
#:missing-party missing-party
|
||||||
|
|
|
@ -290,10 +290,12 @@
|
||||||
blame-party-info
|
blame-party-info
|
||||||
neg-party
|
neg-party
|
||||||
#'not-a-null
|
#'not-a-null
|
||||||
(λ (x) (inner-stx-gen x assume-result-values? do-tail-check?))
|
(λ (x)
|
||||||
|
(inner-stx-gen x assume-result-values? do-tail-check?))
|
||||||
#'(cons blame neg-party))
|
#'(cons blame neg-party))
|
||||||
(inner-stx-gen #'() assume-result-values? do-tail-check?))
|
(inner-stx-gen #'() assume-result-values? do-tail-check?))
|
||||||
(inner-stx-gen #'not-a-null assume-result-values? do-tail-check?)))
|
(inner-stx-gen #'not-a-null assume-result-values?
|
||||||
|
do-tail-check?)))
|
||||||
(list (mk-return #f #t) (mk-return #t #t) (mk-return #t #f)))]
|
(list (mk-return #f #t) (mk-return #t #t) (mk-return #t #f)))]
|
||||||
[kwd-return
|
[kwd-return
|
||||||
(let* ([inner-stx-gen
|
(let* ([inner-stx-gen
|
||||||
|
|
Loading…
Reference in New Issue
Block a user