Make the pattern matching exhaustive
Merge pull request #134 from joaosa/master

Make the pattern matching exhaustive