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 _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
