https://kotlinlang.org logo
Channels
Powered by
#arrow-contributors
  • i

    Imran/Malic

    07/16/2019, 10:18 AM
    But this has some error cases. What is wrong
  • i

    Imran/Malic

    07/16/2019, 10:18 AM
    Copy code
    Attempting to shrink failed arg 4094
Shrink #1: 1 fail
Shrink result => 1
  • p

    pakoito

    07/16/2019, 12:35 PM
    it says that testing where 
    n
    is 
    4094
    fails
  • p

    pakoito

    07/16/2019, 12:35 PM
    so you can run individual tests with that number
  • p

    pakoito

    07/16/2019, 12:35 PM
    forAll(Gen.choose(1, 10000))
    we have 
    forFew
    for this
  • i

    Imran/Malic

    07/16/2019, 12:45 PM
    Thank you 🙂
  • p

    pakoito

    07/16/2019, 1:08 PM
    oh wait no
  • p

    pakoito

    07/16/2019, 1:08 PM
    sorry, wrong thing
  • p

    pakoito

    07/16/2019, 1:08 PM
    forFew is the number of runs
  • p

    pakoito

    07/16/2019, 1:08 PM
    not the value
  • p

    pakoito

    07/16/2019, 1:08 PM
    for small values we have 
    Gen.smallInt()
    , although multiplication may still cause you headaches
  • i

    Imran/Malic

    07/16/2019, 2:25 PM
    This is the first draft for our the new ReadMe’s
  • i

    Imran/Malic

    07/16/2019, 2:25 PM
  • p

    pakoito

    07/16/2019, 2:51 PM
    👍🏼
  • p

    pakoito

    07/16/2019, 11:42 PM
    AFAIK that should be a cheap operation
  • p

    pakoito

    07/16/2019, 11:43 PM
    it's not on Master
  • p

    pakoito

    07/16/2019, 11:43 PM
    I'd add it too for 0.10.X
  • p

    pakoito

    07/16/2019, 11:43 PM
    Copy code
    fun toList(): List<A> = all
  • p

    pakoito

    07/16/2019, 11:43 PM
    simple as that
  • r

    raulraja

    07/17/2019, 12:32 AM
    👍 2
  • s

    simon.vergauwen

    07/17/2019, 8:24 AM
    Yes, I just saw your comment on the Partial PR. First time I've heard about this, I'm assuming same for most contributors.
  • a

    addamsson

    07/17/2019, 8:24 AM
    I've moved this to a thread
  • a

    addamsson

    07/17/2019, 8:27 AM
    Does 
    @higherkind
    do anything else apart from generating the boilerplate for 
    For*
    , 
    *Of
    and 
    fix()
    ?
  • s

    simon.vergauwen

    07/17/2019, 8:28 AM
    Currently not, with the compiler plugin we also add the logic to the type checker
  • a

    addamsson

    07/17/2019, 8:29 AM
    okay
  • s

    simon.vergauwen

    07/17/2019, 8:29 AM
    So you can assign 
    OptionOf<A>
    to 
    Option<A>
  • a

    addamsson

    07/17/2019, 8:29 AM
    i'm gonna try and identify some of the issues which might block MPP
    👍 2
  • a

    addamsson

    07/17/2019, 8:30 AM
    arrow-kindedj
    is for kindedj integration, right?
  • p

    pakoito

    07/17/2019, 8:33 AM
    yes, although that hasn't been as successful as we anticipated. It's worth re-considering.
  • a

    addamsson

    07/17/2019, 8:34 AM
    I see. Do you mean dropping support, or just moving it out of 
    core
    ?
1...100101102...115Latest