DrRacket REPL is broken #4

New Issue

2019-03-20T18:27:36Z

dented42 commented

2019-03-20 18:27:36 +00:00

(Migrated from github.com)

When running a hyper-literate module in DrRacket, none of the identifiers bound in the module seem to exist in the REPL.

SuzanneSoy commented

2019-03-20 19:16:39 +00:00

(Migrated from github.com)

This is because an extra scope is added on the whole body of the module.

ae57a0d043/private/common.rkt (L176)

As a quick fix, you can replace #,(meta-language-nesting #'expanded-body) with #,(values #'expanded-body) in your copy of the file (in ~/.racket/YOUR_VERSION/pkgs/hyper-literate/private/common.rkt).

I'll push a fix soon which disables that scope with an option. Unfortunately, I cannot remove it without a second thought, because that would likely be a breaking change, and I have no way to test for regressions.

TL;DR: hyper-literate is a hack, and contains quite a few bugs that cannot be avoided due to Racket's module, scope and expansion systems.

Racket's notions of scopes, modules, submodules and expansion are fairly broken. Hyper-literate splits the document into two parts (the chunks put in the right order, and the prose rendered with scribble), and injects a require for the language that you specified (e.g. typed/racket).

There is no clean way to do this without breaking things with the chunk part or with the doc part. For example, you'll notice that DrRacket does not draw arrows for scribble identifiers (e.g. bold) and there's no way that I could find to fix that.

This is because an extra scope is added on the whole body of the module. https://github.com/jsmaniac/hyper-literate/blob/ae57a0d043fe3030b0c673e85de2641a2b235bee/private/common.rkt#L176 As a quick fix, you can replace `#,(meta-language-nesting #'expanded-body)` with `#,(values #'expanded-body)` in your copy of the file (in `~/.racket/YOUR_VERSION/pkgs/hyper-literate/private/common.rkt`). I'll push a fix soon which disables that scope with an option. Unfortunately, I cannot remove it without a second thought, because that would likely be a breaking change, and I have no way to test for regressions. -------- TL;DR: hyper-literate is a hack, and contains quite a few bugs that cannot be avoided due to Racket's module, scope and expansion systems. Racket's notions of scopes, modules, submodules and expansion are fairly broken. Hyper-literate splits the document into two parts (the `chunk`s put in the right order, and the prose rendered with scribble), and injects a `require` for the language that you specified (e.g. `typed/racket`). There is no clean way to do this without breaking things with the `chunk` part or with the `doc` part. For example, you'll notice that DrRacket does not draw arrows for `scribble` identifiers (e.g. `bold`) and there's no way that I could find to fix that.

Sign in to join this conversation.