[Agda] dmdFix loop warning/error
Andrés Sicard-Ramírez
andres.sicard.ramirez at gmail.com
Sat Dec 19 05:34:17 CET 2009
Hi,
Working with the development version of Agda and the standard library, GHC
(6.10.4 and 6.12.1) throws a huge dmdFix loop warning/error? when it
compiles the module MAlonzo.Data.Colist generated by Agda
... Compiling MAlonzo.Data.Colist ( MAlonzo/Data/Colist.hs,
MAlonzo/Data/Colist.o )
dmdFix loop
10 Sigs: [(main:MAlonzo.Data.Colist.d299{v r6osR} [lidx],
DmdType
AASU(AAU(U(AAU(U(AAU(U(AAU(U(AAU(U(AAU(U(AAU(U(AAU(U(AAU(A))))))))))))))))))b,
DmdType
AASU(AAU(U(AAU(U(AAU(U(AAU(U(AAU(U(AAU(U(AAU(U(AAU(U(AAU(U(AAU(A))))))))))))))))))))b)]
env: [(r6onP, (DmdType A, <TopLevel>)),
...
Does someone know what this warning/error means? If I removed the option -O
in the invocation of GHC the warning/error disappears.
Best,
--
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20091218/a27fd119/attachment.html
More information about the Agda
mailing list