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
Basically, we need to add the polymorphic instantiation variables at the use of idd on line 15 (currently, this is just done at fun-call, but actually needs to happen at any use of a function, including as a parameter as is happening here.)
The text was updated successfully, but these errors were encountered:
See:
https://github.com/UCSD-PL/RefScript/blob/poly/tests/pos/misc/poly-01.ts
Basically, we need to add the polymorphic instantiation variables at the use of
idd
on line 15 (currently, this is just done at fun-call, but actually needs to happen at any use of a function, including as a parameter as is happening here.)The text was updated successfully, but these errors were encountered: