You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
$ ./bin/gradualizer exhaustivity_issue.erl
exhaustivity_issue.erl: Nonexhaustive patterns on line 11 at column 1
Example values which are not covered:
{type, nonempty_list, [a]}
The following module, modelled after Gradualizer code dealing with
type()
instances:Fails with:
Gradualizer commit: 81385f6
The text was updated successfully, but these errors were encountered: