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