id,summary,reporter,owner,description,type,status,priority,milestone,component,version,resolution,keywords,cc,os,architecture,failure,difficulty,testcase,blockedby,blocking,related
4527,<<loop>> ing program with ghc-7.0.1,maeder,,"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
",bug,closed,normal,,Compiler,7.0.1,fixed,,,Unknown/Multiple,Unknown/Multiple,Incorrect result at runtime,,,,,