expose `test-match` - Githubissues

racket / redex

Other

93 stars 36 forks source link

Closed wilbowma closed 5 years ago

wilbowma commented 5 years ago

I was just writing a tutorial, and noticed test-match didn't exist. So I went to add it. Except it does exist! it's just not exposed.

I'm planning to document and expose it, unless there are good reasons not to.

rfindler commented 5 years ago

Do you mean redex-match?

wilbowma commented 5 years ago

Oh I see, it got renamed-out. Well then maybe I'll add it after all.

The problem I'm having is that right now, when I want to write pattern-matching tests, I have to write:

(test-predicate (redex-match? L any_1) (term e)

Seems like there ought to be a test- version of redex-match?.

rfindler commented 5 years ago

Yes, a test version of redex-match sounds nice!

wilbowma commented 5 years ago

closed by c1e941b0c3d577ec3e10083bcd3229d96e2b1224