I've seen similar errors many times too (perhaps it's more common in
my machine that is slow and has windows ...)

Once I tracked it, but I never got enough details to fix it. It was a
few months ago, ... Perhaps it was another error, .... In case this is
useful ...

IIRC the problem is that two threads try to unlock-modify-lock the
editor. There is some wrapper that saves and restore the lock state.
The idea is that this work:

    unlock1-modify1-unlock2-modify2-lock2-modify1-lock1

As unlock2 sees that the editor is already unlocked, lock2 does not
lock the editor and modify1 is ok

For some reason, sometimes this is executed as

    unlock1-modify1-unlock2-modify1-lock1-modify2-lock2

As unlock1 sees that the editor is locked, lock1 locks the editor and
modify2 generates an error.

Gustavo


On Thu, Feb 11, 2016 at 1:37 PM, 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.

Reply via email to