typed/rackunit: check-match missing

[jessealama]

The Typed Racket variant of rackunit seems to be missing untyped rackunit's check-match.

[jessealama]

@bennn Do you have any idea how this might be accomplished? check-match is a macro provided by (untyped) rackunit. I'd like to re-provide it from a Typed Racket module. Something like this doesn't seem to work:

(require/typed/provide
    rackunit
  [check-match Syntax])

[samth]

Unfortunately you basically have to re-write the macro in typed/rackunit.

[jessealama]

I feared as much. I couldn't tell if this was a simple omission or whether something deeper was going on. Thanks for confirming.