add a tail test

2016-01-15 23:43:12 -06:00 · 2016-01-15 23:43:12 -06:00 · e3abc6f5c7
commit e3abc6f5c7
parent 579d50b2d8
1 changed files with 11 additions and 0 deletions
--- a/pkgs/racket-test/tests/racket/contract/tail.rkt
+++ b/pkgs/racket-test/tests/racket/contract/tail.rkt
@ -21,6 +21,17 @@
                                       'neg)])
                     (f 3))
                   (c)))
+
+  (ctest/rewrite 1
+                 tail-arrow.2
+                 (let ([c (counter)])
+                   (letrec ([f
+                             (contract (-> any/c c)
+                                       (λ ([x #f]) (if (zero? x) x (f (- x 1))))
+                                       'pos
+                                       'neg)])
+                     (f 3))
+                   (c)))
  
  (ctest/rewrite 1
                 tail-unconstrained-domain-arrow