non-termination without optimization

I've found a (relatively) small example that does not
terminate if
translated unoptimized under linux with ghc-6.4 or
ghc-6.4.1, although it should (and does with ghc-6.2.2).

I compile with:

ghc --make trans.hs -o trans -no-recomp

and let the program process the file "Map.hs" (that is
merely used as
input data) several times. While "./trans" sometimes
succeeds to
translate Map.hs a couple of times it fails to
translate it more times
and leaves a half translated file Map.hs.trans.
Unfortunately the exact
amount of data that needs to be processed varies in
order to tickle the
bug. (7 times Map.hs below, up to 11 times in other cases).

The program terminates as expected if I use my
(included) Map.hs instead of Data.Map, or if I declare
the character map to be a separate
constant, or if I compile with optimization.

If compiled unoptimized with profiling it also does not
terminate.

maeder@jupiter -> uname -a
Linux jupiter 2.6.8-24.14-smp #1 SMP Tue Mar 29
09:27:43 UTC 2005 i686
i686 i386GNU/Linux

maeder@jupiter -> gcc --version
gcc (GCC) 3.3.4 (pre 3.3.5 20040809)
Copyright (C) 2003 Free Software Foundation, Inc.

maeder@jupiter -> ghc --version
The Glorious Glasgow Haskell Compilation System,
version 6.4.1.20050517

maeder@jupiter -> ghc --make trans.hs -o trans -no-recomp
Chasing modules from: trans.hs
Compiling Main             ( trans.hs, trans.o )
Linking ...

maeder@jupiter -> date
Fr Mai 20 10:27:00 CEST 2005

maeder@jupiter -> time ./trans Map.hs Map.hs Map.hs
Map.hs Map.hs Map.hs

real    0m20.732s
user    0m20.298s
sys     0m0.031s

maeder@jupiter -> ll Map.*
-rw-r--r--  1 maeder wimi  57184 2005-05-20 09:31 Map.hs
-rw-r--r--  1 maeder wimi 207572 2005-05-20 10:27
Map.hs.trans

maeder@jupiter -> time ./trans Map.hs Map.hs Map.hs
Map.hs Map.hs Map.hs
Map.hs
trans: interrupted

real    4m29.816s
user    4m5.554s
sys     0m24.120s

maeder@jupiter -> ll Map.*
-rw-r--r--  1 maeder wimi 57184 2005-05-20 09:31 Map.hs
-rw-r--r--  1 maeder wimi 98304 2005-05-20 10:28
Map.hs.trans

Trac metadata

Trac field	Value
Version	6.4
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	ResolvedFixed
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture