expander: avoid excessive binding information in error messages

This commit is contained in:
Matthew Flatt 2018-05-26 20:29:07 -06:00
parent 10c05aa3a1
commit b1bf333523
3 changed files with 2458 additions and 2468 deletions

View File

@ -18,7 +18,7 @@
;; ---------------------------------------- ;; ----------------------------------------
(define (syntax-debug-info-string s ctx) (define (syntax-debug-info-string s ctx)
(define info (syntax-debug-info s (expand-context-phase ctx) #t)) (define info (syntax-debug-info s (expand-context-phase ctx) #f))
(cond (cond
[(not (or (pair? (hash-ref info 'bindings null)) [(not (or (pair? (hash-ref info 'bindings null))
(for*/or ([fb-info (in-list (hash-ref info 'fallbacks null))]) (for*/or ([fb-info (in-list (hash-ref info 'fallbacks null))])

View File

@ -40,8 +40,6 @@
([sc (in-set s-scs)] ([sc (in-set s-scs)]
[(scs b) (in-binding-table sym (scope-binding-table sc) s null)] [(scs b) (in-binding-table sym (scope-binding-table sc) s null)]
#:when (and scs b #:when (and scs b
(or all-bindings?
(subset? scs s-scs))
;; Skip overidden: ;; Skip overidden:
(not (set-member? covered-scope-sets scs)))) (not (set-member? covered-scope-sets scs))))
(values (values

File diff suppressed because it is too large Load Diff