[Agda] More aggressive `with`: Please check your Agda-2.4.2 developments!

[Andrés Sicard-Ramírez]

On 20 November 2015 at 03:29,  <darais at cs.umd.edu> wrote:
> I was unsuccessful in building the branch from a fresh cabal sandbox using
> cpphs-1.19.3. Bounds are stated "'cpphs' version >=1.19 && <1.20 is required”
> and 1.19.3 is automatically installed since it's the latest on hackage. The
> error I get is "The program 'cpphs' version >=1.19 && <1.20 is required but it
> could not be found."

I guess you had a previous version of cpphs in your path.

> and if I point to it explicitly with
> "--with-cpp=/.../.cabal-sandbox/bin/cpphs-2.4.2.5" I get "ghc: could not
> execute: cpphs".

I have used the --with-cpp option without problems.

> I was able to install successfully after downgrading to
> 1.19.2.

It shouldn't be necessary.

-- 
Andrés