hmemcpy / zio-clippy

A Scala compiler plugin for better ZIO type mismatch errors.

Igal Tabachnik

zio-clippy's Issues

Bad parsing

  ZIO Type Mismatch  

Your effect requires the following environment, but it was not provided:

❯ grist.GristClient

Your effect has an error type mismatch:

❯ Required: twilio.CallTree.Failure
❯ Found   : Either[String

Your effect has a return type mismatch:

❯ Required: twilio.CallTree[R
❯ Found   : Throwable

--------------------------------------------------------------------------------
type mismatch;
 found   : kupasyomtov.igudbneitorah.Main.MainMenuOptions.Value => zio.ZIO[grist.GristClient with twilio.CallInfo,Either[String,Throwable],twilio.CallTree.Gather[Nothing]]
 required: kupasyomtov.igudbneitorah.Main.MainMenuOptions.Value => zio.ZIO[twilio.CallInfo with R,twilio.CallTree.Failure,twilio.CallTree[R]]
    (which expands to)  kupasyomtov.igudbneitorah.Main.MainMenuOptions.Value => zio.ZIO[twilio.CallInfo with R,scala.util.Either[String,Throwable],twilio.CallTree[R]]

 [29:62]

Ensime support

The plugin works with Ensime, however, it does not render the ANSI output:

This should probably be fixed in Ensime/VSCode integration, or consider providing an option to disable ANSI output from clippy.

Bad rendering of a return type mismatch

(no image, from memory:)

Found: A]
Expected: B]

seems to be a bad regex

Don't seem to get the expected output

Hi,

We've tried to add it to our project, but don't get the expected output. We just get the normal error output.
This Scastie https://scastie.scala-lang.org/JrOm5GVAQ8Wn29kgpcUl2w shows the same behaviour.

Support custom type aliases

There are several ZIO-like type aliases that should probably be hardcoded (base ZIO aliases). The rest (e.g. ZPure, ZFlow, etc) could be added to an external resource mapping.

Intercept «incompatible type in overriding» errors

Example:

trait Base {
  type Env
  def makeEnv: ZLayer[Any, Nothing, Env]
}

object ZMain extends Base {
  override type Env = String

  override def makeEnv: ZLayer[Any with Long, Nothing, String] = ZLayer.succeed("42")
}

Output:

billing/billing/billing-tms/app/src/ZMain.scala:34: error: incompatible type in overriding
def makeEnv: zio.ZLayer[Any,Nothing,ru.yandex.vertis.billing.tms.ZMain0.Env] (defined in trait Base);
 found   : zio.ZLayer[Any with Long,Nothing,String]
 required: zio.ZLayer[Any,Nothing,ru.yandex.vertis.billing.tms.ZMain0.Env]
    (which expands to)  zio.ZLayer[Any,Nothing,String]
  override def makeEnv: ZLayer[Any with Long, Nothing, String] = ZLayer.succeed("42")
               ^
zio.ZLayer[Any with Long,Nothing,String] <: zio.ZLayer[Any,Nothing,ru.yandex.vertis.billing.tms.ZMain0.Env]?

Looks like magic regex ignores such errors because it is incompatible type in overriding, not a type mismatch 🤔

Scala 3 support