#4527: <<loop>> ing program with ghc-7.0.1
---------------------------------+------------------------------------------
Reporter: maeder | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.0.1 | Keywords:
Testcase: | Blockedby:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: Incorrect result at runtime
---------------------------------+------------------------------------------
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
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4527>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
