From 6b57cfa72cfa1f1564dce27ce2a7515fca28c15f Mon Sep 17 00:00:00 2001
From: liboz <ringil.sword@gmail.com>
Date: Fri, 9 Sep 2016 11:01:39 -0400
Subject: [PATCH] Proof of concept of seq.map chaining

---
 src/fsharp/FSharp.Core/seq.fs | 32 +++++++++++++++++++++-----------
 1 file changed, 21 insertions(+), 11 deletions(-)

diff --git a/src/fsharp/FSharp.Core/seq.fs b/src/fsharp/FSharp.Core/seq.fs
index ddf73fb5cc..0c7acdb4f5 100644
--- a/src/fsharp/FSharp.Core/seq.fs
+++ b/src/fsharp/FSharp.Core/seq.fs
@@ -107,18 +107,28 @@ namespace Microsoft.FSharp.Collections
               member this.Reset() = noReset()
           interface System.IDisposable with
               member this.Dispose() = this.Dispose()
+      
+      [<AbstractClass>]
+      type MapSingleAbstractEnumerator<'T> () =
+          inherit MapEnumerator<'T> ()
+          abstract member Map: ('T -> 'TResult) -> IEnumerator<'TResult>
 
-      let map f (e : IEnumerator<_>) : IEnumerator<_>=
-          upcast
-              { new MapEnumerator<_>() with
-                    member this.DoMoveNext (curr : byref<_>) =
-                        if e.MoveNext() then
-                            curr <- (f e.Current)
-                            true
-                        else
-                            false
-                    member this.Dispose() = e.Dispose()
-              }
+      type MapSingleEnumerator<'T0, 'T1> (e: IEnumerator<'T0>, f: 'T0 -> 'T1) = 
+          inherit MapSingleAbstractEnumerator<'T1> ()
+          override this.DoMoveNext (curr : byref<_>) =
+                if e.MoveNext() then
+                    curr <- f e.Current
+                    true
+                else
+                    false
+          override this.Dispose() = e.Dispose()
+          override this.Map (g: 'T1 -> 'T2) = new MapSingleEnumerator<'T0, 'T2>(e, f >> g) :> IEnumerator<'T2>
+      
+      let map f (e : IEnumerator<_>) : IEnumerator<_> =
+          match e with
+          | :? MapSingleAbstractEnumerator<'TSource> as i -> 
+                    i.Map(f)
+          | _ -> new MapSingleEnumerator<'TSource, 'TResult>(e, f) :> IEnumerator<'TResult>
 
       let mapi f (e : IEnumerator<_>) : IEnumerator<_> =
           let f = OptimizedClosures.FSharpFunc<_,_,_>.Adapt(f)