PatternSynonyms error gives wrong source locations
Using an example from the GHC user's guide but omitting the argument to Maybe
{-# LANGUAGE PatternSynonyms #-}
data Type = App String [Type]
pattern Maybe = App "Maybe" [t]
gives the following error without the correct source locations
ghci> :load /tmp/failure.hs
[1 of 1] Compiling Main ( /tmp/failure.hs, interpreted )
/tmp/failure.hs:1:1:
Right-hand side of bidirectional pattern synonym cannot be used as an expression
App "Maybe" [t]
Failed, modules loaded: none.
Trac metadata
Trac field | Value |
---|---|
Version | 7.8.1-rc2 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | low |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | |
Operating system | |
Architecture |