File tree Expand file tree Collapse file tree 2 files changed +5
-10
lines changed
typed-racket-lib/typed-racket
static-contracts/combinators Expand file tree Collapse file tree 2 files changed +5
-10
lines changed Original file line number Diff line number Diff line change 313313 (-> OptObject? (or/c #f exact-integer?))
314314 (match l
315315 [(LExp: c terms)
316- (if (hash-empty? terms)
317- c
318- #f )]
316+ (and (hash-empty? terms) c)]
319317 [_ #f ]))
320318
321319(define/cond-contract (in-LExp? obj l)
Original file line number Diff line number Diff line change 146146 (match-define (function-combinator args indices mand-kws opt-kws typed-side?) v)
147147 (define-values (mand-args opt-args mand-kw-args opt-kw-args rest-arg range-args)
148148 (apply split-function-args args indices))
149- (if (and (not rest-arg)
150- (null? (append mand-kw-args mand-args opt-kw-args opt-args))
151- typed-side?)
152- ;; currently we only handle this trivial case
153- ;; we could probably look at the actual kind of `range-args` as well
154- (if (not range-args) 'flat #f )
155- #f ))
149+ (and (and (not rest-arg) (null? (append mand-kw-args mand-args opt-kw-args opt-args)) typed-side?)
150+ ;; currently we only handle this trivial case
151+ ;; we could probably look at the actual kind of `range-args` as well
152+ (if (not range-args) 'flat #f )))
156153
157154
158155(define (function-sc-constraints v f)
You can’t perform that action at this time.
0 commit comments