COMPLETE pragmas

Richard Eisenberg rae at
Mon Aug 31 19:30:05 UTC 2020

Hi Sebastian,

I enjoyed your presentation last week at ICFP!

This thread ( played out before you became so interested in pattern-match coverage. I'd be curious for your thoughts there -- do you agree with the conclusions in the thread?

My motivation for asking is (you don't need to read the whole thing), which can be boiled down to a request for a COMPLETE pragma that works at a polymorphic result type. (Or a COMPLETE pragma written in a module that is not the defining module for a pattern synonym.) describes a similar, but even more challenging scenario.

Do you see any ways forward here?


More information about the ghc-devs mailing list