You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The actual question now is the constr_7 which we currently simply cannot resolve because τa_26 is the return type of the input function, and we thus have no idea what type it is.
What we might want to do is allow some kind of annotations for this case? Or resolve the == ops differently in the worst-case-solving?
The text was updated successfully, but these errors were encountered:
Take the following example:
We get as result:
in other words:
The actual question now is the
constr_7
which we currently simply cannot resolve becauseτa_26
is the return type of the input function, and we thus have no idea what type it is.What we might want to do is allow some kind of annotations for this case? Or resolve the
==
ops differently in the worst-case-solving?The text was updated successfully, but these errors were encountered: