www

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

list-lang-test.rkt (274B)

      1 #lang s-exp phc-toolkit/list-lang
      2 
      3 (require typed/rackunit)
      4 (check-equal? whole-list '((a 1) b c (3 4 5)))
      5 
      6 (define-list-values whole-list : (Listof (U Symbol (Listof (U Symbol Number)))))
      7 ;; All the items below are quoted and aggregated into whole-list.
      8 (a 1)
      9 b
     10 
     11 c
     12 (3 4 5)