racket / racket/redex

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

Open
#204 1 comment 0 reactions 1 assignee View on GitHub

@wilbowma is already working on this.

Since Oct 5, 2019.

Dominant language
Racket
Stars
112
Forks
42
No merged PRs in 30d

Description

See f10a0620a0ed2075f672a88985c2bde626774b9e

When a test-judgment-holds test fails for a modeless judgment, the error message
will incorrectly blame any sub-derivation that is not from the same judgment as
the top-level judgment.

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.