• chak@cse.unsw.edu.au.'s avatar
    Fixed two data family bugs · 275dde6d
    chak@cse.unsw.edu.au. authored
    Mon Sep 18 19:06:51 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
      * Fixed two data family bugs
      Mon Aug 21 15:16:16 EDT 2006  Manuel M T Chakravarty <chak@cse.unsw.edu.au>
        * Fixed two data family bugs
        - Too liberal pattern matching in `tcTyClDecl1'
        - Open TyCons must always be exposed (ie, never be turned into abstract tycons
          during tidying)
    275dde6d
TcTyClsDecls.lhs 44.9 KB