Skip to content

Tolerate broken Typed Racket #457

@greghendershott

Description

@greghendershott

@samth reported on Slack that breaking Typed Racket now breaks Racket Mode.

For example "go to the typed-racket/main.rkt and add an extra (".

It breaks it because racket-mode now (transitively) depends on TR, so starting racket-mode fails
I think it's because drracket/check-syntax transitively depends on TR
maybe because the blueboxes code is typed

I suggested temporarily disabling racket-xp-mode until the error is resolved. But:

  • Try that, confirm that works.
  • Think about how to improve the experience. Maybe the Racket Mode back end check-syntax command could fail in a more graceful way (using dynamic-require and/or with-handlers) such that the front end racket-xp-mode could disable or limit itself in a more-graceful way.

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions