2010/10/2 C Rodrigues <red5_2 at hotmail.com>: > There's also a bug where a data family declaration shows up in multiple modules. This appears to be a preexisting bug. Hmm, would you mind filing this in the bug tracker? Thanks, David