redex icon indicating copy to clipboard operation
redex copied to clipboard

where/error gives uninformative error message

Open florence opened this issue 6 years ago • 0 comments

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).

florence avatar Sep 20 '19 18:09 florence