Warn on pattern bindings that have the same name as a variant#19115

Closed

ghost wants to merge 2 commits intomasterfrom

unknown repository

Commits on Nov 26, 2014

Warn on pattern bindings that have the same name as a variant
Jakub Bukaj
committed
Do not print any warnings if '-A warnings' is specified on the command line
Jakub Bukaj
committed