blob: 7ce440a60dc37f028149a8e76a681cad0768ca0d (
plain) (
blame)
1
2
3
4
|
higher_order_discrepancy.erl:11: The call higher_order_discrepancy:g('foo') will never return since it differs in the 1st argument from the success typing arguments: ('bar')
higher_order_discrepancy.erl:14: Function g/1 has no local return
higher_order_discrepancy.erl:14: The pattern 'bar' can never match the type 'foo'
|