search

racket / drracket

DrRacket, IDE for Racket
http://www.racket-lang.org/
Other
444 stars 93 forks source link

Error when launching DrRacket #648

Closed Reilithion closed 6 months ago

Reilithion commented 8 months ago

When launching DrRacket, I get the following error:

match: no matching clause for '#(syncheck:add-definition-target 27479 27499 contract-defs-submod (#%contract-defs-reference)) location...: share\pkgs\drracket\drracket\private\syncheck\gui.rkt:2250:10 context...: C:\Program Files\Racket\share\pkgs\drracket\drracket\private\syncheck\gui.rkt:2209:10: loop C:\Program Files\Racket\share\pkgs\drracket\drracket\private\module-language.rkt:2356:2: oc-monitor-value C:\Program Files\Racket\share\pkgs\gui-lib\mred\private\wx\common\queue.rkt:436:6 C:\Program Files\Racket\share\pkgs\gui-lib\mred\private\wx\common\queue.rkt:487:32 C:\Program Files\Racket\share\pkgs\gui-lib\mred\private\wx\common\queue.rkt:639:3

The #lang line is: #lang typed/racket/base

I have run raco setup with admin privileges as well as racket -y. The behavior has not changed after doing so.

rfindler commented 8 months ago

Can you supply a complete file that causes this issue (we'd need a program that expands successfully to reproduce I believe)?

Reilithion commented 8 months ago

A complete file follows:

#lang typed/racket/base

In other words, a default, basically empty document causes the issue for me.

rfindler commented 8 months ago

Which version of DrRacket are you using?

Reilithion commented 8 months ago

Welcome to DrRacket, version 8.10, english by PLT.

Reilithion commented 8 months ago

drracketerr

rfindler commented 8 months ago

Hm. I'm not able to see why that would happen from code inspection nor can I make it happen in my installation.

It is a problem for online expansion so you can probably make it go away by right clicking on the small circle at the bottom right of the window and selecting "Disable Background Expansion". Sorry I don't have anything more useful to offer.

Metaxal commented 8 months ago

Perhaps try to delete or rename the prefs.rktd file?

On Mon, 30 Oct 2023, 23:20 Robby Findler, @.***> wrote:

Hm. I'm not able to see why that would happen from code inspection nor can I make it happen in my installation.

It is a problem for online expansion so you can probably make it go away by right clicking on the small circle at the bottom right of the window and selecting "Disable Background Expansion". Sorry I don't have anything more useful to offer.

— Reply to this email directly, view it on GitHub https://github.com/racket/drracket/issues/648#issuecomment-1786195275, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAMU2HCRMJADLCHHVH7QQ3LYCAY4PAVCNFSM6AAAAAA6WYX4UGVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTOOBWGE4TKMRXGU . You are receiving this because you are subscribed to this thread.Message ID: @.***>

Reilithion commented 8 months ago

Perhaps try to delete or rename the prefs.rktd file?

I tried this and it did not resolve the issue. I checked to make sure I get the same error, and it appears to be exactly the same.

rfindler commented 6 months ago

I'm going to close this because I cannot reproduce it. From my memory and looking at the error message, it looks like two parts of DrRacket are out of sync with each other (as if one file is from one version of DrRacket and another is from another).

Please feel free to reopen if there is new information that could help us track down what actually went wrong.