#76: Workaround compiler bug introduced by #67

mperry · mperry · commit 2ea0d2d03846 · 2015-01-10T23:26:22.000+10:00
diff --git a/core/src/main/java/fj/control/Trampoline.java b/core/src/main/java/fj/control/Trampoline.java
@@ -52,13 +52,16 @@ public <B> Trampoline<B> bind(final F<A, Trampoline<B>> f) {
     // The resumption of a Codense is the resumption of its subcomputation. If that computation is done, its result
     // gets shifted into the continuation.
     public Either<P1<Trampoline<A>>, A> resume() {
-      return left(
-             sub.resume().either(
-                     p -> p.map(ot -> ot.fold(o1 -> o1.foldNormal(o2 -> cont.f(o2), t -> t._1().bind(cont)),
-                     c -> codense(c.sub, o -> c.cont.f(o).bind(cont)))),
-                     o3 -> P.lazy(u -> cont.f(o3))
-             )
-      );
+      return left(sub.resume().either(p -> {
+        return p.map(ot -> {
+          // WARNING: In JDK 8, update 25 (current version) the following code is a
+          // workaround for an internal JDK compiler error, likely due to
+          // https:bugs.openjdk.java.net/browse/JDK-8062253.
+          F<Normal<Object>, Trampoline<A>> f = o -> o.foldNormal(o1 -> cont.f(o1), t -> t._1().bind(cont));
+          F<Codense<Object>, Trampoline<A>> g = c -> codense(c.sub, o -> c.cont.f(o).bind(cont));
+          return ot.fold(f, g);
+        });
+      }, o -> P.lazy(u -> cont.f(o))));
     }
   }
 
diff --git a/core/src/main/java/fj/data/List.java b/core/src/main/java/fj/data/List.java
@@ -78,7 +78,10 @@ public final Iterator<A> iterator() {
    * @return The length of this list.
    */
   public final int length() {
-    return foldLeft(i -> a -> i + 1, 0);
+    // WARNING: In JDK 8, update 25 (current version) the following code triggers an internal JDK compiler error, likely due to https://bugs.openjdk.java.net/browse/JDK-8062253.   The code below is a workaround for this compiler bug.
+    //    return foldLeft(i -> a -> i + 1, 0);
+    F2<Integer, A, Integer> f = (i, a) -> i + 1;
+    return foldLeft(f, 0);
   }
 
   /**
