aboutsummaryrefslogtreecommitdiff
path: root/patches/patches/046_optionals2.patch
diff options
context:
space:
mode:
Diffstat (limited to 'patches/patches/046_optionals2.patch')
-rw-r--r--patches/patches/046_optionals2.patch13
1 files changed, 0 insertions, 13 deletions
diff --git a/patches/patches/046_optionals2.patch b/patches/patches/046_optionals2.patch
index 10705d9..8437cdc 100644
--- a/patches/patches/046_optionals2.patch
+++ b/patches/patches/046_optionals2.patch
@@ -1,16 +1,3 @@
-8,19d7
-< // We also introduce the handy ".?" shortcut:
-< //
-< // const foo = bar.?;
-< //
-< // is the same as
-< //
-< // const foo = bar orelse unreachable;
-< //
-< // See if you can find where we use this shortcut below.
-< //
-< // Now let's make those elephant tails optional!
-< //
24c12
< tail: *Elephant = null, // Hmm... tail needs something...
---