1. 28 Jun, 2013 2 commits
    • eir@cis.upenn.edu's avatar
      9b456df4
    • eir@cis.upenn.edu's avatar
      Fix Trac #7939, and add kind inference to closed type families. · 8c5e7346
      eir@cis.upenn.edu authored
      Now, all open type families have result kinds that default to
      *. Top-level type families have all arguments default to *,
      and associated type families have all arguments that are not
      mentioned in the class header default to *. Closed type
      families perform kind inference, but generalize only over
      those kind variables that are parametric in their use.
      
      This is all a little fiddly and specific, but it seems to follow
      use cases. This commit also includes a large
      Note [Kind-checking strategies] in TcHsType that helps keep all
      of this straight.
      8c5e7346
  2. 25 Jun, 2013 6 commits
  3. 24 Jun, 2013 6 commits
  4. 23 Jun, 2013 2 commits
  5. 22 Jun, 2013 14 commits
  6. 21 Jun, 2013 6 commits
  7. 20 Jun, 2013 4 commits