#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
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Reply via email to