Avoid providing renamed identifiers.
original commit: 00f9e6342f481dae77e8161f1a71ecc0e39a55b4
This commit is contained in:
parent
114e2d3866
commit
37672bf915
|
@ -24,5 +24,5 @@
|
|||
(require (only-in spec id ...) ...)
|
||||
(provide id ...) ...
|
||||
(provide (rename-out [b* b] ...))
|
||||
(provide (all-from-out ts))
|
||||
(provide (except-out (all-from-out ts) b* ...))
|
||||
(provide (all-from-out lb) ...))))))]))
|
||||
|
|
Loading…
Reference in New Issue
Block a user