Scala 3 updates #18
Merged
Scala 3 updates #18
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This is necessary to fix some implicit resolution errors. Included is an implicit conversion from `K ->> V` back to `V` so in most cases it will still seem like `(K ->> V) <: V`.
…of `Remover` on right side.
This is necessary to work around what I'm assuming is a bug in the scala 3 compiler -- the following code errors when it's simply an opaque type for `V`:
```scala
import typify.tuple._
import typify.record._
val t = ("s" ->> "foo") *: ("i" ->> 3) *: EmptyTuple
val s = Selector[("s" ->> String) *: ("i" ->> Int) *: EmptyTuple, "i"]
// java.lang.ClassCastException: class java.lang.Integer cannot be cast to class java.lang.String
```
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Rewrites the majority of the shapeless-like record typeclasses in
typify.labelled(now namespaced undertypify.record) and adds a handful of tuple typeclasses (forHLists in scala 2) under thetypify.tuplenamespace.There were a number of hurdles but all had workarounds:
type ->>toopaque type ->>opaque type ->>[K, +V]is an alias fortypify.TranslucentTagged[V, K]and not justVSelector.Aux[T, K, O]-- Match type ingivensignature causes instance to not be resolved scala/scala3#17907