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 [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/racket-users/d115ae86-6700-4526-8b22-dd62a461a80bn%40googlegroups.com.
