You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Math.Combinatorics.Species> structureType partition
": Set Set"
From a brief code dive, it looks like dropQuals, which is supposed to turn something like Math.Combinatorics.Species.Set into just Set, is having a field day with the :.: type constructor.
Oh dear. Thanks for the report! dropQuals really shouldn't be a String -> String function. But I don't know if there's a better way to get the information than tyConName which returns a String instead of something more structured.
It turns out that tyConNames aren't qualified anymore (there's tyConModule if you want to know that part), so dropQuals is completely unnecessary. I took the opportunity to also fix up the display of infix type operators so they are actually displayed infix:
> structureType partition
"Set :.: Set"
Uploaded to Hackage as species-0.4.0.1. Note it still doesn't work with GHC-8.4, that's on my list.
This interaction is a bit confusing:
From a brief code dive, it looks like
dropQuals
, which is supposed to turn something likeMath.Combinatorics.Species.Set
into justSet
, is having a field day with the:.:
type constructor.Reported first on StackOverflow.
The text was updated successfully, but these errors were encountered: