[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