Is anyone aware why class* is not available in typed racket? What is the alternative to interface when you move to typed racket?

Ah ok, I found #:implements in typed racket… that’s probably the answer.

I felt asleep thinking about it. I wanted to try this solution the next day. Well, it actually works :wink:

I am having problem with one of my packages scribble rendering - all my definitions are red underlines and raco setup screams of WARNING: undefined tag in …

package installs/links correctly I use for label but to no avail

I am out of ideas - any suggestions?

@githree Maybe you need a defmodule somewhere?

it is there at the top

none of my other local packages had this problem, I wouldn’t be surprised if it is something simple

I tried with package name and relative path, raco setup and Scribble HTML button it doesn’t see any of these definitions

@githree have you specified #:packages explicitly in your defmodule?

@defmodule[texmath #:packages ("texmath")]

I have just tried this but unfortunately it didn’t help

D’oh! Another guess: have you tried deleting the old output directory, doc?

I seem to remember having this problem once before and it was something basic I overlooked.

thanks for ideas - I have just tried to remove anything generated (doc compiled etc.) still no effect

it seems after few hours trying to resolve it I will try to rebuild new package from scratch as I am out of ideas

still it would be good to know what’s happening

just in case I will try with different name

for the package

no clue what was wrong but I got it working now with new package

@githree maybe you were missing a (require (for-label whatever))? This has frustrated me before as well

Hello everyone!

I write a scribble doc and there’s a question. How can I describe an optional argument in @defproc?

@dmitryhertz you can add a default value to the end of an argument definition inside the @defproc

Woo-hoo! Thank you very much!:+1:

:grin: