Hello everyone!

Ah, ok. I just wanted to ask about the scribble support in Emacs, does it exist or not. But suddenly I found a package on github emacs-pe/scribble-mode.

I have small problem. In DrRacket I can import special? from scribble/text/output like so: (require (only-in scribble/text/output special?))

That works in racket 6.7, but has stopped working in 6.12.

As far as I can tell, there have been no changes to that file recently: https://github.com/racket/scribble/commits/master/scribble-text-lib/scribble/text/output.rkt

Oh! I am blind! There is a #; before the recursive contract. That means special? is no longer exported :disappointed:

Hmm. I need special? to test for entities such as nbsp and others.

Is there a possibility to use optional arguments in Typed Racket?

@dmitryhertz In Haskell, I’d use Maybe. There’s an Option type in the TR reference that looks equivalent, as long as the argument is never #f when present.

Sorry, I’ve been reading too many papers on algebraic data types. The idiomatic TR way is to use the ->* type constructor, I believe.

(section 4.3 in the Type Racket Guide)

¡Gracias amigo!) I’ll take a look the section right now! @dedbox thank you again! )

@dedbox thank you! I spent some time in struggling with the type-checker but finally it works well as expected )