Re: [GHC] #8889: GHCI reports nasty type signatures

17 Mar 2014

      #8889: GHCI reports nasty type signatures
--------------------------------+----------------------------------
        Reporter:  MikeIzbicki  |            Owner:
            Type:  bug          |           Status:  new
        Priority:  normal       |        Milestone:
       Component:  GHCi         |          Version:  7.8.1-rc1
      Resolution:               |         Keywords:
Operating System:  Linux        |     Architecture:  x86_64 (amd64)
 Type of failure:  Other        |       Difficulty:  Unknown
       Test Case:               |       Blocked By:
        Blocking:               |  Related Tickets:
--------------------------------+----------------------------------

Comment (by Simon Peyton Jones ):

 In [changeset:"7a7af1ffc48f605cf365faf8fcef31ef4f13822b/ghc"]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="7a7af1ffc48f605cf365faf8fcef31ef4f13822b"
 Unflatten the constraints of an inferred types (Trac #8889)

 There was even a comment to warn about this possiblity,
 and it finally showed up in practice!  This patch fixes
 it quite nicely, with commens to explain.
 }}}

--
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8889#comment:1
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler