Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Aug 11 09:05

    alexarchambault on master

    (compare)

  • Aug 11 09:05

    alexarchambault on 0.1.x

    (compare)

  • Aug 11 09:05

    alexarchambault on orphans

    (compare)

  • Aug 11 09:05

    alexarchambault on 1.1.x

    (compare)

  • Aug 11 09:05

    alexarchambault on 1.0.x

    (compare)

  • Aug 11 09:05

    alexarchambault on 0.3.x

    (compare)

  • Aug 11 09:05

    alexarchambault on 0.2.x

    (compare)

  • Aug 11 09:05

    alexarchambault on travis-scala-2.10

    (compare)

  • Aug 11 09:04

    alexarchambault on v1.3.1

    (compare)

  • Aug 11 09:03
    alexarchambault closed #303
  • Aug 11 09:03

    alexarchambault on master

    Update sbt to 1.7.1 (#303) * A… (compare)

  • Aug 11 09:00

    alexarchambault on master

    Update shapeless to 2.3.9 (#294) (compare)

  • Aug 11 09:00
    alexarchambault closed #294
  • Aug 11 08:51
    alexarchambault synchronize #303
  • Aug 11 08:50
    alexarchambault synchronize #294
  • Aug 11 08:50

    alexarchambault on master

    Update argonaut to 6.3.8 (#283) (compare)

  • Aug 11 08:50
    alexarchambault closed #283
  • Aug 11 08:49

    alexarchambault on develop

    (compare)

  • Aug 11 08:49

    alexarchambault on master

    Update workflow Update README template Clean-up? and 1 more (compare)

  • Aug 11 08:49
    alexarchambault closed #305
Alexandre Archambault
@alexarchambault
You're welcome :-)
Alexandre Archambault
@alexarchambault
@milessabin About variants of LabelledGeneric, I'm less opiniated about it now. If this can be handled in a slick way from shapeless, let's go for that. But libraries using labels can handle it directly else.
Miles Sabin
@milessabin
Are you going to be in Amsterdam next week?
Alexandre Archambault
@alexarchambault
@milessabin Nope, I wasn't expecting tickets to get sold out that early :-(
Miles Sabin
@milessabin
:-(
Miles Sabin
@milessabin
Any ETA on a release with orphan handling?
ie. something along the lines of test/orphans.
Alexandre Archambault
@alexarchambault
@milessabin milessabin/shapeless#391 was blocking me the last time I tried
It's either cachedImplicit or orphans :-(
Miles Sabin
@milessabin
Gotcha.
OK, I'll take a look at milessabin/shapeless#391 and get back to you.
Alexandre Archambault
@alexarchambault
Thanks
Miles Sabin
@milessabin
I've just pushed a fix for milessabin/shapeless#391 ... it'll show up in the next 2.2.3-SNAPSHOT.
Alexandre Archambault
@alexarchambault
@milessabin Thanks! I didn't know if the could just be replaced by implicitly like you did, in the fix, I though it was somehow required.
Miles Sabin
@milessabin
the would refine the type more that implicitly, but there's no way that we can use that here, so there's no benefit to be gained from using the.
Alexandre Archambault
@alexarchambault
I hadn't admittedly though much about it :-)
Miles Sabin
@milessabin
I still have no idea why the isn't working in that context. But I don't want to hold up an argonaut-shapeless release because of that.
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.