• chak@cse.unsw.edu.au.'s avatar
    Fix and improve deriving for indexed data types · 3548802d
    chak@cse.unsw.edu.au. authored
    - The test for being able to derive the requested classes needs to be made
      with the representation tycon (not the family tycon).
    - Standalone deriving for indexed types requires the instance types in the
      derive clause to match a data/newtype instance exactly (modulo alpha).
Type.lhs 51.9 KB