www

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

test-typed-racket-chain.rkt (164B)

      1 #lang dotlambda/unhygienic typed/racket
      2 (require typed/rackunit)
      3 (define l λ.(list % 1))
      4 (check-equal? ((ann l (→ Any (Listof Any))) "b")
      5               '("b" 1))