Hi Alexis | I am trying to understand why GHC is not specializing an imported | INLINABLE instance method, and the information provided by -ddump-spec - | Wall-missed-specialisations has not been enough to help me figure it out. | Is there some easy/well-trodden way that I could build GHC with some | additional instrumentation in place to help me better understand the | decisions being made by the specializer, or is -ddump-spec the most | granularity available? I'm afraid those are all the flags we currently have, yes. | I’ve noticed that Specialise.hs has handful of pprTrace calls sprinkled | about, but they are all commented out. Is the recommended method to just | uncomment these calls and rebuild GHC? That's what I do. But it would be better to stand back a bit and ask "what information would I really like to see?" and then design some logging mechanism to show it. I'd be happy to advise. Simon | -----Original Message----- | From: ghc-devs On Behalf Of Alexis King | Sent: 24 October 2019 18:13 | To: ghc-devs@haskell.org | Subject: Debugging specialization | | Hi all, | | I am trying to understand why GHC is not specializing an imported | INLINABLE instance method, and the information provided by -ddump-spec - | Wall-missed-specialisations has not been enough to help me figure it out. | Is there some easy/well-trodden way that I could build GHC with some | additional instrumentation in place to help me better understand the | decisions being made by the specializer, or is -ddump-spec the most | granularity available? | | I’ve noticed that Specialise.hs has handful of pprTrace calls sprinkled | about, but they are all commented out. Is the recommended method to just | uncomment these calls and rebuild GHC? | | Thanks, | Alexis | | _______________________________________________ | ghc-devs mailing list | ghc-devs@haskell.org | https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fmail.hask | ell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc- | devs&data=02%7C01%7Csimonpj%40microsoft.com%7C000a160e4f6a40bdf56208d7 | 58a57f63%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637075340144181354&a | mp;sdata=uPk4mfRrgGE5t6SQpXZyfU0xQ%2F6d9BlM50I3%2FmYcyms%3D&reserved=0