Trying to build Agda 2.2.9 with ghc-7.1.20110131

kahl at kahl at
Tue Feb 1 16:19:27 CET 2011

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:

Therefore: does the problem change if you pass



  ./Setup configure -p



More information about the Glasgow-haskell-users mailing list