racket/redex

Las issues en las que quizá ya trabaja alguien aparecen al final. Ordenar todo por fecha

• judgment-holds output positions with metafunction calls

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 55/100

  racket/redex#276 · 1 comentario · Abierto el 21/5/2026

• Redex long tutorial beta-eta equivalence is false

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  racket/redex#270 · 13 comentarios · Abierto el 18/2/2025

• Reduce space between rendered rules of a judgement form

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 38/100

  racket/redex#264 · 3 comentarios · Abierto el 29/6/2023

• Redex PDF output contains a wrong font, while Racket REPL renders the correct font

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 32/100

  racket/redex#263 · 2 comentarios · Abierto el 28/6/2023

• define-metafunction does not check type signature on LHS

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  racket/redex#255 · 3 comentarios · Abierto el 26/4/2022

• Redex's reduction graph windows sneakily hide part of term reductions

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

  racket/redex#253 · 1 comentario · Abierto el 6/4/2022

• Generating random expressions sometimes results in an infinite loop

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  racket/redex#248 · Abierto el 17/9/2021

• `stepper` doesn't display whole term... unless I *narrow* its box?

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 30/100

  racket/redex#243 · Abierto el 21/7/2021

• test-->>∃ #:steps n passes test if n > than the number of actual reduction steps for a term.

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 30/100

  racket/redex#241 · 4 comentarios · Abierto el 30/5/2021

• Contract violation error in complicated binding forms

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  racket/redex#233 · 2 comentarios · Abierto el 3/3/2021

• define-term in pattern position

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  racket/redex#215 · 1 comentario · Abierto el 20/1/2020

• `generate-term` from reduction relation bypasses `#:domain`.

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

  racket/redex#214 · Abierto el 19/12/2019

• Feature request: “shallow” version of `compatible-closure-context`

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

  racket/redex#209 · 5 comentarios · Abierto el 10/11/2019

• `define-extended-language`+ overriding a `variable-not-otherwise-mentioned` with a `variable-not-in` fails.

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

  racket/redex#208 · Abierto el 21/10/2019

• `redex-check` doesn't bind patterns normally

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

  racket/redex#207 · Abierto el 19/10/2019

• documentation: what are generation failures

  Quizá libre de nuevo @wilbowma la tomó hace 2560 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  racket/redex#201 · 4 comentarios · 1 asignado · Abierto el 3/10/2019

• `cross` plus small grammar causes infinite loop in term generation

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 30/100

  racket/redex#200 · Abierto el 1/10/2019

• Feature request: explicit derivations for moded judgments

  Quizá libre de nuevo @wilbowma la tomó hace 2560 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar
  enhancement

  racket/redex#198 · 9 comentarios · 1 asignado · Abierto el 1/10/2019

• `redex-check #:satsifying` not self-consistent; related to binding?

  Quizá libre de nuevo @bfetscher la tomó hace 2445 días y no hay ningún pull request abierto. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  racket/redex#196 · 6 comentarios · 1 asignado · Abierto el 27/9/2019

• `variable-not-in` uses wrong prefix when prefix ends in a number

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

  racket/redex#194 · 1 comentario · Abierto el 26/9/2019

• where/error gives uninformative error message

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

  racket/redex#193 · Abierto el 20/9/2019

• define-extended-judgment-form should replace rules with same name

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  racket/redex#192 · 1 comentario · Abierto el 25/8/2019

• [feature request] Clarify when `redex-check` generation fails because `#:prepare` returns a bad term

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  racket/redex#183 · Abierto el 9/5/2019

• `generate-term` + missnamed cross gives an internal error message

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 38/100

  racket/redex#181 · Abierto el 8/5/2019

• Doc prose for bind pattern in reduction relations

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 1/5 Menos de una hora Aptitud para principiantes 55/100

  racket/redex#180 · Abierto el 18/4/2019

• where/error is not rendered

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

  racket/redex#179 · Abierto el 26/3/2019

• in-hole within #:refers-to causes contract violation

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 42/100

  racket/redex#168 · 4 comentarios · Abierto el 17/7/2018

• term-match/stream

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  racket/redex#167 · Abierto el 12/7/2018

• check-redundancy and the O(n^n) bubblesort

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  racket/redex#165 · 1 comentario · 1 reacción · Abierto el 11/7/2018

• Cache & profiling slow inference rules

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  racket/redex#164 · 4 comentarios · Abierto el 8/7/2018

• `render-reduction-relation` can't render all rules in an extended reduction relation

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

  racket/redex#160 · 1 comentario · Abierto el 31/5/2018

• [RFC] merge [some|all] of unstable/gui/redex into redex

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  racket/redex#150 · 8 comentarios · Abierto el 17/3/2018

• check syntax doesn't consider extensions to non-terminals as uses

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  racket/redex#137 · 3 comentarios · Abierto el 6/3/2018

• internal error via judgment form

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  racket/redex#135 · 8 comentarios · Abierto el 22/2/2018

• redex-check with broken `#:prepare` fails silently.

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

  racket/redex#108 · Abierto el 2/7/2017

• Request: once-and-for-all definitions of free-vars, free-in, not-free-in

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

  racket/redex#100 · 10 comentarios · 2 reacciones · Abierto el 23/5/2017

• Confusing behavior when a binding form is also an expression

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 2/5 1-3 horas Aptitud para principiantes 45/100

  racket/redex#97 · Abierto el 10/5/2017

• judgment-form generation failure when variable-not-otherwise-mentioned combines with variable-not-in

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

  racket/redex#76 · Abierto el 1/10/2016

• Internal contract violation when using `generate-term` that should satisfy a target judgement

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  racket/redex#75 · 7 comentarios · Abierto el 28/9/2016

• Represent terms with an opaque data type

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

  racket/redex#74 · 1 comentario · Abierto el 27/8/2016

• Improve treatment of ellipsis in `define-judgment-form`

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  racket/redex#61 · 9 comentarios · Abierto el 17/5/2016

• `redex-check` doesn't warn about ellipsis in judgment-forms more than one level deep

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  racket/redex#49 · 1 comentario · Abierto el 29/4/2016

• Binding forms parsing error

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

  racket/redex#40 · 4 comentarios · Abierto el 12/4/2016

• Running some ellipsis patterns in define-judgment-form causes syntax error.

  Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

  racket/redex#7 · 2 comentarios · Abierto el 28/7/2015

• test-judgment-holds incorrectly blames sub-derivations from other judgments

  Posiblemente ocupada @wilbowma la tomó hace 2560 días. Abierto

  ⋯Informar de un problema con este issue

  • ¿Algo no está bien?

  • Ya está asignado
  • No es para principiantes
  • Obsoleto o no válido
  • Otra cosa…
  • Enviar Cancelar

  racket/redex#204 · 1 comentario · 1 asignado · Abierto el 5/10/2019