<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
<META NAME="GENERATOR" CONTENT="GtkHTML/3.30.3">
</HEAD>
<BODY>
Dear GHC developers,<BR>
<BR>
The confirmation token letter from the bug tracker travels too long, I do not know, why.<BR>
Meanwhile I cannot report there.<BR>
So, I report it in the below way: <BR>
<BR>
<A HREF="http://www.botik.ru/pub/local/Mechveliani/ghcQuest/7.10.1-errReport-may..">http://www.botik.ru/pub/local/Mechveliani/ghcQuest/7.10.1-errReport-may22-2015.zip</A><BR>
<BR>
<BR>
Make it, please, with ghc-7.10.1 as it is written there in install.txt,<BR>
including making demotest/Main.<BR>
Then<BR>
./Main<BR>
<BR>
breaks in the middle reporting a DoCon application error<BR>
<BR>
----------------------------------------------------------------------------<BR>
Factorization in K1[x], K1 a generic finite extension of a prime<BR>
field K = Z/(p) .. <BR>
factor f, <BR>
f = (x^10 + x^7 + x^5 + x^3 + x^2 + (2)*x+ (2)) <- K[x] = ((Z/<5>)["t"]/<(t^3 + 4*t + 3)>)["x"]<BR>
Domain term of K must contain a Finite field description.<BR>
---------------------------------------------------------------------------<BR>
<BR>
I obtain this for ghc-7.10.1 made from source by ghc-7.8.2 on Debian Linux,<BR>
x-86, 64 bit. <BR>
<BR>
The story is as follows.<BR>
<BR>
docon-2.12<BR>
http://www.botik.ru/pub/local/Mechveliani/docon/2.12/<BR>
<BR>
has been tested under ghc-7.8.2, and it works.<BR>
<BR>
Now I am trying to port it to ghc-7.10.1. <BR>
This needs inserting certain pragmas for OVERLAPPING/OVERLAPPABLE into<BR>
some instance declarations.<BR>
So I call this port <BR>
docon-2.12.1.<BR>
<BR>
7.10.1-errReport-may22-2015.zip is the error report of docon-2.12.1 to ghc-7.10.1.<BR>
<BR>
This application has the OVERLAPPABLE pragma set to one instance and the<BR>
OVERLAPPING pragma set to many instances. <BR>
GHC itself warns of overlaps. Then I <BR>
1) set the pragma to the reported instance (pair),<BR>
2) recompile the corresponding module<BR>
3) rerun<BR>
make configure; make build.<BR>
<BR>
This process has finished in `making' the application.<BR>
Then,<BR>
> cd demotest<BR>
> ghc $doconCpOpt -O --make -rtsopts Main<BR>
> ./Main<BR>
<BR>
produces the above error instead of the test success report.<BR>
<BR>
I suspect that the reason is in treating the instance overlaps<BR>
(but there may be another source).<BR>
<BR>
Comparing docon-2.12 + ghc-7.8.2 <BR>
to 7.10.1-errReport-may22-201 + ghc-7.10.1,<BR>
<BR>
can you, please, find: how to fix the latter version?<BR>
Is this a bug in ghc-7.10.1 ?<BR>
<BR>
Regards,<BR>
<BR>
--------<BR>
Sergei<BR>
<BR>
<BR>
<BR>
<BR>
<BR>
<BR>
<BR>
<BR>
<BR>
<BR>
</BODY>
</HTML>