File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -144,7 +144,6 @@ type Zero =
144144 static member Zero ( _ : unit , _ : Zero ) = ()
145145 static member Zero ( _ : bool , _ : Zero ) = false
146146 static member Zero ( _ : Set < 'a > , _ : Zero ) = Set.empty : Set< 'a>
147- static member Zero ( _ : HashSet < 'a > , _ : Zero ) = HashSet.empty : HashSet< 'a>
148147 static member Zero ( _ : Map < 'a , 'b > , _ : Zero ) = Map.empty : Map< 'a, 'b>
149148
150149 static member inline Invoke () =
@@ -208,6 +207,7 @@ type Zero with
208207 static member inline Zero ( _ : Lazy < 'a > , _ : Zero ) = let ( v : 'a ) = Zero.Invoke () in lazy v
209208 static member Zero ( _ : Dictionary < 'a , 'b > , _ : Zero ) = Dictionary< 'a, 'b> ()
210209 static member Zero ( _ : ResizeArray < 'a > , _ : Zero ) = ResizeArray () : ResizeArray< 'a>
210+ static member Zero ( _ : HashSet < 'a > , _ : Zero ) = HashSet.empty : HashSet< 'a>
211211
212212type Zero with
213213 static member inline Zero ( _ : ^R , _ : Default6 ) = FromInt64.Invoke 0 L : ^ R
You can’t perform that action at this time.
0 commit comments