Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Linklet Instantiation Error of the HtDP Plugin #3604

Closed
shhyou opened this issue Jan 4, 2021 · 2 comments
Closed

Linklet Instantiation Error of the HtDP Plugin #3604

shhyou opened this issue Jan 4, 2021 · 2 comments

Comments

@shhyou
Copy link
Collaborator

shhyou commented Jan 4, 2021

What version of Racket are you using?
v7.9.0.22 [cs]

What program did you run?

drracket with the following steps:

  1. Turn off all plugins
  2. Load only the HtDP plugin and nothing else
  3. Restart DrRacket

If you got an error message, please include it here.

$ drracket
Error invoking tool #<path:<REPO>/racket/share/pkgs/htdp-lib/lang>;"htdp-langs.rkt"

instantiate-linklet: mismatch;
 reference to a variable that is uninitialized;
 possibly, bytecode file needs re-compile because dependencies changed
  name: sig-names
  exporting instance: "<REPO>/racket/collects/racket/private/unit-compiletime.rkt"
  importing instance: "<REPO>/racket/collects/racket/private/unit-utils.rkt"
  context...:
   body of "<REPO>/racket/collects/racket/private/unit-utils.rkt"
   .../racket/unit.rkt:996:20
   <REPO>/racket/share/pkgs/drracket/drracket/private/tools.rkt:318:4
   <REPO>/racket/share/pkgs/drracket/drracket/private/tools.rkt:72:0: load/invoke-all-tools
   .../racket/unit.rkt:996:20
   body of "<REPO>/racket/share/pkgs/drracket/drracket/tool-lib.rkt"
   body of "<REPO>/racket/share/pkgs/drracket/drracket/private/drracket-normal.rkt"
   body of "<REPO>/racket/share/pkgs/drracket/drracket/drracket.rkt"
instantiate-linklet: mismatch;
 reference to a variable that is uninitialized;
 possibly, bytecode file needs re-compile because dependencies changed
  name: check-duplicate-sigs
  exporting instance: "<REPO>/racket/collects/racket/private/unit-utils.rkt"
  importing instance: "<REPO>/racket/collects/racket/private/unit-contract.rkt"
  context...:
   body of "<REPO>/racket/collects/racket/private/unit-contract.rkt"
   <REPO>/racket/share/pkgs/drracket/drracket/private/tools.rkt:385:11
   <REPO>/racket/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:435:6
   <REPO>/racket/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:486:32
   <REPO>/racket/collects/racket/private/more-scheme.rkt:148:2: call-with-break-parameterization
   <REPO>/racket/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:370:11: eventspace-handler-thread-proc
instantiate-linklet: mismatch;
 reference to a variable that is uninitialized;
 possibly, bytecode file needs re-compile because dependencies changed
  name: unit/c/core
  exporting instance: "<REPO>/racket/collects/racket/private/unit-contract.rkt"
  importing instance: "<REPO>/racket/collects/racket/unit.rkt"
  context...:
   body of "<REPO>/racket/collects/racket/unit.rkt"
   <REPO>/racket/share/pkgs/drracket/drracket/private/tools.rkt:385:11
   <REPO>/racket/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:435:6
   <REPO>/racket/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:486:32
   <REPO>/racket/collects/racket/private/more-scheme.rkt:148:2: call-with-break-parameterization
   <REPO>/racket/share/pkgs/gui-lib/mred/private/wx/common/queue.rkt:370:11: eventspace-handler-thread-proc

Please include any other relevant details

  1. If any of the following combination of plugins are also loaded, there won't be any error:
    • Algol 60 + HtDP
    • DeinProgramming DMdA + HtDP
    • DeinProgramming SDP + HtDP
  2. raco setup doesn't change anything
rfindler added a commit to racket/drracket that referenced this issue Jan 4, 2021
as it can create race conditions with other code being loaded on the main thread

Thanks to Matthew for figuring this out

related to racket/racket#3604
@rfindler
Copy link
Member

rfindler commented Jan 4, 2021

The commit racket/drracket@3a07fc0 is probably the bug, so I'll close this. But please reopen (or make a new PR) if you still see the problem.

And thanks!

@rfindler rfindler closed this as completed Jan 4, 2021
@shhyou
Copy link
Collaborator Author

shhyou commented Jan 4, 2021

It's working for me too. Thank you!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants