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
@SethTisue said:
bug spotted by Andrew Phillips. List[List[String]] is used in SLS 8.3 as an example in the discussion of type variables, so we were surprised that it didn't behave as advertised. (Jason's boil-down substitutes Cov for List.)
@demobox said (edited on Sep 30, 2015 12:20:50 PM UTC):
Thanks for spending time on this, @retronym and @SethTisue - much appreciated. I'm sure you both have more commonly-used fish to fry ;-)
Patch pending
The text was updated successfully, but these errors were encountered: