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

GHC trac at galois.com
Sat Jul 7 15:11:39 EDT 2007


#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 (Type checker)  |      Version:  6.6.1  
    Severity:  normal                   |   Resolution:         
    Keywords:                           |   Difficulty:  Unknown
          Os:  Unknown                  |     Testcase:         
Architecture:  Unknown                  |  
----------------------------------------+-----------------------------------
Changes (by igloo):

  * component:  Compiler => Compiler (Type checker)
  * milestone:  => _|_

Comment:

 It sounds hard have an interface for asking the question (perhaps it's not
 too bad inside ghci), hard to give the answer that the user is after, and
 would probably require significant changes to the typechecker, so I'm
 afraid I don't think we'll get to this any time soon.

-- 
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


More information about the Glasgow-haskell-bugs mailing list