Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Sep 20 12:24

    alexarchambault on main

    Update scala-library to 2.12.17… (compare)

  • Sep 20 12:24
    alexarchambault closed #314
  • Sep 20 12:24
    alexarchambault synchronize #313
  • Sep 20 12:20

    alexarchambault on main

    Update sbt-mima-plugin to 1.1.1… (compare)

  • Sep 20 12:20
    alexarchambault closed #312
  • Sep 19 12:30
    scala-steward opened #314
  • Sep 19 12:30
    scala-steward opened #313
  • Sep 19 12:30
    scala-steward opened #312
  • Sep 14 08:28
    alexarchambault closed #311
  • Sep 14 08:28

    alexarchambault on main

    Update shapeless to 2.3.10 (#31… (compare)

  • Sep 13 12:12
    scala-steward opened #311
  • Sep 13 09:23
    alexarchambault closed #310
  • Sep 13 09:23

    alexarchambault on main

    Update utest to 0.8.1 (#310) (compare)

  • Sep 09 12:20
    scala-steward opened #310
  • Sep 05 08:28

    alexarchambault on main

    Update refined to 0.10.1 (#307) (compare)

  • Sep 05 08:28
    alexarchambault closed #307
  • Sep 05 08:28

    alexarchambault on main

    Update nscplugin, sbt-scala-nat… (compare)

  • Sep 05 08:28
    alexarchambault closed #309
  • Sep 03 12:04
    scala-steward opened #309
  • Aug 15 16:19

    alexarchambault on github_actions

    (compare)

Alexandre Archambault
@alexarchambault
@milessabin Both scalacheck-shapeless and argonaut-shapeless (branch 0.3.x) are now fine with orphan derivations. Thumbs up for shapeless 2.2.3.
Miles Sabin
@milessabin
Awesome!
I'm working on a Generic1 bug and I'll release as soon as I have a fix for that. Fingers X'd today or tomorrow :-)
Miles Sabin
@milessabin
2.2.3 released :-)
Alexandre Archambault
@alexarchambault
{scalacheck/argonaut}-shapeless releases in a few hours :-)
Miles Sabin
@milessabin
Awesome :-)
Alexandre Archambault
@alexarchambault
@/all Just published 0.3.0, targetting shapeless 2.2 (>= 2.2.3), with proper support for shapeless orphan derivation.
Alexandre Archambault
@alexarchambault
New developments of :point_up: June 4 2015 3:20 AM will be for 0.4.0
Miles Sabin
@milessabin
:sparkles: :fireworks: :clap:
Miles Sabin
@milessabin
@alexarchambault could you try out the latest shapeless snapshot ... I've fixed your nested ADT issues.
Alexandre Archambault
@alexarchambault
@milessabin Thanks! I'll try asap.
Miles Sabin
@milessabin
Ta :-)
Alexandre Archambault
@alexarchambault
@milessabin A quick update about nested Json (alexarchambault/argonaut-shapeless#9), I ran into what's described here,
that is different implicits being derived by Lazy compared to implicitly. Namely, implicitly find implicits from argonaut.Argonaut, whereas Lazy apparently tries to derive these as ADTs, not viewing those of argonaut.Argonaut, and fails.
Miles Sabin
@milessabin
Yes, I'm having similar problem right now.
Alexandre Archambault
@alexarchambault
In what context?
Miles Sabin
@milessabin
Deriving orphans for Cats.
The orphan derivation mechanism only appears to be lowering the priority of derived instances at the top level, not in nested contexts ... is that what you're seeing?
Alexandre Archambault
@alexarchambault
Not exactly. I'm having the same error with or without orphan derivation.
Lazy seems not to derive the same thing as just implicitly
Miles Sabin
@milessabin
Lazy doesn't derive anything ... it just suppresses divergence.
Alexandre Archambault
@alexarchambault
Yes, I mean: implicits found with implicitly are fine (checked with reify), trying to get the same implicits with Lazy.mkLazy fails
The error says that the macro expansion tries to use types that are private[argonaut], sub-types of argonaut.Json
But these shouldn't be involved. They are not when using just implicitly, as reify confirms.
Miles Sabin
@milessabin
Hmm ... interesting.
Alexandre Archambault
@alexarchambault
This notebook illustrates that, if this is fine for you. I'll try to minimize this.
Miles Sabin
@milessabin
Using Lazy very likely changes which implicits get resolved ... that's the point. Odd that it's able to resolve something which is private though.
Alexandre Archambault
@alexarchambault
The type I look an implicit for (Map[String, argonaut.Json]) involves an ADT (argonaut.Json) whose subtypes are private
But implicitly is fine with this, whereas Lazy is not.
Miles Sabin
@milessabin
Ahh!
Alexandre Archambault
@alexarchambault
?? :-)
Miles Sabin
@milessabin
Lazy is a red herring here.
Alexandre Archambault
@alexarchambault
??
Miles Sabin
@milessabin
I think this is a Generic bug ... the Coproduct representation is including private subtypes.
Alexandre Archambault
@alexarchambault
why does the error pop up when using Lazy, and not when using implicitly then?
Miles Sabin
@milessabin
I think if a sealed trait has private subtypes it shouldn't have a Generic instance.
Alexandre Archambault
@alexarchambault
... I agree...
Miles Sabin
@milessabin
Because Lazy has allowed an implicit search path to be explored which wouldn't be without it.
Like I said, Lazy doesn't derive anything, it just controls divergence.
Alexandre Archambault
@alexarchambault
Shoudn't Lazy catch this error in a way or another?
Miles Sabin
@milessabin
Catch what? A bug in Generic?
Alexandre Archambault
@alexarchambault
Why is implicitly fine here?
Miles Sabin
@milessabin
Because Lazy has allowed an implicit search path to be explored which wouldn't be without it.
Alexandre Archambault
@alexarchambault
Yes, I read that... :-)
Miles Sabin
@milessabin
With implicitly we never go down the path that trips the bug.
Does that make sense?
Alexandre Archambault
@alexarchambault
I don't know enough of the internals of Lazy yet (I already tried to understand them though :-)
Miles Sabin
@milessabin
Would you mind trying out Generic on a sealed trait with private subtypes and see what happens?
Alexandre Archambault
@alexarchambault
I'll do that (I can't right now).
Miles Sabin
@milessabin
ie. materialize the Generic in a context which can access the trait but not the subtypes.
Alexandre Archambault
@alexarchambault
I'll try! I have to go, I'll keep you posted.