Same but also binary values "#b...".
I think I've been using @code{} to get these to render right, but this doesn't
work in all contexts.On Fri, Sep 18, 2020 at 02:36:53PM -0400, Ben Greenman wrote: > +1 > > For now, I've used hacks like `(string->number "#x...")` for typesetting > https://docs.racket-lang.org/pict-abbrevs/index.html > > On 9/18/20, Dominik Pantůček <dominik.pantu...@trustica.cz> wrote: > > Hello Racketeers, > > > > I am struggling to make scribble typeset default values in > > proc-doc/names in hexadecimal. An example would be: > > > > (proc-doc/names > > name > > (->* () (integer?) void?) > > (() > > ((argument #x1f))) > > @{ some description }) ; yes, at-exp reader > > > > The same applies to values in nested contracts of ->* - like (integer-in > > 0 #x1f). > > > > Of course #,(~a "~x" #x1f) will produce the string with appropriate > > contents - but enclosed in parentheses which does not help much. Also it > > is not just a matter of typesetting because the provide form really > > contracts the procedure being provided and the actual values should > > actually be present. > > > > I would love to see some documentation-stage parameter where I could > > just (parameterize ((numbers-as-hexadecimal #t)) (integer-in ...) ...) > > and it would keep the values as they are for contract purposes and > > render them hexadecimal. Of course, this is quite specific - more > > generic solution is probably more appropriate, this is just to explain > > the problem I am trying to solve. > > > > > > Cheers, > > Dominik > > > > -- > > 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/aca5b2ab-36b6-98c6-0747-9d5447ae9766%40trustica.cz. > > > > -- > 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/CAFUu9R7xE4j4f8CLqWhV3-jRKMifFxUfLBx7xBogiuaT37OwqA%40mail.gmail.com. -- 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/20200918225945.GC681905%40williamjbowman.com.
