Many of the bugs caught so far have originated from non-exhaustive cases. The compiler should be checking for this at compile-time. There are probably more bugs caused from non-exhaustive case clauses. Moreover, as the language evolves, the compiler should inform us when semantics for the language have not yet been implemented in an instructive way.
Many of the bugs caught so far have originated from non-exhaustive cases. The compiler should be checking for this at compile-time. There are probably more bugs caused from non-exhaustive case clauses. Moreover, as the language evolves, the compiler should inform us when semantics for the language have not yet been implemented in an instructive way.