1 files changed, 11 insertions, 0 deletions
diff --git a/patches/patches/46_optionals2.patch b/patches/patches/46_optionals2.patch
new file mode 100644
index 0000000..18284da
--- /dev/null
+++ b/patches/patches/46_optionals2.patch
@@ -0,0 +1,11 @@
+12c12
+<     tail: *Elephant = undefined, // <---- make this optional!
+---
+>     tail: ?*Elephant = undefined,
+39,42c39
+<         // We should stop once we encounter a tail that
+<         // does NOT point to another element. What can
+<         // we put here to make that happen?
+<         if (e.tail == null) ???;
+---
+>         if (e.tail == null) break;