Opened 10 years ago

Closed 10 years ago

#2145 closed bug (duplicate)

ghc does not terminate (renamer/typechecker?)

Reported by: j.waldmann Owned by:
Priority: normal Milestone:
Component: Compiler Version: 6.8.2
Keywords: Cc:
Operating System: Linux Architecture: x86
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


When doing

ghc --make -v SRS/Bounded/Paths.hs

the compiler seems stuck:

[5 of 5] Compiling SRS.Bounded.Paths ( SRS/Bounded/Paths.hs, SRS/Bounded/Paths.o )
*** Parser:
*** Renamer/typechecker:

Nothing happens, for minutes, and then I hit CTRL-C.

The problem seems to be triggered by calls of "modify" in the line

   edges = [ modify w1 af, new, modify w2  at ]

because if it is replaced with

  edges = [ af, new, at ]

then compilation succeeds.

ghc --version
The Glorious Glasgow Haskell Compilation System, version

uname -a
Linux noname #1 SMP 2008/02/10 20:01:04 UTC i686 i686 i386 GNU/Linux

Attachments (1)

bug2.tar.gz (3.8 KB) - added by j.waldmann 10 years ago.
5 haskell source files, compilation of SRS.Bounded.Paths show the bug

Download all attachments as: .zip

Change History (3)

Changed 10 years ago by j.waldmann

Attachment: bug2.tar.gz added

5 haskell source files, compilation of SRS.Bounded.Paths show the bug

comment:1 Changed 10 years ago by j.waldmann

I notice the behaviour is different with version 6.9.20080305 (it terminates and complains about type errors).

comment:2 Changed 10 years ago by igloo

difficulty: Unknown
Resolution: duplicate
Status: newclosed

Thanks for the report!

This sounds like #1899, fixed in the 6.8 branch and HEAD. Please reopen if you disagree.

Note: See TracTickets for help on using tickets.