Why I care: I wrote a macro that both defines a contracted function and
defines a macro that expands to a Scribble 'defproc' with the same
contract. With the source locations gone (recursively), Scribble can't
format the contracts, and I end up with things like (real-in01) instead
of (real-in 0 1).
(I know about scribble/srcdoc, but dependencies keep me from using it.)
Suppose I have a "location reporter" macro, which is generated by a macro:
#lang racket
(require (for-syntax syntax/srcloc))
(provide location-reporter)
(define-syntax (make-location-reporter stx)
(syntax-case stx ()
[(_ name) #'(define-syntax (name inner-stx)
(syntax-case inner-stx ()
[(_) #`#,(source-location->string #'name)]))]))
(make-location-reporter location-reporter)
If I compile this in DrRacket, require it from another module, and do
(location-reporter)
it expands to
"<collects>/plot/location-reporter.rkt:13.24"
as I expect. But if I compile it as part of "raco setup", it expands to
"<collects>/plot/location-reporter.rkt"
I understand that stripping source locations is an optimization. But is
there a way to turn it off, or preserve them, recursively, another way?
Also, exactly how is the location information disappearing? Does it
happen when 'name' above is double-syntax-quoted?
Neil T
_________________________________________________
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
