From b6b037635038c0cc06e01d42638a0b0d916a2f24 Mon Sep 17 00:00:00 2001 From: Fred Fu Date: Thu, 5 Nov 2020 15:13:13 -0500 Subject: [PATCH] add types to unsafe-normalize-inputs in racket/private/for The function was introduced in racket @ 18ff816358f400908b8cdc1071f3f65059da68e3 --- typed-racket-lib/typed-racket/base-env/base-special-env.rkt | 4 ++++ 1 file changed, 4 insertions(+) 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 index bedcac726..f71b7a847 100644 --- 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)