RE: Trying to build Agda 2.2.9 with ghc-7.1.20110131

2011-02-14 Thread Simon Peyton-Jones
-users-boun...@haskell.org [mailto:glasgow-haskell-users-boun...@haskell.org] On Behalf Of Pavel Perikov Sent: 01 February 2011 15:01 To: GHC users Subject: Trying to build Agda 2.2.9 with ghc-7.1.20110131 If anyone interested... Agda-2.2.9 compiled perfectly with 7.0.1 release but with 7.1.20110131

Trying to build Agda 2.2.9 with ghc-7.1.20110131

2011-02-01 Thread Pavel Perikov
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. Another one was in src/full/Agda/TypeChecking/Positivity.hs @ 260: instance ComputeOccurrences Term

Re: Trying to build Agda 2.2.9 with ghc-7.1.20110131

2011-02-01 Thread kahl
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: