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

[GHC]

#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