[GHC] #1451: Provide way to show the origin of a constraint

[GHC]

#1451: Provide way to show the origin of a constraint
--------------------------------+-------------------------------------------
  Reporter:  iampure at gmail.com  |          Owner:         
      Type:  feature request    |         Status:  new    
  Priority:  normal             |      Milestone:         
 Component:  Compiler           |        Version:  6.6.1  
  Severity:  normal             |       Keywords:         
Difficulty:  Unknown            |             Os:  Unknown
  Testcase:                     |   Architecture:  Unknown
--------------------------------+-------------------------------------------
For a complex type (A b, C d, E e) => Something a b e -> Int, provide a
 way to given the query:
 where does A b come from? Respond with the line number of a function that
 causes that constraint. This should of course also work for non-Haskell 98
 constraints.

 This issue comes up when one by accident calls a function in the wrong
 layer of a monadic transformer stack.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1451>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
-------------- next part --------------
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs at haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs