[GHC] #2555: Template Haskell does not respect -package and -hide constraints

View: New views
7 Messages — Rating Filter:   Alert me  

[GHC] #2555: Template Haskell does not respect -package and -hide constraints

by GHC-2 :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

#2555: Template Haskell does not respect -package and -hide constraints
------------------------+---------------------------------------------------
    Reporter:  guest    |       Owner:          
        Type:  bug      |      Status:  new    
    Priority:  normal   |   Component:  Compiler
     Version:  6.8.2    |    Severity:  normal  
    Keywords:           |    Testcase:          
Architecture:  Unknown  |          Os:  Linux  
------------------------+---------------------------------------------------
 (I am using 6.8.2-2ubuntu1, packaged for Ubuntu Hardy Heron, on amd64.)

 Recently sjanssen added some patches to the Lambdabot darcs repository
 which replace a preprocessor, BotPP, with some Template Haskell. This
 seems to work well, however I ran into a problem with it - everytime TH
 was called, it would error out with a message about Bytestring 0.9.1.0.

 This is far from the first time I've run into this problem, but it was not
 fixed by forcibly removing 0.9.1.0 & recompiling affected packages against
 bytestring 09.0.1!

 After even more debugging, I finally figured it out:

 The module TH was erroring out on has an 'import Text.Regex'. Text.Regex
 is installed by the regex-compat package. I had two regex-compats
 installed. regex-compat-0.91 was linked against bytestring0.9.0.1. regex-
 compat-0.92 was linked against (the removed) bytestring-0.9.1.0.

 Now, normally Cabal detects that using 0.92 would lead to errors, and it
 selects 0.91, and it adds to the GHC options '-hide-all-package -package
 regex-compat-0.91', and everything compiles fine and the user is happy.

 But! in this case, Template Haskell ignores the flags, and it uses the
 most recent regex-compat. And it is this that breaks the build. I
 ultimately resolved this issue by removing regex-compat-0.92 and
 reinstalling and linking it against 0.9.0.1, although I fear this may yet
 lead to bugs in the future.

 Short summary: Cabal is smarter than TH and picks better package versions
 to compile against, and yet TH ignores Cabal's picks. This leads to
 unnecessary & difficult to figure out compile failures.

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

Re: [GHC] #2555: Template Haskell does not respect -package and -hide constraints

by GHC-2 :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

#2555: Template Haskell does not respect -package and -hide constraints
-------------------------+--------------------------------------------------
    Reporter:  guest     |        Owner:      
        Type:  bug       |       Status:  new  
    Priority:  normal    |    Milestone:      
   Component:  Compiler  |      Version:  6.8.2
    Severity:  normal    |   Resolution:      
    Keywords:            |     Testcase:      
Architecture:  Unknown   |           Os:  Linux
-------------------------+--------------------------------------------------
Changes (by guest):

 * cc: gwern0@... (added)

--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2555#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@...
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #2555: Template Haskell does not respect -package and -hide constraints

by GHC-2 :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

#2555: Template Haskell does not respect -package and -hide constraints
----------------------+-----------------------------------------------------
 Reporter:  guest     |          Owner:            
     Type:  bug       |         Status:  new        
 Priority:  normal    |      Milestone:  6.10 branch
Component:  Compiler  |        Version:  6.8.2      
 Severity:  normal    |     Resolution:            
 Keywords:            |     Difficulty:  Unknown    
 Testcase:            |   Architecture:  Unknown    
       Os:  Linux     |  
----------------------+-----------------------------------------------------
Changes (by igloo):

  * difficulty:  => Unknown
  * milestone:  => 6.10 branch

--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2555#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@...
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #2555: Template Haskell does not respect -package and -hide constraints

by GHC-2 :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

#2555: Template Haskell does not respect -package and -hide constraints
----------------------+-----------------------------------------------------
 Reporter:  guest     |          Owner:            
     Type:  bug       |         Status:  new        
 Priority:  normal    |      Milestone:  6.10 branch
Component:  Compiler  |        Version:  6.8.2      
 Severity:  normal    |     Resolution:            
 Keywords:            |     Difficulty:  Unknown    
 Testcase:            |   Architecture:  Unknown    
       Os:  Linux     |  
----------------------+-----------------------------------------------------
Comment (by simonpj):

 Simon and I discussed this, and we can't understand enough about the
 problem to see what is going on.  So we need a way to reproduce it.  Can
 you give us some code, and a recipe for making it happen?

 Simon

--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2555#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@...
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #2555: Template Haskell does not respect -package and -hide constraints

by GHC-2 :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

#2555: Template Haskell does not respect -package and -hide constraints
----------------------+-----------------------------------------------------
 Reporter:  guest     |          Owner:            
     Type:  bug       |         Status:  new        
 Priority:  normal    |      Milestone:  6.10 branch
Component:  Compiler  |        Version:  6.8.2      
 Severity:  normal    |     Resolution:            
 Keywords:            |     Difficulty:  Unknown    
 Testcase:            |   Architecture:  Unknown    
       Os:  Linux     |  
----------------------+-----------------------------------------------------
Comment (by guest):

 I think I described it thoroughly; reproducing it requires carefully
 installing a package or two, and I'm not going to risk screwing up my
 installation yet again.

--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2555#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@...
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #2555: Template Haskell does not respect -package and -hide constraints

by GHC-2 :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

#2555: Template Haskell does not respect -package and -hide constraints
----------------------+-----------------------------------------------------
 Reporter:  guest     |          Owner:            
     Type:  bug       |         Status:  new        
 Priority:  normal    |      Milestone:  6.12 branch
Component:  Compiler  |        Version:  6.8.2      
 Severity:  normal    |     Resolution:            
 Keywords:            |     Difficulty:  Unknown    
 Testcase:            |   Architecture:  Unknown    
       Os:  Linux     |  
----------------------+-----------------------------------------------------
Changes (by simonpj):

  * milestone:  6.10 branch => 6.12 branch

Comment:

 OK.  If you come across it again, please let us know and we'll take the
 opportunity to get more specific info.  Meanwhile, we're stuck.

 Simon

--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2555#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@...
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs

Re: [GHC] #2555: Template Haskell does not respect -package and -hide constraints

by GHC-2 :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

#2555: Template Haskell does not respect -package and -hide constraints
-------------------------------+--------------------------------------------
  Reporter:  guest             |          Owner:                  
      Type:  bug               |         Status:  new            
  Priority:  normal            |      Milestone:  6.12 branch    
 Component:  Template Haskell  |        Version:  6.8.2          
Resolution:                    |       Keywords:                  
Difficulty:  Unknown           |             Os:  Linux          
  Testcase:                    |   Architecture:  Unknown/Multiple
   Failure:  None/Unknown      |  
-------------------------------+--------------------------------------------
Changes (by duncan):

  * failure:  => None/Unknown

Comment:

 Replying to [comment:6 simonmar]:
 > We don't dispute there's a bug here, but it can't be as simple as just
 "TH ignores the package flags".

 My current guess is that stale .hi files refer to another version of a
 package, so despite what the -package flags say we pull in two versions of
 a package when TH runs.

 That said, this should only happen if there are multiple versions of a
 package in the package graph. So perhaps this doesn't explain what gwern
 reported.

--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2555#comment:8>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@...
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs