diff options
| author | Doug Wilson <dwilson@ricoh.co.nz> | 2017-06-03 22:02:08 +1200 |
|---|---|---|
| committer | Alex Biehl <alexbiehl@gmail.com> | 2017-06-03 12:02:08 +0200 |
| commit | a1b57146c5678b32eb5ac37021e93a81a4b73007 (patch) | |
| tree | 8bfb5e418930b3af313ba80cf0c26c4a34675c75 /html-test/ref/Extensions.html | |
| parent | c4a06a877be56d5cd790f8abb7928fa39458e1e4 (diff) | |
Disable pattern match warnings (#628)
This disables the pattern match checker which can be very expensive in some
cases.
The disabled warnings include:
* Opt_WarnIncompletePatterns
* Opt_WarnIncompleteUniPatterns
* Opt_WarnIncompletePatternsRecUpd
* Opt_WarnOverlappingPatterns
Diffstat (limited to 'html-test/ref/Extensions.html')
0 files changed, 0 insertions, 0 deletions