Obtaining the following error when trying to redex-check against a grammar with nested distinct repetitions.
matcher.rkt: invariant broken; unknown-mismatch-depth should appear only when the expression is an empty list: (())
Here is a simplified version of the grammar and check.
#lang racket
(require redex/reduction-semantics)
(define-language L
[X ((number_!_ ...) ...)]
)
(redex-check L X #t)
Obtaining the following error when trying to redex-check against a grammar with nested distinct repetitions.
matcher.rkt: invariant broken; unknown-mismatch-depth should appear only when the expression is an empty list: (())Here is a simplified version of the grammar and check.