search

witchcrafters / type_class

(Semi-)principled type classes for Elixir
https://hex.pm/packages/type_class
MIT License
140 stars 16 forks source link

Better Prop Check Failure Reporting #19

Open expede opened 6 years ago

expede commented 6 years ago

Currently, prop checks fail with minimal context. It would be good to have more context on which specific values were the cause.

expede commented 6 years ago

@paulruescher, you've expressed interest in doing some work on the Witchcraft suite. Would you like to give this a look? Totally happy to walk you through how the library works 👍

OvermindDL1 commented 6 years ago

Since StreamData has come out by one of the primary Elixir Devs (and thus being used by some of the biggest Elixir projects) have you thought about using it as the property testing library here? It would be a more unified interface for defining types. It's not as powerful as PropEr or so, but it is simple and fast with good error reporting and decent reduction. :-)

paulruescher commented 6 years ago

you've expressed interest in doing some work on the Witchcraft suite. Would you like to give this a look

Yeah, I'd be down to tackle this. Not sure when though 😎I'm definitely outta commish this week, but I'll see what I can do next week.