Next: Warnings about possible predicate incorrectness, Previous: Warnings about possible module incorrectness, Up: Warnings about possible incorrectness [Contents][Index]
--no-warn-insts-without-matching-typeDo not warn about insts that are not consistent with any of the types in scope.
--warn-insts-with-functors-without-typeWarn about insts that do specify functors, but do not specify what type they are for.