[GHC] #10783: Partial type signatures should work with pattern synonym signatures

20 Aug 2015

      #10783: Partial type signatures should work with pattern synonym signatures
-------------------------------------+-------------------------------------
              Reporter:  mpickering  |             Owner:
                  Type:  bug         |            Status:  new
              Priority:  normal      |         Milestone:
             Component:  Compiler    |           Version:  7.10.2
              Keywords:              |  Operating System:  Unknown/Multiple
          Architecture:              |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
             Test Case:              |        Blocked By:
              Blocking:              |   Related Tickets:
Differential Revisions:              |
-------------------------------------+-------------------------------------
 {{{#!hs

 {-# LANGUAGE PatternSynonyms #-}

 pattern MyJust :: _
 pattern MyJust a = Just a

 }}}

 GHC can correctly infer the type for the pattern without the type
 signature so (to me) it is unexpected that this inferred type is not
 reported to me when using partial type signatures. It just seems to not be
 implemented currently.

--
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10783
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler