Skip to content
  • chak@cse.unsw.edu.au.'s avatar
    Get of fam inst index in ifaces · 0cb269be
    chak@cse.unsw.edu.au. authored
    Mon Sep 18 19:40:42 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
      * Get of fam inst index in ifaces
      Fri Sep  8 16:31:26 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
        * Get of fam inst index in ifaces
        - Removes the explicit index to get unique names for derived tycons for family
          instances again, following a suggestion by SPJ.
        - We now derive the coercion tycon name from the name of the representation 
          tycon, which is in the iface anyways.
        
        *** WARNING: Change of interface file format! ***
        ***          Recompile from scratch!          ***
    0cb269be