I have elaborated a bit. Can you go further to a clear set of proposals? | -----Original Message----- | From: David Feuer [mailto:david@well-typed.com] | Sent: 07 March 2017 18:35 | To: Simon Peyton Jones | Cc: ghc-devs@haskell.org | Subject: Getting exceptions right | | I've put together a wiki page describing the issues I think we need to | address, and laying out the model I think we want to implement for | precise exceptions. Hopefully, this will help us figure out what we need | to do to get a better story here. | | https://ghc.haskell.org/trac/ghc/wiki/FixingExceptions | | Thanks, | David Feuer