Currently, any generic "specialisations" (which will have _poly_ somewhere in the name) will be included. We probably don't want that - they'll just clutter up the list. The generic version (which the poly'd specialisation was generated from) is enough.
benswift
commented
9 years ago
Currently, any generic "specialisations" (which will have
_poly_somewhere in the name) will be included. We probably don't want that - they'll just clutter up the list. The generic version (which the poly'd specialisation was generated from) is enough.