Skip to content

Commit b6b0376

Browse files
capfredfsamth
authored andcommitted
add types to unsafe-normalize-inputs in racket/private/for
The function was introduced in racket @ 18ff816358f400908b8cdc1071f3f65059da68e3
1 parent f5128a5 commit b6b0376

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

typed-racket-lib/typed-racket/base-env/base-special-env.rkt

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -72,6 +72,10 @@
7272
(->opt -SingleFlonum -Real [-SingleFlonum] (-lst -SingleFlonum))
7373
(->opt -InexactReal -Real [-InexactReal] (-lst -InexactReal))
7474
(->opt -Real -Real [-Real] (-lst -Real)))]
75+
;; unsafe-normalise-inputs
76+
[(make-template-identifier 'unsafe-normalise-inputs 'racket/private/for)
77+
(-poly (a)
78+
(-> (-> a -Nat) a -Nat (Un (-val #f) -Nat) -Nat (-values (list a -Index -Index -Index))))]
7579
;; normalise-inputs
7680
[(make-template-identifier 'normalise-inputs 'racket/private/for)
7781
(-poly (a)

0 commit comments

Comments
 (0)