Spore Equality

[dlwh]

Hi,

Nice project!

At my org, it would be convenient for us to have spores that have structural equality in the obvious way. I could imagine that you wouldn't want that to be the default, but would you entertain a PR that created a parallel EqSpore hierarchy (with EqSporeN <: SporeN, of course) that had structural equality?

[jvican]

I know that @heathermiller and @phaller, the original creators of this project, don't have a lot of availability lately. If they don't have time for it, I could entertain that PR. Looks like a nice proposal.

[jvican]

Are you still interested in this @dlwh ?

[dlwh]

I am. I just got swamped at work and haven't had the day to do it.

One question I have if whether or not you'd be ok with all spores
implementing structural equality. If so, this is more or less trivial.
Otherwise, it requires a bit of refactoring (or code duplication...) of the
macro to make work.

On Wed, Jun 1, 2016 at 1:16 PM, Jorge [email protected] wrote:

Are you still interested in this @dlwh https://github.com/dlwh ?

—
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub
#42 (comment),
or mute the thread
https://github.com/notifications/unsubscribe/AAAloYSizj9NFIs06t675XIXnCumMZ0tks5qHei1gaJpZM4ILBtl
.

[jvican]

I'd be happy to implement it. However, I'd need some pointers on what you want exactly or what you had in mind (a simple example should work). I understand that you'd like some kind of structural equality, which sounds good, but I'd like to see also a compelling use case of it or a scenario in which it would be useful.