blob: d2747d0440f55be8b274b6d311620bf89872387e (
plain)
1
2
3
4
5
|
record_update.erl:7:2: Invalid type specification for function record_update:quux/2.
The success typing is record_update:quux(#foo{bar::atom()},atom()) -> #foo{bar::atom()}
But the spec is record_update:quux(#foo{},string()) -> #foo{}
They do not overlap in the 2nd argument
|