Fix export of associated families with new name parent story
Given module Exp (T) where class C a where data T a :: * we need the AvailInfo for the export item to be C|{T}, not just T. This patch achieves that under the new name parent scheme.
Please register or sign in to comment