Commit ac924220 authored by Michael Hanus 's avatar Michael Hanus
Browse files

unused-bindings remove from standard warnings since it causes unintended...

unused-bindings remove from standard warnings since it causes unintended warnings for properties and contracts
parent 290aef76
......@@ -165,7 +165,7 @@ data WarnFlag
-- |Warning flags enabled by default
stdWarnFlags :: [WarnFlag]
stdWarnFlags =
[ WarnMultipleImports , WarnDisjoinedRules, WarnUnusedBindings
[ WarnMultipleImports , WarnDisjoinedRules --, WarnUnusedBindings
, WarnNameShadowing , WarnOverlapping , WarnIncompletePatterns
, WarnMissingSignatures
]
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment