[GHC] #1465: Type errors due to different package versions are a bit cryptic

GHC trac at galois.com
Wed Jun 27 03:53:11 EDT 2007


#1465: Type errors due to different package versions are a bit cryptic
----------------------------------------+-----------------------------------
    Reporter:  guest                    |        Owner:             
        Type:  bug                      |       Status:  new        
    Priority:  normal                   |    Milestone:  6.8        
   Component:  Compiler (Type checker)  |      Version:  6.6.1      
    Severity:  normal                   |   Resolution:             
    Keywords:                           |   Difficulty:  Easy (1 hr)
          Os:  Unknown                  |     Testcase:             
Architecture:  Unknown                  |  
----------------------------------------+-----------------------------------
Changes (by simonmar):

  * milestone:  => 6.8
  * type:  feature request => bug

Comment:

 Yes, this is really a bug, so I'm marking it as such.  We thought about
 it, and then promptly forgot about it, when we added support for multiple
 versions of packages,

 I don't think we want to ''always'' add the package name.  What is a "non-
 local type"?  One that comes from another package?  Then `Int` is non-
 local too.  My suggestion would be to add the package name if the types
 that fail to unify have the same qualified name.  Perhaps add an option to
 include the package names unconditionally.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1465>
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