josefs / Gradualizer

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

Skip functions using maybe expr, don't crash on maybe ... else #571

Closed erszcz closed 1 month ago

erszcz commented 2 months ago

This handles maybe ... else instead of crashing. It also skips processing functions which use maybe similar to how #570 skips functions that use too complex guards.