Open erszcz opened 1 year ago
At the location of op_type_too_precise we usually get a type variable. This means that if we solved the available constraints and got a substitution for it, we could tell more about the operation in question.
op_type_too_precise
https://github.com/josefs/Gradualizer/blob/1498d1792155010950c86dc3e92ccb111b706e80/src/typechecker.erl#L3130-L3158
At the location of
op_type_too_precisewe usually get a type variable. This means that if we solved the available constraints and got a substitution for it, we could tell more about the operation in question.https://github.com/josefs/Gradualizer/blob/1498d1792155010950c86dc3e92ccb111b706e80/src/typechecker.erl#L3130-L3158