fthomas / fthomas/refined

Macros missing for Scala 3

Open
#932 21 comments 19 reactions 0 assignees View on GitHub
Dominant language
Scala
Stars
1.7k
Forks
152
Avg merge
1h 20m
Merged PRs (30d)
6

Description

The following code compiles and works as expected on Scala `2.13.x`, but fails on `3.0.0-RC1`:

```scala
import eu.timepit.refined.numeric._
import eu.timepit.refined.api.Refined
import eu.timepit.refined.auto._

val x: Int Refined Positive = 5
```

> [error] -- [E007] Type Mismatch Error
> [error] |Found: (5 : Int)
> [error] |Required: eu.timepit.refined.api.Refined[Int, eu.timepit.refined.numeric.Positive]

It looks like the 2.x macros haven't been ported to Scala 3 yet.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.