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
In the snippet below, we want to make a list of functions of some_ty, just like f1, but trying to write this list triggers an implicit instantiation for f1 and does not check. This should not happen IMO since the expected type for that position is some_ty, which has an implicit.
Old issue, but something I'd like to revisit now.
In the snippet below, we want to make a list of functions of
some_ty
, just likef1
, but trying to write this list triggers an implicit instantiation forf1
and does not check. This should not happen IMO since the expected type for that position issome_ty
, which has an implicit.Workarounds are annotating
f1 <: some_ty
or eta expanding(fun #x -> f1 #x)
.The text was updated successfully, but these errors were encountered: