HORIZON HASKELLDocsmaster5ff592b2026-10-19Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · master · 5ff592b · 2026-10-19

Moduleghc-10.0.0.20260917GHC2024

GHC.Core.Opt.Simplify.Utils

  • 7 types
  • 40 values
datadata SimplCont
#
Instances1Outputable

Given a continuation cont, return a cont of the same type, looking like (case <hole> of {}).

This is used when we are going to fill in the hole with bottom. See (TC2,3) in Note [Trimming the continuation for bottoming functions]

Don't bother to trim, making a case hole of {}, if we have only an essentially-trivial continuation; e.g. (hole @ty |> co).