Thanks!
it was confusing to see that changing "They" fixed he problem.
On Saturday, March 11, 2017 at 6:05:27 PM UTC-5, Ben Greenman wrote:
> Adding a field also fixes the problem:
>
>
>
> #lang scribble/manual
>
>
>
>
> @require[@for-label[racket]]
>
>
>
>
> @defstruct*[(abcdefghijklmnopqrstuvwxyzABCDEEFGHIJKLMNOPQRSTUVWX-Z ABCD) ([hi
> integer?])]{}
>
>
>
>
> and the problem has to do with how `defstruct*` renders the first line of a
> struct declaration. If the struct name and first field's name are short
> enough, it renders both on the same line. When they're* too long, it renders
> the first field name on a new line --- and assumes the struct has at least
> one field.
>
>
> This is a bug. Once it's fixed, you'll be able to document the long names
> correctly.
>
>
> * "They" = the struct's name + the first field's name (if present) + some
> padding
>
>
> On Sat, Mar 11, 2017 at 5:36 PM, Carlos Lopez <rcou...@gmail.com> wrote:
> Hi,
>
>
>
> While writing some documentation in scribble, I've discovered that using
> defstruct with really long names gives an error:
>
>
>
> the following code fails:
>
>
>
> #lang scribble/manual
>
>
>
> @require[@for-label[racket]]
>
>
>
> @defstruct*[(abcdefghijklmnopqrstuvwxyzABCDEEFGHIJKLMNOPQRSTUVWX-Z ABCD) ()]{}
>
>
>
>
>
> yet removing a character in either the long string or in ABCD makes it work.
>
>
>
> Dr. Racket provides a stacktrace but I'm unable to understand what the issue
> is.
>
>
>
> I'd like to understand what kind of limit is being broken.
>
>
>
> best,
>
> carlos
>
>
>
> --
>
> 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...@googlegroups.com.
>
> For more options, visit https://groups.google.com/d/optout.
--
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.
For more options, visit https://groups.google.com/d/optout.
