compile-pattern: unknown cross reference id-id

[wilbowma]

When I try to use cross in a language definition, or use cross with a non-terminal alias, I get this error.
I'm running redex-lib built from ce1360b.

Here is a test file: https://gist.github.com/wilbowma/4e8dae31a08b7c8eb693d38affa6ee4c

[rfindler]

The 'cross' pattern is not intended for direct use like that. What were you intending to achieve?

[wilbowma]

The first of those three tests passes, which is why I expected the others to work. My intention was to define a non-terminal representing arbitrary contexts by using (cross e).

[rfindler]

Here's the code in question, for easy reference:

#lang racket/base

(require
 redex/reduction-semantics)

(define-language lcL
  (e t ::= () (λ (x) e) (e e))
  (C ::= (cross e)))

(module+ test
  (require rackunit)
  (check-true
   (redex-match? lcL (cross e) (term (λ (x) hole))))
  (check-true
   (redex-match? lcL (cross t) (term (λ (x) hole))))
  (check-true
   (redex-match? lcL C (term (λ (x) hole)))))

[rfindler]

This appears to have been fixed somewhere along the way.