You can't, I'm afraid: http://www.haskell.org/ghc/docs/latest/html/users_guide/separate-compila tion.html#MUTUAL-RECURSION To get the instances in the right place, why not just add 'instance Show T' everywhere you find 'instance Putputable T'? I'm not keen on adding Show instances to the main source tree; can you not elaborate the ppr instances instead? S | -----Original Message----- | From: glasgow-haskell-users-bounces@haskell.org [mailto:glasgow-haskell-users- | bounces@haskell.org] On Behalf Of MR K P SCHUPKE | Sent: 06 September 2004 12:23 | To: glasgow-haskell-users@haskell.org | Subject: boot files... | | | I need to change the boot .hi files for TypeRep, to include | the derivied show instance for TyThing, what is the format? | | Keean. | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users