Skip to content

Compile a few modules for profiling unconditionally

When GHC is built without enabling profiling of the libraries, it is utterly impossible to compile anything with profiling. I would like to compile just enough libraries with profiling, unconditionally, to be able to compile any module with profiling as long as it satisfies approximately three conditions:

  1. It uses NoImplicitPrelude.
  2. It does not import any modules from a boot package.
  3. It does not use TemplateHaskell (I'm not sure if this is necessary, but I wouldn't be surprised if it were).

To make this work, I think we would need to compile at least GHC.Types and Data.Typeable.Internal for profiling in all cases.

The point of this is that it would be convenient to be able to work on small profiling issues without having to build a tree specifically for the job: a devel2 or quick build would be sufficient.

Edited by David Feuer
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information