aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/small_SUITE_data/results/suppress_request
blob: 18e82b7972bc807fd9cd9fe282c9eadf8a7a1b89 (plain) (blame)
1
2
3
4
5
6
suppress_request.erl:21: Expression produces a value of type {'a','b'}, but this value is unmatched
suppress_request.erl:25: Expression produces a value of type {'a','b'}, but this value is unmatched
suppress_request.erl:35: Function test3_b/0 has no local return
suppress_request.erl:39: Guard test 2 =:= A::fun((none()) -> no_return()) can never succeed
suppress_request.erl:7: Type specification suppress_request:test1('a' | 'b') -> 'ok' is a subtype of the success typing: suppress_request:test1('a' | 'b' | 'c') -> 'ok'