Override the spec of erlang:error/3 too - Githubissues

josefs / Gradualizer

A Gradual type system for Erlang

MIT License

613 stars 35 forks source link

Override the spec of erlang:error/3 too #481

Closed erszcz closed 2 years ago

erszcz commented 2 years ago

See https://github.com/josefs/Gradualizer/issues/476#issuecomment-1282057188 and https://github.com/erlang/otp/commit/322673fdca72b39011f587bd7d9530cdd26685c5.