#1688: Attached file causes stack overflow
-----------------------------------+----------------------------------------
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 6.8 branch
Component: Compiler | Version: 6.7
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Os: Windows | Testcase:
Architecture: x86 |
-----------------------------------+----------------------------------------
Changes (by simonpj):
* milestone: => 6.8 branch
Comment:
Good bug. Here is a much smaller module showing the same problem
{{{
newtype M s a = M a
class Modular s a | s -> a
wim :: forall a w. Integral a
=> a -> (forall s. Modular s a => M s w) -> w
wim i k = error "urk"
test4' :: (Modular s a, Integral a) => M s a
test4' = error "urk"
test4 = wim 4 test4'
}}}
Also, removing the first parameter of `wim` gives an ASSERT failure.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1688>
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
