racket / redex

racket/redex Issues

Reduce space between rendered rules of a judgement form
Updated a year ago3
Redex PDF output contains a wrong font, while Racket REPL renders the correct font
Updated a year ago2
Default rendering font changed between Racket v8.8 and v8.9?
Closed a year ago4
`derivation/ps` always causes an error by calling a non-existent method
Closed a year ago1
Docs missing a word I can't fill in.
Closed 2 years ago1
define-metafunction does not check type signature on LHS
Updated 2 years ago3
where/error doesn't report errors sometimes
Closed 2 years ago8
Redex's reduction graph windows sneakily hide part of term reductions
Updated 2 years ago1
using judgment-holds within define-relation
Closed 2 years ago1
where/error failures don't tell you what failed to match
Closed 2 years ago
where/error failures give no information about source of error
Closed 3 years ago6
Generating random expressions sometimes results in an infinite loop
Updated 3 years ago
Redex rejects literals at different ellipsis depths in binding form declarations
Closed 3 years ago1
Internal error using side-condition before ellipsis in pattern
Closed 3 years ago
Feature request: adjust font for `stepper`
Closed 3 years ago3
`traces` doesn't draw arrows after "fix layout"
Closed 3 years ago5
test-->>∃ #:steps n passes test if n > than the number of actual reduction steps for a term.
Updated 3 years ago4
Feature Request: `stepper` with judgment-form use rule names
Closed 3 years ago
`stepper` doesn't display whole term... unless I *narrow* its box?
Updated 3 years ago
Feature request: tag-with-names for apply-reduction-relation*
Closed 3 years ago2
Defining mutually recursvie judgments/meta-functions
Closed 3 years ago2
define-(extended|overriding)-judgment-form doesn't extend modeless judgments
Closed 3 years ago
Severe space time leak in matcher
Closed 3 years ago17
Bug with ... in complicated pattern for modeless judgment
Closed 3 years ago12
Contract violation error in complicated binding forms
Updated 3 years ago2
test-->>∃ uses equal? by default
Closed 3 years ago1
Internal error in modeless `define-judgment-form` when only some judgments have ellipses
Closed 3 years ago1
Clarify error message when expression isn't in reduction relation's domain
Closed 4 years ago2
make redex require options more visible to newcomers
Closed 4 years ago4
error: token->pict #(struct:spacer-token 0 -4) when typesetting normal 'ol let
Closed 4 years ago3
render-language doesn't properly typeset some non-terminals for extended language
Closed 4 years ago
`(in-hole E hole)` typesets as just `E`
Closed 4 years ago2
context well-formedness checking doesn't work when ellipses are nested
Closed 4 years ago
Odd in-hole behaviour.
Closed 4 years ago6
Using metafunctions inside modeless judgment premises causes judgment not to hold
Closed 4 years ago2
`judgment-holds` of a modeless judgment fails oddly if that judgment uses a moded judgment
Closed 4 years ago3
`; hash-ref: no value found for key` using `compatible-closure-context` multiple non-terminals
Closed 4 years ago4
Pattern matcher infinitely loops on extended union language
Closed 4 years ago3
Feature request: Reinterpret metafunctions in new language when using `extend-reduction-relation`
Closed 4 years ago3
Extending judgment with same name can eat memory
Closed 4 years ago
`render-language` can yield a pict error
Closed 4 years ago4
`render-language` can give internal error
Closed 4 years ago
define-term in pattern position
Updated 4 years ago1
`generate-term` from reduction relation bypasses `#:domain`.
Updated 5 years ago
define-extended-language fails for aliasing non-terminals with holes
Closed 5 years ago
Feature request: “shallow” version of `compatible-closure-context`
Updated 5 years ago5
`define-extended-language`+ overriding a `variable-not-otherwise-mentioned` with a `variable-not-in` fails.
Updated 5 years ago
`redex-check` doesn't bind patterns normally
Updated 5 years ago
expose `test-match`
Closed 5 years ago4
test-judgment-holds incorrectly blames sub-derivations from other judgments
Updated 5 years ago1