• chak@cse.unsw.edu.au.'s avatar
    Generating synonym instance representation tycons · 13cd965d
    chak@cse.unsw.edu.au. authored
    - Type synonym instances are turned into representation synonym tycons
    - They are entered into the pool of family instances (FamInst environments)
      in the same way as data/newtype instances
    - Still missing is writing the parent tycon information into ifaces and 
      various well-formedness checks.
TcEnv.lhs 22.5 KB