blob: f6200ae2af91fa756a8a40a86e577c7ad331878b (
plain) (
blame)
1
2
3
4
5
6
7
8
|
guard_update.erl:12: Function t2/0 has no local return
guard_update.erl:15: Clause guard cannot succeed. The variable M was matched against the type #{'a':=2}
guard_update.erl:15: Function f2/1 has no local return
guard_update.erl:5: Function t/0 has no local return
guard_update.erl:6: The call guard_update:f(#{'a':=2}) will never return since it differs in the 1st argument from the success typing arguments: (#{'b':=_, ...})
guard_update.erl:8: Clause guard cannot succeed. The variable M was matched against the type #{'a':=2}
guard_update.erl:8: Function f/1 has no local return
|