Skip to content

Exception backtrace proposal prerequisites

Ben Gamari requested to merge wip/exception-context-prereqs into master

This includes a number of changes preparing for the exception backtrace proposal.

These include:

  • Microoptimisation in HasCallStack evidence generation noticed while implementing defaulting
  • Clean-up uses of SomeException in compiler
  • Move PrimMVar and newStablePtrPrimMVar to GHC.MVar such that GHC.Stack.CloneStack no longer depends upon Control.Concurrent.MVar
  • Move prettyCallStack into GHC.Stack such that it can be used in coming ExceptionAnnotation instances
  • Implement CLC#198, teaching the top-level exception handler to use displayException rather than show

References

Merge request reports