www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

test-multi-id.rkt (388B)

      1 #lang typed/racket
      2 
      3 (require multi-id
      4          type-expander
      5          typed/rackunit
      6          (for-syntax racket/list))
      7 
      8 ;; Inject in this file the tests shown in multi-id.hl.rkt
      9 (begin
     10   (require (for-syntax (submod "../multi-id.hl.rkt" test-syntax)
     11                        syntax/strip-context))
     12   
     13   (define-syntax (insert-tests stx)
     14     (replace-context stx tests))
     15 
     16   (insert-tests))