fix binder lvl typo

2017-07-02 09:24:50 +01:00 · 2017-07-02 09:24:50 +01:00 · e188551b19
commit e188551b19
parent e19b53fd9f
1 changed files with 1 additions and 1 deletions
--- a/typed-racket-lib/typed-racket/rep/type-rep.rkt
+++ b/typed-racket-lib/typed-racket/rep/type-rep.rkt
@ -1350,7 +1350,7 @@
      ;; increment the level of the substituted object
      [(Arrow: dom rst kws rng)
       (make-Arrow (map rec dom)
-                   (and rst (rec/inc rst))
+                   (and rst (rec rst))
                   (map rec kws)
                   (rec/inc rng))]
      ;; Refinement types e.g. {x ∈ τ | ψ(x)}