read: restore some lost source-location reporting

This commit is contained in:
Matthew Flatt 2018-03-01 07:54:03 -07:00
parent 82d761aef0
commit c59c961ebc

View File

@ -97,7 +97,9 @@
(define (port+config->srcloc in config)
(define-values (end-line end-col end-pos) (port-next-location in))
(srcloc (read-config-source config)
(srcloc (or (read-config-source config)
(object-name in)
"UNKNOWN")
(read-config-line config)
(read-config-col config)
(read-config-pos config)