Skip to content

writing a pattern synonym body doesn't suggest enabling `-XPatternSynonyms` while writing the type signature does

Motivation

If I write pattern X = 4, I get Not in scope: data constructor X whereas if I write pattern X :: Int, I get Perhaps you intended to use PatternSynonyms

Proposal

I would like to gt the suggestion in the former case as well. :)

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information