redex
redex copied to clipboard
where/error gives uninformative error message
Consider:
#lang racket
(require redex/reduction-semantics)
(define-language L)
(define-metafunction L
[(test any)
#f
(where/error 1 any)])
(term (test 2))
Which gives the error message define-metafunction: where/error did not match. It would be more helpful if this error message include the term that failed to match and the what the call to the metafunction was (like side-condition).