Feedback on applying implicit exceptions wanted

Andreas Klebinger klebinger.andreas at
Wed Sep 13 10:23:04 UTC 2017

I'm currently working out ideas for potential optimizations in pattern 
matching compilation for GHC.

While I think the theory works out fine in regards to exceptions I would 
like feedback on the possible implications.

Trac ticket with details is here:

As for the theory I worked based of the assumptions that error = bottom 
and pattern match failure = error. Otherwise we get different results 
from both cases even in theory.

While I mostly worry about the practical implications I would also 
appreciate any other feedback.

More information about the ghc-devs mailing list