Hi,<br><br>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<br><br>... Compiling MAlonzo.Data.Colist ( MAlonzo/Data/Colist.hs, MAlonzo/Data/Colist.o )<br>

dmdFix loop<br>    10 Sigs: [(main:MAlonzo.Data.Colist.d299{v r6osR} [lidx],<br>               DmdType AASU(AAU(U(AAU(U(AAU(U(AAU(U(AAU(U(AAU(U(AAU(U(AAU(U(AAU(A))))))))))))))))))b,<br>               DmdType AASU(AAU(U(AAU(U(AAU(U(AAU(U(AAU(U(AAU(U(AAU(U(AAU(U(AAU(U(AAU(A))))))))))))))))))))b)]<br>

       env: [(r6onP, (DmdType A, &lt;TopLevel&gt;)),<br>       ...<br><br>Does someone know what this warning/error means?  If I removed the option -O in the invocation of GHC the warning/error disappears.<br><br>Best,<br>

<br>-- <br>Andrés<br>