diff options
-rw-r--r-- | docs/_includes/features.html | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/docs/_includes/features.html b/docs/_includes/features.html index bbba6d54c..ba004d68b 100644 --- a/docs/_includes/features.html +++ b/docs/_includes/features.html @@ -49,8 +49,8 @@ <td>Implemented</td> </tr> <tr class="odd"> - <td></td> - <td></td> + <td>Exhaustivity checks in pattern matching</td> + <td>Implemented</td> </tr> <tr class="even"> <td>Non-boxed arrays of value classes</td> @@ -92,14 +92,9 @@ <td>Spec Option-less pattern matching</td> <td>Considered</td> </tr> - <tr class="even"> - <td>Exhaustivity checks in pattern matching</td> - <td>Considered</td> - </tr> </tbody> </table> </div> - <p>The complete list is available <a href="https://github.com/lampepfl/dotty#what-are-the-features-that-could-make-me-consider-trying-it">here</a>.</p> <h1 id="talks-on-dotty">Talks on Dotty?</h1> <ul> <li><a href="https://www.youtube.com/watch?v=WxyyJyB_Ssc">Compilers are Databases</a> by Martin Odersky (<a href="http://www.slideshare.net/Odersky/compilers-are-databases">slides</a>)</li> |