search

josefs / Gradualizer

A Gradual type system for Erlang
MIT License
609 stars 35 forks source link

Support the new dynamic() type #540

Open zuiderkwast opened 1 year ago

zuiderkwast commented 1 year ago

OTP 26 adds a built-in type called dynamic(), as requested by @ilya-klyuchnikov for eqWAlizer.

At a minimum, we should at treat dynamic() as yet another representation of the unknown AKA dynamic type.

https://www.erlang.org/eeps/eep-0061

https://github.com/erlang/eep/pull/44