File tree Expand file tree Collapse file tree 1 file changed +3
-9
lines changed
Expand file tree Collapse file tree 1 file changed +3
-9
lines changed Original file line number Diff line number Diff line change @@ -194,17 +194,11 @@ type DList<'T> (length: int, data: DListData<'T>) =
194194 | Join ( x, y) -> yield ! walk ( y:: rights) x }
195195 ( walk [] data) .GetEnumerator ()
196196
197- interface IEnumerable< 'T> with
198- member s.GetEnumerator () = s.toSeq ()
199-
200- interface IReadOnlyCollection< 'T> with
201- member s.Count = s.Length
202-
203197 interface IReadOnlyList< 'T> with
204198 member s.Item with get index = s.Item index
205-
206- interface System.Collections.IEnumerable with
207- override s.GetEnumerator () = ( s.toSeq () :> System.Collections.IEnumerator)
199+ member s.Count = s.Length
200+ member s.GetEnumerator () = s.toSeq ()
201+ member s.GetEnumerator () = s.toSeq () :> System.Collections.IEnumerator
208202
209203
210204[<RequireQualifiedAccess>]
You can’t perform that action at this time.
0 commit comments