search

josefs / Gradualizer

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

Solve constraints in unary_op_arg_type/2 #519

Open erszcz opened 1 year ago

erszcz commented 1 year ago

This is here to track:

https://github.com/josefs/Gradualizer/blob/1498d1792155010950c86dc3e92ccb111b706e80/src/typechecker.erl#L3233-L3236