Skip to content

Add new RTS options introduced by eras profiling to GHC.RTS.Flags  #254

@mpickering

Description

@mpickering

GHC MR: https://gitlab.haskell.org/ghc/ghc/-/merge_requests/11917

In GHC MR !11903 several new RTS flags were added to the compiler.

  • -he profiling mode
  • -he profiling selector
  • --automatic-era-increment

Therefore we should also modify GHC.RTS.Flags in the same manner so that users can query whether this option is set from their programs, and keep GHC.RTS.Flags up to date with the implemented RTS flags.

Metadata

Metadata

Assignees

No one assigned

    Labels

    approvedApproved by CLC votebase-4.20Implemented in base-4.20 (GHC 9.10)

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions