Fixed two data family bugs
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 18:36:27 +0000 (18:36 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 20 Sep 2006 18:36:27 +0000 (18:36 +0000)
commit275dde6de685153db621b11f2f404aa78d9183e2
tree3c0de7efdcd0518dc315790e96719755bf031457
parent0e3e28621c97991cd89cf633c8780469f1e3b4ad
Fixed two data family bugs
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)
compiler/main/TidyPgm.lhs
compiler/typecheck/TcTyClsDecls.lhs