Closed bennn closed 6 years ago
Change implementation of defthing so that if the user gives an id-expr via the #:id keyword, then defthing never uses the default id.
defthing
id-expr
#:id
id
I think this is right, based on the docs. But maybe the docs should change.
cc @dedbox for reporting this
Example program:
#lang scribble/manual @defthing[#:id (datum->syntax #f 'foo) dont-use integer?]{ Something }
Before this PR:
After this PR:
e2ea830361138212974c3637e9e928bc1f753bde
Change implementation of
defthing
so that if the user gives anid-expr
via the#:id
keyword, thendefthing
never uses the defaultid
.I think this is right, based on the docs. But maybe the docs should change.
cc @dedbox for reporting this
Example program:
Before this PR:
After this PR: