shuhung

Add an option to directly send the URL without trampolines

2

This PR adds an option in the browser preference to send URLs directly without going through trampolines. Comments welcome! - [x] Draw the label of the checkbox from `string-constants` -...

This PR allows the html renderer to generate relative URLs for references of the installation-scope tags from the user-scope documents (in `(find-user-doc-dir)` and `(find-user-pkgs-dir)`). In particular, the index page of...

`where/error` is not rendered by `render-reduction-relation`, but I'm not sure if it is actually intended. ```racket #lang racket/base (require redex) (define-language empty) (define R (reduction-relation empty (--> integer 0 (where/error...

compound rewriter inserts 'spring, gobbling up line breaks

2

The program ``` #lang racket (require redex/reduction-semantics redex/pict) (define-language empty) (with-compound-rewriter 'R (λ (lws) `(,(list-ref lws 2) "•" ,(list-ref lws 3))) (term->pict empty (R 0 ;; line 7 1))) ;;...

Implement redex-define

4

This pull request implements a limited form of `redex-define`. `term` is implemented using `datum`. Since there's no `define/with-datum`, I don't see an easy way to support variables with ellipses in...

When two files are running at the same time, their test results are mixed together. Here is an example. In DrRacket, when I start `A.rkt` first and then run `B.rkt`...

Some WXME files contain the null character, which makes it impossible to copy and paste them as plain text. I am not sure if this is intended. - Racket version:...

Clarify that `prop:syntax-class` is in phase 1

2

Clarify that `prop:syntax-class` is in phase 1. Also replaces occurrences of `make-variable-like-transformer` and `set!-transformer-procedure` by a inline `syntax-parse`.

Legacy HTML pages

1

There are legacy HTML pages in which are leftovers from #2147. These pages are still visible (possibly through Google search) like and , etc. It might be a good idea...

This is a minor interface issue. The test engine messages are different when the test submodule is not ran by DrRacket. 1. #lang-based language: ``` #lang htdp/isl+ (check-expect 1 1)...