www

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

gh-bug-2.rkt (280B)

      1 #lang typed/racket
      2 (require typed-map
      3          typed/rackunit)
      4 
      5 (check-equal? (foldl (λ (x [acc : (Rec R (U Null (Pairof R Positive-Index)))])
      6                        (cons acc (add1 x)))
      7                      '()
      8                      '(1 2 3))
      9               '(((() . 2) . 3) . 4))