blob: 2c1f8f8d1751348c52b7ae567edcc8e846a9957f (
plain) (
blame)
1
2
3
4
|
chars.erl:29: Invalid type specification for function chars:f/1. The success typing is (#{'b':=50}) -> 'ok'
chars.erl:32: Function t1/0 has no local return
chars.erl:32: The call chars:f(#{'b':=50}) breaks the contract (#{'a':=49,'b'=>50,'c'=>51}) -> 'ok'
|