add types to unsafe-normalize-inputs in racket/private/for

The function was introduced in racket @ 18ff816358f400908b8cdc1071f3f65059da68e3
racket · Nov 6, 2020 · b6b0376 · b6b0376
1 parent f5128a5
commit b6b0376
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/typed-racket-lib/typed-racket/base-env/base-special-env.rkt b/typed-racket-lib/typed-racket/base-env/base-special-env.rkt
@@ -72,6 +72,10 @@
           (->opt -SingleFlonum -Real [-SingleFlonum] (-lst -SingleFlonum))
           (->opt -InexactReal -Real [-InexactReal] (-lst -InexactReal))
           (->opt -Real -Real [-Real] (-lst -Real)))]
+  ;; unsafe-normalise-inputs
+  [(make-template-identifier 'unsafe-normalise-inputs 'racket/private/for)
+   (-poly (a)
+          (-> (-> a -Nat) a -Nat (Un (-val #f) -Nat) -Nat (-values (list a -Index -Index -Index))))]
   ;; normalise-inputs
   [(make-template-identifier 'normalise-inputs 'racket/private/for)
    (-poly (a)