Manually cleaned up patches/patches for issue #73

Patches cleaned and fixed by hand as proof of my devotion. <3
This commit is contained in:
Dave Gauer
2022-03-19 21:10:44 -04:00
parent c3128f3dee
commit f6d1b36be2
11 changed files with 13 additions and 109 deletions

View File

@@ -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...
---