-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
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
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: