Yes, I mention seeing this in a bug report I filed last week: https://github.com/racket/macro-debugger/issues/13
- Sam Caldwell On Thu, Feb 11, 2016 at 11:37 AM, Scott Moore <sdmo...@fas.harvard.edu> wrote: > Yes, around 80% of the time if I disable macro hiding, and sometimes even > with macro hiding if I’m moving back and forth through a long sequence of > steps. > > I had been meaning to file a report... > > On February 11, 2016 at 11:27:21 AM, Matthias Felleisen ( > matth...@ccs.neu.edu) wrote: > > > ... has anyone seen this error message from stepping thru macros: > > [:~/svn/2HtDP] matthias% sequence-contract-violation: negative: method > set-max-width cannot be called, except in states (unlocked write-lock), > args 834 > context...: > /Users/matthias/plt/racket/collects/racket/private/more-scheme.rkt:148:2: > call-with-break-parameterization > /Users/matthias/plt/racket/share/pkgs/gui-lib/mred/private/lock.rkt:43:38 > /Users/matthias/plt/racket/collects/racket/private/more-scheme.rkt:265:2: > call-with-exception-handler > /Users/matthias/plt/racket/share/pkgs/gui-lib/mred/private/wxme/text.rkt:766:2: > end-edit-sequence method in text% > /Users/matthias/plt/racket/share/pkgs/macro-debugger/macro-debugger/view/stepper.rkt:438:4: > update* method in macro-stepper-widget% > /Users/matthias/plt/racket/share/pkgs/macro-debugger/macro-debugger/view/stepper.rkt:400:31 > > .../more-scheme.rkt:261:28 > /Users/matthias/plt/racket/share/pkgs/macro-debugger/macro-debugger/view/stepper.rkt:369:24 > > > -- > 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. > > -- > 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. > -- 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.
