Changes between Initial Version and Version 2 of Ticket #9889


Ignore:
Timestamp:
Dec 17, 2014 12:24:05 PM (4 years ago)
Author:
cactus
Comment:

Note that pattern binds, in general, don't have this problem, only at the top level; e.g. the following works as expected:

{-# LANGUAGE PatternSynonyms #-}
pattern Id x = x

foo = x
  where
    Id x = True

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #9889

    • Property Owner set to cactus
    • Property Type of failure changed from None/Unknown to GHC rejects valid program
    • Property Component changed from Compiler to Compiler (Type checker)
    • Property Summary changed from Pattern synonym does not work at top level to Pattern synonym does not work in top-level pattern bind
  • Ticket #9889 – Description

    initial v2  
    22
    33{{{
     4{-# LANGUAGE PatternSynonyms #-}
    45pattern Id x = x
    56