Re: GHC Core question

Hi

How are you printing out the Core?

showSDoc $ ppr c where c :: [CoreBind]

It looks like the unique ids are missing (you can see them if you pass the -ppr-debug flag, which can be set using the API)

I have now set the -ppr-debug flag, but that has no effect. It's not entirely surprising, as I guess setting the flag only applies through the GHC session, and this code is being run outside that. How can I print the output (to a file) using the unique id's?

Simon Peyton-Jones says: CoreTidy makes the print-name unique too.

Can I invoke CoreTidy using the GHC API? Thanks Neil