Hello,
This is mainly a question out of curiosity, because I think I figured out
how to do what I want.
I'm setting up a small (8 functions and 2 macros) package called
typed-compose. I called the main file typed-compose.rkt (not main.rkt) and
put the following in the preamble of typed-compose.scrbl:
@(require scribble/example racket/sandbox
(for-label racket/base "typed-compose.rkt"
(only-in typed/racket/base
-> compose)))
I then get the following undefined tag errors:
WARNING: undefined tag in <pkgs>/typed-compose/typed-compose.scrbl:
((lib "typed-compose/typed-compose.rkt") compose-3)
((lib "typed-compose/typed-compose.rkt") compose-4)
((lib "typed-compose/typed-compose.rkt") compose-n)
((lib "typed-compose/typed-compose.rkt") multi-chain)
((lib "typed-compose/typed-compose.rkt") multi-compose)
These symbols happen to be those for which typed-compose.scrbl has defproc
or defform statements.
Weirdly, evaluators set up by the following code work no problem:
@(define typed-compose-evaluator
(parameterize ([sandbox-output 'string]
[sandbox-error-output 'string]
[sandbox-memory-limit 50])
(make-evaluator 'typed/racket/base #:requires '("typed-compose.rkt"))))
If I now rename typed-compose.rkt to main.rkt and update all the references
to this file, everything works fine. Everything also works fine if I
replace "main.rkt" by typed-compose in typed-compose.scrbl.
I read up some docs and recalled that main.rkt is what require
automatically looks for when I give it a collection name (not a file
name). However, I am somewhat surprised to see (require (for-label
"typed-compose.rkt")) fail in this context.
Is it correct that calling the main file of the package something else than
main.rkt is bad style, unsupported by Scribble?
-
Sergiu
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-users/d115ae86-6700-4526-8b22-dd62a461a80bn%40googlegroups.com.
