Skip to content

Address error encountered in sandboxed evaluator#46

Open
countvajhula wants to merge 1 commit intoracket:masterfrom
countvajhula:master
Open

Address error encountered in sandboxed evaluator#46
countvajhula wants to merge 1 commit intoracket:masterfrom
countvajhula:master

Conversation

@countvajhula
Copy link

Eta-expand dynamic-require as discussed in #45.

I verified that this causes the error to go away when building docs locally.

Eta-expand `dynamic-require` to fix racket#45.
@sorawee
Copy link

sorawee commented Apr 12, 2024

The merge window for 8.13 is closing very soon. Do you think this should be a part of 8.13? If so, we need to merge it soon-ish. @rmculpepper @countvajhula.

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

Successfully merging this pull request may close these issues.

2 participants