typelevel / scala

Typelevel Scala, a fork of Scala
http://typelevel.org/scala/
372 stars 21 forks source link

Type arguments on patterns #163

Closed kamilkloch closed 7 years ago

kamilkloch commented 7 years ago

(Probably a shapeless issue, but breaks TLS 4 advertised functionality)

The latest shapeless 2.11/2.12 maven release (2.3.2) does not support type arguments on patterns, as described in https://github.com/typelevel/scala/blob/typelevel-readme/notes/typelevel-4.md#type-arguments-on-patterns-pull5774-paulp

milessabin commented 7 years ago

What do you mean by "does not support"?

kamilkloch commented 7 years ago

Release 2.3.2 does not contain this change: https://github.com/milessabin/shapeless/commit/820f12c678a7c1bb2bfb98c201db207cc7fc81de

milessabin commented 7 years ago

Gotcha ... that's a shapeless issue, not a TLS issue.