Fix export of associated families with new name parent story
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat, 21 Oct 2006 00:28:13 +0000 (00:28 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat, 21 Oct 2006 00:28:13 +0000 (00:28 +0000)
commita00334cc6a209c009c7b6e5dc3926f3871c9b097
treebb9cfcc3d59690db22876de2e0f427efa2be806b
parent4f55ec2c7e78aa836b91ebc57ddd74675d92372c
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.
compiler/rename/RnNames.lhs