GitLab

I've got a (unfortunately large) program that terminates with <<loop>> if compiled with ghc-7.0.1 but works as expected with ghc-6.12.3 (and ghc-6.10.4).

In order to reproduce this, install the two cabal packages programatica-1.0.0.1 and hana-0.97 (not on hackage)

http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-distribution/versions/programatica-1.0.0.1.tar.gz

http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/src-distribution/versions/Hana-0.97.tar.gz

(I'll try to attach this archives.)

Apply the installed program "hana" to the file "Dummy.hs" inside the hana-0.97 package.

The expected output is:

{-

scope:

-}
module Dummy where

The output produced by hana created by ghc-7.0.1 is

hana: <<loop>>

Some tracing indicated that something goes wrong in the programatica module ScopeModule.

The original problem is reported here: http://trac.informatik.uni-bremen.de:8080/hets/ticket/884

Trac metadata

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