#1899: compiler does not halt
----------------------+-----------------------------------------------------
Reporter: guest | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 6.8.3
Component: Compiler | Version: 6.8.1
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Architecture: x86_64 (amd64)
Os: Unknown |
----------------------+-----------------------------------------------------
Comment (by igloo):
This module (not well-typed):
{{{
module ILPSAT where
data Constraint a = Formula [[Proposition a]]
data Proposition a = Prop a
| Auxiliary [Proposition a]
transRHS :: [a] -> Int -> Constraint a
transRHS varSet b =
if b < 0
then Formula [[Prop (Auxiliary undefined)]]
else Formula $
[[Prop (Auxiliary varSet),
Prop (Auxiliary varSet)]
]
}}}
With 6.8.2 and the HEAD:
{{{
$ ghc -dcore-lint -c ILPSAT.hs -fforce-recomp -v
[...]
*** Renamer/typechecker:
}}}
at which point it appears to hang.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1899#comment:2>
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
