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 /.arclint | |
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 '.arclint')
0 files changed, 0 insertions, 0 deletions