Skip to content

Allow one type signature for multiple pattern synonyms

There's no reason why we shouldn't allow the same type signature for multiple pattern synonyms just like ordinary functions.

For example,

pattern A,B,C,D :: Int
pattern A = 5
pattern B = 6
pattern C = 7
pattern D = 8
Edited by Ben Gamari
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information