Rodrigo Mesquita pushed to branch wip/romes/edsko-exceptions at Glasgow Haskell Compiler / GHC

Commits:

• f0231549
  by Rodrigo Mesquita at 2026-05-08T14:46:41+01:00

  docs: toException shouldn't insist on empty context
  
  ExceptionWithContext is an example of a type whose instance won't
  fulfill that contract (it would be non-sensical to empty the context of
  ExceptionWithContext...!)
  

1 changed file:

• libraries/ghc-internal/src/GHC/Internal/Exception/Type.hs

Changes:

 -}

 class (Typeable e, Show e) => Exception e where

-    -- | @toException@ should produce a 'SomeException' with no attached 'ExceptionContext'.

     toException   :: e -> SomeException

     fromException :: SomeException -> Maybe e