Trying to build Agda 2.2.9 with ghc-7.1.20110131

[kahl at cas.mcmaster.ca]

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