search

josefs / Gradualizer

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

Fix type inference for `andalso` & `orelse` #548

Closed xxdavid closed 1 year ago

xxdavid commented 1 year ago

I'm not completely sure but I think it should be this way.