diff options
Diffstat (limited to 'patches')
| -rw-r--r-- | patches/patches/46_optionals2.patch | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/patches/patches/46_optionals2.patch b/patches/patches/46_optionals2.patch index 18284da..5becede 100644 --- a/patches/patches/46_optionals2.patch +++ b/patches/patches/46_optionals2.patch @@ -1,11 +1,8 @@ 12c12 -< tail: *Elephant = undefined, // <---- make this optional! +< tail: *Elephant = null, // <---- 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? +> tail: ?*Elephant = null, // <---- make this optional! +42c42 < if (e.tail == null) ???; --- > if (e.tail == null) break; |