query: Haskell, GADTs and -fwarn-incomplete-patterns
positive_passages.docid: 147513
positive_passages.text: GHC complains about non-exhaustive patterns that are enforced by the type checker
negative_passages.docid: 76162
negative_passages.text: Does Scala's pattern matching violate the Open/Closed Principle?
negative_passages.docid: 14404
negative_passages.text: Functions vs. patterns
negative_passages.docid: 20688
negative_passages.text: Discontinuous functions with closed graphs
negative_passages.docid: 86064
negative_passages.text: Argument completions for user-defined functions
negative_passages.docid: 5461
negative_passages.text: How to code around known MMa special-case failures?
negative_passages.docid: 157222
negative_passages.text: Problems with Pattern matching, implementing SplitAt in scala
negative_passages.docid: 14134
negative_passages.text: How to define patterns to filter lists of replacement rules?
negative_passages.docid: 118234
negative_passages.text: How to Combine Pattern Constraints and Default Values for Function Arguments?
negative_passages.docid: 66916
negative_passages.text: Expressions containing globally undefined symbols inside a function where they are defined
negative_passages.docid: 47257
negative_passages.text: F# explicit member constraints: The type variable ^T could not be generalized because it would escape its scope
negative_passages.docid: 104626
negative_passages.text: Undecidable language problems.
negative_passages.docid: 16255
negative_passages.text: If $\mathop{\mathrm{Spec}}A$ is not connected then there is a nontrivial idempotent
negative_passages.docid: 70679
negative_passages.text: How to define a function in ghci across multiple lines?
negative_passages.docid: 121181
negative_passages.text: Are undefined terms allowed in a sequence?
negative_passages.docid: 1508
negative_passages.text: How do I prove that a definition of an ordered pair does not satisfy the required property?
negative_passages.docid: 28966
negative_passages.text: Is gcc 4.8 or earlier buggy about regular expressions?