sweirich / trellys

Automatically exported from code.google.com/p/trellys
46 stars 6 forks source link

The svn:external RepLib -r40 causes cabal problems due to version collision with hackage RepLib #6

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
What steps will reproduce the problem?
1. `cabal update`
2. `cd <trellys trunk> && make`

What is the expected output? What do you see instead?

Expect a successful install, but the install of trellys-core fails with 
unsatisfiable dependency on base >= 4.3 (which is ghc 7).

The problem is that both RepLib r40 and RepLib on hackage are version 0.3.  The 
r40 version requires base >= 4.2 and the hackage version requires base >= 4.3.  
When cabal is resolving the trellys-core dependencies, it uses the base >= 4.3 
dep, from hackage, not the base >= 4.2 dep, from the local RepLib r40 (which 
installs successfully).

I submitted a hackish work-around in r38, but Stephanie or Chris can probably 
provide a better fix via their write access to the RepLib svn repo.  

NB: base 4.3 is part of ghc 7, but it appears that ghc 7 is not compatible with 
the r40 version of RepLib, because r40 RepLib doesn't work with template 
haskell 2.5 (the ghc 7 version).  Also, the current RepLib (r81?) is not 
compatible with the current trellys-core, so simply upgrading the svn:external 
to the latest RepLib revision won't solve the problem.

Original issue reported on code.google.com by nathan.c...@gmail.com on 17 Dec 2010 at 4:35

GoogleCodeExporter commented 9 years ago
Fixed by revision 71, which upgraded trellys to use the latest version of 
replib.

Original comment by vilhelm....@gmail.com on 20 Jan 2011 at 1:12