www

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

base-lang-test-2.rkt (162B)

      1 #lang racket
      2 
      3 (module m type-expander/base
      4   (require typed/rackunit)
      5   (check-equal? (ann (add1 1)
      6                      (Let ([T Number]) T))
      7                 2))