Pattern synonym does not work in top-level pattern bind
When I say
{-# LANGUAGE PatternSynonyms #-}
pattern Id x = x
Id x = TrueI get
Not in scope: data constructor ‘Id’This happens with both 7.8.3 and HEAD.
When I say
{-# LANGUAGE PatternSynonyms #-}
pattern Id x = x
Id x = TrueI get
Not in scope: data constructor ‘Id’This happens with both 7.8.3 and HEAD.