pattern signatures

Richard Eisenberg rae at
Fri Jan 5 13:47:49 UTC 2018

Hi devs,

Is a pattern signature

a) something you put after `pattern P ::` ?
b) something you put after `::` in a pattern, as in `foo (Proxy :: Proxy a)` ?

I've seen the term "pattern signature" apply to both, and I've been tripped up by this. Does anyone have terminology that unambiguously separates these two constructs that we can all adopt?


More information about the ghc-devs mailing list