www

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

test-adt-init-no-error.rkt (311B)

      1 #lang typed/racket
      2 
      3 (require phc-adt
      4          syntax/macro-testing
      5          typed/rackunit
      6          type-expander)
      7 
      8 (adt-init)
      9 (check-not-exn (λ () (tagged t1 [x "x"] [y "2"])))
     10 (check-not-exn (λ () (match '() [(tagged tg x y) 'a] [_ 'b])))
     11 (check-not-exn (λ () (let () (define-type foo (tagged tg x y)) 1)))