search

racket / rackunit

Other
18 stars 34 forks source link

typed/rackunit: check-match missing #129

Open jessealama opened 3 years ago

jessealama commented 3 years ago

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

jessealama commented 3 years ago

@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 commented 3 years ago

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

jessealama commented 3 years ago

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