racket redex issues - Githubissues

racket / redex

Other

93 stars 36 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Matcher Invariant Violated

#268 brysenPfingsten closed 1 week ago
0
docs: add missing links to bindings

#267 usaoc closed 1 year ago
1
Implement redex-define

#266 shhyou closed 1 year ago
4
`traces/ps` doesn't render arrows

#265 camoy closed 1 year ago
1
Reduce space between rendered rules of a judgement form

#264 o6po5fcs opened 1 year ago
3
Redex PDF output contains a wrong font, while Racket REPL renders the correct font

#263 o6po5fcs opened 1 year ago
2
Default rendering font changed between Racket v8.8 and v8.9?

#262 o6po5fcs closed 1 year ago
4
doc: fix styles for render-relation and render-judgment-form

#261 capfredf closed 1 year ago
1
Add Resyntax integration

#260 jackfirth closed 1 year ago
0
`derivation/ps` always causes an error by calling a non-existent method

#259 nxjfxu closed 1 year ago
1
eta and beta aren't nicely compatible with n-ary functions

#258 rfindler opened 1 year ago
0
Support simultaneous substitutions

#257 philnguyen closed 2 years ago
11
Docs missing a word I can't fill in.

#256 jasonhemann closed 2 years ago
1
define-metafunction does not check type signature on LHS

#255 digama0 opened 2 years ago
3
where/error doesn't report errors sometimes

#254 nikomatsakis closed 2 years ago
8
Redex's reduction graph windows sneakily hide part of term reductions

#253 jasonhemann opened 2 years ago
1
using judgment-holds within define-relation

#252 dvanhorn closed 2 years ago
1
where/error failures don't tell you what failed to match

#251 nikomatsakis closed 2 years ago
0
where/error failures give no information about source of error

#250 nikomatsakis closed 3 years ago
6
add license to package info.rkt files

#249 LiberalArtist closed 3 years ago
0
Generating random expressions sometimes results in an infinite loop

#248 joshuaharry opened 3 years ago
0
Redex rejects literals at different ellipsis depths in binding form declarations

#247 shhyou closed 3 years ago
1
Feature request: adjust font for `stepper`

#246 wilbowma closed 3 years ago
3
Add rule names to runtime judgment form, for stepper support

#245 wilbowma closed 3 years ago
2
Feature Request: `stepper` with judgment-form use rule names

#244 wilbowma closed 3 years ago
0
`stepper` doesn't display whole term... unless I *narrow* its box?

#243 wilbowma opened 3 years ago
0
`traces` doesn't draw arrows after "fix layout"

#242 wilbowma closed 3 years ago
5
test-->>∃ #:steps n passes test if n > than the number of actual reduction steps for a term.

#241 xyzwwwww opened 3 years ago
4
Feature request: tag-with-names for apply-reduction-relation*

#240 xyzwwwww closed 3 years ago
2
Defining mutually recursvie judgments/meta-functions

#239 mbuszka closed 3 years ago
2
Updating docs to match extension of tutorial lang

#238 jasonhemann closed 3 years ago
1
Refine hash table's type.

#237 NoahStoryM closed 3 years ago
1
Severe space time leak in matcher

#236 wilbowma closed 3 years ago
17
Bug with ... in complicated pattern for modeless judgment

#235 laelath closed 3 years ago
12
define-(extended|overriding)-judgment-form doesn't extend modeless judgments

#234 laelath closed 3 years ago
0
Contract violation error in complicated binding forms

#233 david-christiansen opened 3 years ago
2
test-->>∃ uses equal? by default

#232 yiyunliu closed 3 years ago
1
Internal error in modeless `define-judgment-form` when only some judgments have ellipses

#231 laelath closed 3 years ago
1
Internal error using side-condition before ellipsis in pattern

#230 wilbowma closed 3 years ago
0
make redex require options more visible to newcomers

#229 onelharrison closed 3 years ago
4
error: token->pict #(struct:spacer-token 0 -4) when typesetting normal 'ol let

#228 wilbowma closed 4 years ago
3
render-language doesn't properly typeset some non-terminals for extended language

#227 wilbowma closed 4 years ago
0
Odd in-hole behaviour.

#226 mamysa closed 4 years ago
6
context well-formedness checking doesn't work when ellipses are nested

#225 rfindler closed 4 years ago
0
Pattern matcher infinitely loops on extended union language

#224 wilbowma closed 4 years ago
3
`; hash-ref: no value found for key` using `compatible-closure-context` multiple non-terminals

#223 wilbowma closed 4 years ago
4
`judgment-holds` of a modeless judgment fails oddly if that judgment uses a moded judgment

#222 florence closed 4 years ago
3
Feature request: Reinterpret metafunctions in new language when using `extend-reduction-relation`

#221 jsjolen closed 4 years ago
3
Clarify error message when expression isn't in reduction relation's domain

#220 jsjolen closed 3 years ago
2
Using metafunctions inside modeless judgment premises causes judgment not to hold

#219 atgeller closed 4 years ago
2