#7392: "the impossible happened" when compiling Types.Substitutions
---------------------------------+------------------------------------------
Reporter: martindemello | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.6.1
Keywords: | Os: Linux
Architecture: Unknown/Multiple | Failure: Compile-time crash
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------+------------------------------------------
Comment(by guest):
I reduced the test case.
{{{
module M where
import Data.List (foldl')
data Type = ADT [Type]
rnf (ADT ts) = foldl' (\acc x -> rnf x `seq` acc) () ts
}}}
This module is a stripped version of Types.Substitutions and crashes on
`ghc-7.6.1 -O M.hs`. The optimization flag is important.
GHC-7.7.20121024 compiles it fine. Therefore I think this ticket can be
closed as fixed; perhaps you can a regression test to be safe.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7392#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
