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 00:39
    joroKr21 synchronize #1273
  • Sep 20 00:39
    joroKr21 synchronize #1275
  • Sep 19 22:08

    joroKr21 on main

    Update scala-compiler, scala-li… Merge branch 'main' into update… Merge pull request #1278 from s… (compare)

  • Sep 19 22:08
    joroKr21 closed #1278
  • Sep 19 22:00
    joroKr21 synchronize #1278
  • Sep 19 21:59

    joroKr21 on main

    Update sbt-scalajs, scalajs-com… Merge branch 'main' into update… Merge pull request #1277 from s… (compare)

  • Sep 19 21:59
    joroKr21 closed #1277
  • Sep 19 21:52
    joroKr21 synchronize #1277
  • Sep 19 21:51

    joroKr21 on main

    Update sbt-mima-plugin to 1.1.1 Merge pull request #1276 from s… (compare)

  • Sep 19 21:51
    joroKr21 closed #1276
  • Sep 19 19:18
    scala-steward opened #1278
  • Sep 19 19:17
    scala-steward opened #1277
  • Sep 19 19:17
    scala-steward opened #1276
  • Sep 17 20:23
    joroKr21 assigned #1275
  • Sep 17 20:23
    joroKr21 review_requested #1275
  • Sep 17 20:23
    joroKr21 labeled #1275
  • Sep 17 20:08
    joroKr21 opened #1275
  • Sep 17 19:03
    joroKr21 synchronize #1273
  • Sep 15 18:29

    joroKr21 on main

    Update slf4j-nop to 2.0.1 Merge pull request #1274 from s… (compare)

  • Sep 15 18:29
    joroKr21 closed #1274
Andrew Roberts
@aroberts
serializeCNil and serializeCCons
Fabio Labella
@SystemFw
those are MsgPackIndexed, not MsgPack
Andrew Roberts
@aroberts
that spec says to me that when I’m constructing a DerivedMsgpack instance for Family, the derive code isn’t able to reach into the Repr of Family and derive missing Msgpack instances
MsgpackIndexed <: Msgpack
Fabio Labella
@SystemFw
welcome to the beautiful world of mixing implicits and sub typing :)
Andrew Roberts
@aroberts
also, the spec I pasted above wouldn’t compile if I didn’t have coproduct implicits
so I’m confident those are getting found
I think it’s an implicit resolution problem
hah- yeah pretty awesome...
Fabio Labella
@SystemFw
can you the[MsgPack[Int :+: CNil]]
Andrew Roberts
@aroberts
let’s see...
yep
Fabio Labella
@SystemFw
right , at this point I can only help you if you give me a link to the full code I'm afraid
does it work if you put everything in the companion btw?
Andrew Roberts
@aroberts
not sure, give me a minute
Andrew Roberts
@aroberts
it breaks other stuff
Fabio Labella
@SystemFw
Personally, I'd pause and try and get it to work end-to-end without the semiauto machinery
by having everything in the companion
David Hoyt
@davidhoyt
@SystemFw yes, I was starting to go down the flatten path. I need this for labelled generics not basic (generic) products, so I tried to evolve the flatten example without much luck so far.
Fabio Labella
@SystemFw
I was doing it, but I hit an unrelated bug
I got a working version for Generic very quickly
but it didn't work for LabelledGeneric
which is really surprising, so I kept minimising and I think I've hit something that looks like a compiler bug
just posted in the scala room
David Hoyt
@davidhoyt
@SystemFw not surprised in the least. to make matters worse, I am needing it to work w/ shapeless 2.2.5 on scala 2.10 and 2.11 actually.
Fabio Labella
@SystemFw
oh, have fun :)
David Hoyt
@davidhoyt
i need a "miserable" emoji :D
Fabio Labella
@SystemFw
by "not work with LabelledGeneric" I meant they both compiled, but exhibited different behaviour
which it never happened to me with shapeless before, and I would say I'm fairly experienced with it
David Hoyt
@davidhoyt
@SystemFw do you mind pasting what you have in a scala fiddle or elsewhere?
Fabio Labella
@SystemFw
@davidhoyt what do you want exactly? the working version with Generic and the non-working one with LabelledGeneric?
David Hoyt
@davidhoyt
non-working one with labelled generic
Fabio Labella
@SystemFw
ah, I've deleted it, let me see if I can redo it
I had two versions, one with Poly, one with custom typeclasses
let me redo the one with Poly, it's shorter
David Hoyt
@davidhoyt
@SystemFw this may show my ignorance wrt shapeless -- i am trying to auto-derive type class instances. will that work w/ Poly?
Fabio Labella
@SystemFw
I also did versions with auto-derived type classes
same behaviour
David Hoyt
@davidhoyt
@SystemFw i suppose i'm asking if you can use Poly to derive type classes
Fabio Labella
@SystemFw
actually, when doing the typeclass version I got the other possible bug
@davidhoyt The question is a bit unclear to me
Poly exposes type class instances (Case), which you can use in your typeclass derivation
David Hoyt
@davidhoyt
@SystemFw i am saying that i've never used Poly that way -- i'm somewhere between beginner and intermediate level w/ shapeless
Fabio Labella
@SystemFw
similarly, some typeclasses you also use in derivations (e.g.Mapper, FlatMapper), want a Poly
@davidhoyt right, basically if you have something that works with Poly, you can ask for an implicit Case1 of that Poly
just like you would ask for another typeclass instance
(well, Case1, Case2...what have you)
or, you can write your own custom typeclass (which is what I do most of the time), to replace the poly
David Hoyt
@davidhoyt
@SystemFw i was going down that path primarily because i was unaware of alternatives :)
so I have a "wrapper" type class which I derive and can then turn into the actual type class I care about