Re: Trying to build Agda 2.2.9 with ghc-7.1.20110131

On Tue, Feb 01, 2011 at 06:01:04PM +0300, Pavel Perikov wrote:

If anyone interested...

Agda-2.2.9 compiled perfectly with 7.0.1 release but with 7.1.20110131 the compiler had a few problems including "impossible happened" when building profiling library.

Possibly related: http://hackage.haskell.org/trac/ghc/ticket/4462 Therefore: does the problem change if you pass --ghc-options="-dcore-lint" to ./Setup configure -p ? Wolfram