To my

>> What is the matter with
>> main =
>>  let  xs = [((1,[0,0,0,0,2,0,0,0,0,2]),(-5,[0,0,0,0,1,0,3,3,0,1])),
>>             ((1,[0,1,0,0,0,1,0,0,0,1]),(-5,[0,1,0,0,0,1,0,0,0,1])),
>>             ((1,[0,1,0,0,1,0,0,0,0,2]),(-3,[0,1,0,0,1,0,0,-2,4,0])),
>>             ((1,[0,1,0,0,1,0,1,0,0,1]),(1,[0,1,0,0,1,-2,3,0,2,-1])),
>>             ((1,[0,1,0,0,1,0,2,0,1,0]),(3,[0,1,0,1,0,5,1,3,-3,2])),
>>             ((1,[0,2,0,0,0,0,0,0,0,2]),(-5,[0,1,0,3,0,0,0,3,0,1])),
>>             ((1,[0,2,0,0,0,0,1,0,0,1]),(-3,[0,0,4,-2,0,0,1,0,0,1])),
>>             ((1,[0,2,0,0,0,0,2,0,0,0]),(-5,[0,1,0,3,3,0,1,0,0,0])),
>>             ((1,[1,0,0,0,0,1,0,0,0,1]),(1,[1,0,0,0,1,0,0,-1,1,1])),
>>             ((1,[1,0,0,0,1,0,0,0,0,1]),(1,[1,0,0,0,1,-1,1,0,1,0])),
>>             ((1,[1,0,0,0,1,0,1,0,1,0]),(-5,[1,0,0,0,0,2,0,1,-1,1])),
>>             ((1,[1,0,0,1,1,0,0,0,1,0]),(-5,[1,0,0,1,0,2,-1,1,-1,1])),
>>             ((1,[1,0,1,0,0,0,0,0,0,1]),(1,[1,1,0,0,0,0,0,-1,1,1])),
>>             ((1,[1,0,1,0,0,0,1,0,0,0]),(1,[1,1,0,0,-1,1,1,0,0,0])),
>>             ((1,[1,1,0,0,0,0,0,0,0,1]),(1,[1,1,-1,1,0,0,0,0,1,0]))
>>           ]
>>           :: [((Int,[Int]), (Int,[Int]))]
>>  in
>>  putStr $ shows xs "\n"
>> 
>> [..]


Simon Marlow  <[EMAIL PROTECTED]>  writes

> [..]  "bugs that we knew about but didn't think anyone would ever
> run into" :-)

As I recall, it worked in  ghc-4.04,  both under  -Onot  and  -O.
It is a necessary part of the automatic  demonstration/test  from 
my DoCon program: xs  is compared to certain list evaluated 
differently.

> [..]
> The ints don't count, because we have a bunch of pre-allocated small
> integers in the RTS which are used when possible. 
> [..]

Initially, they were  Integer  and also behaved wrongly.
Also I tried to program  xs  as  ys++zs  with the shorter lists  ys,
zs.  And in vain.

> Thanks for the report.  I suggest using -O in the meatime, while 
> I think of a good way to fix it.

-O  cannot compile at all the project, I'had sent  bug.zip  to Simon.

So far, I just made  xs  shorter,  because this does not seem to 
spoil the rest of the project, only the test program is not so 
complete.
But of course, it is desirable to debug, for evident reason ...
And debugging -O is even more desirable for me.

------------------
Sergey Mechveliani
[EMAIL PROTECTED]


Reply via email to