Skip to content

Commit 979dff9

Browse files
committed
Fix U to `Un'.
1 parent 049cb1a commit 979dff9

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -985,7 +985,7 @@
985985
[((-Immutable-HT a b) a (-> b b) (-> b)) (-Immutable-HT a b)]))]
986986
[hash-remove (-poly (a b) (-> (-Immutable-HT a b) Univ (-Immutable-HT a b)))]
987987
[hash-remove! (-poly (a b) (cl-> [((Un (-Mutable-HT a b) (-Weak-HT a b)) a) -Void]
988-
[((U -Mutable-HashTableTop -Weak-HashTableTop) a) -Void]))]
988+
[((Un -Mutable-HashTableTop -Weak-HashTableTop) a) -Void]))]
989989
[hash-clear! (-> -Mutable-HashTableTop -Void)]
990990
[hash-clear (-poly (a b) (-> (-Immutable-HT a b) (-Immutable-HT a b)))]
991991
[hash-copy-clear (-poly (a b) (cl-> [((-Immutable-HT a b)) (-Immutable-HT a b)]
@@ -1018,7 +1018,7 @@
10181018
[(-Mutable-HashTableTop) -Mutable-HashTableTop]
10191019
[((-Weak-HT a b)) (-Weak-HT a b)]
10201020
[(-Weak-HashTableTop) -Weak-HashTableTop]
1021-
[((-HT a b)) (U (-Mutable-HT a b) (-Weak-HT a b))]))]
1021+
[((-HT a b)) (Un (-Mutable-HT a b) (-Weak-HT a b))]))]
10221022
[eq-hash-code (-> Univ -Fixnum)]
10231023
[eqv-hash-code (-> Univ -Fixnum)]
10241024
[equal-hash-code (-> Univ -Fixnum)]

0 commit comments

Comments
 (0)