Bugs item #1209152, was opened at 2005-05-26 15:39 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1209152&group_id=8032
Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Compiler Group: 6.4 Status: Open Resolution: None Priority: 5 Submitted By: C Maeder (c_maeder) Assigned to: Nobody/Anonymous (nobody) Summary: non-termination without optimization Initial Comment: 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. [EMAIL PROTECTED] -> uname -a Linux jupiter 2.6.8-24.14-smp #1 SMP Tue Mar 29 09:27:43 UTC 2005 i686 i686 i386GNU/Linux [EMAIL PROTECTED] -> gcc --version gcc (GCC) 3.3.4 (pre 3.3.5 20040809) Copyright (C) 2003 Free Software Foundation, Inc. [EMAIL PROTECTED] -> ghc --version The Glorious Glasgow Haskell Compilation System, version 6.4.1.20050517 [EMAIL PROTECTED] -> ghc --make trans.hs -o trans -no-recomp Chasing modules from: trans.hs Compiling Main ( trans.hs, trans.o ) Linking ... [EMAIL PROTECTED] -> date Fr Mai 20 10:27:00 CEST 2005 [EMAIL PROTECTED] -> time ./trans Map.hs Map.hs Map.hs Map.hs Map.hs Map.hs real 0m20.732s user 0m20.298s sys 0m0.031s [EMAIL PROTECTED] -> 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 [EMAIL PROTECTED] -> 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 [EMAIL PROTECTED] -> 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 ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=108032&aid=1209152&group_id=8032 _______________________________________________ Glasgow-haskell-bugs mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
