Fixed deriving of associated data types
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 27 Jun 2007 05:48:34 +0000 (05:48 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Wed, 27 Jun 2007 05:48:34 +0000 (05:48 +0000)
- We forgot to pull the data declarations nested in class instances out of
  the instances when collecting all the predicates that we need derive.
  Thanks to Roman for spotting this.


No differences found