[GHC] #1614: Type checker does not use functional dependency to avoid ambiguity

[Ian Lynagh]

On Sat, Jan 26, 2013 at 11:15:56PM +0000, Simon Peyton-Jones wrote:
> Morabbin, what's the semantics of "bump"?   I don't know what you intend by it!

I think the intention is just to draw attention to the ticket.

By the way, thanks for looking at our old tickets! Adding a comment to a
ticket which looks like it it could now be easily closed, or where it is
unclear what the status is (as with this ticket), or where some other
easy action is needed, is very useful.

If there's a particular bug that's affecting you, then adding a comment
to it is also useful, as it helps us prioritise.

However, I think that just adding a comment like "Bump; still relevant."
such as in
    http://hackage.haskell.org/trac/ghc/ticket/1526#comment:7
is counter-productive, as all open tickets are assumed to still be
relevant by default, so it just generates mails that people then spend
time reading and deleting.


Thanks
Ian

> |  -----Original Message-----
> |  From: ghc-tickets-bounces at haskell.org [mailto:ghc-tickets-bounces at haskell.org]
> |  On Behalf Of GHC
> |  Sent: 26 January 2013 22:12
> |  Cc: ghc-tickets at haskell.org
> |  Subject: Re: [GHC] #1614: Type checker does not use functional dependency to
> |  avoid ambiguity
> |  
> |  #1614: Type checker does not use functional dependency to avoid ambiguity
> |  --------------------------------------+-------------------------------------
> |    Reporter:  guest                    |          Owner:
> |        Type:  bug                      |         Status:  new
> |    Priority:  normal                   |      Milestone:  _|_
> |   Component:  Compiler (Type checker)  |        Version:  6.7
> |  Resolution:                           |       Keywords:
> |          Os:  Unknown/Multiple         |   Architecture:  Unknown/Multiple
> |     Failure:  None/Unknown             |     Difficulty:  Unknown
> |    Testcase:                           |      Blockedby:
> |    Blocking:                           |        Related:
> |  --------------------------------------+-------------------------------------
> |  Changes (by morabbin):
> |  
> |    * failure:  => None/Unknown
> |  
> |  
> |  Comment:
> |  
> |   Bump; chak saya this was fixed in HEAD, and then SPJ closes as wontfix?
> |   Was the fix backed out?
> |  
> |  --
> |  Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1614#comment:11>
> |  GHC <http://www.haskell.org/ghc/>
> |  The Glasgow Haskell Compiler