#2414: GHCi / GHC segfault : type checker problem
-----------------------------------------+----------------------------------
Reporter: dons | Owner: igloo
Type: merge | Status: new
Priority: high | Milestone: 6.10.1
Component: Compiler (Type checker) | Version: 6.8.2
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: typecheck/should_fail/T2414 | Architecture: Unknown
Os: Unknown |
-----------------------------------------+----------------------------------
Changes (by simonpj):
* testcase: => typecheck/should_fail/T2414
* owner: => igloo
* type: bug => merge
Comment:
Thank you for finding this. Very embarrassing, because it's such a simple
program (no type classes, no functional dependencies, no type
functions...).
The extra complexity due to boxy types led to a missing occurs check.
This is the patch:
{{{
Mon Jul 7 11:32:01 BST 2008 [EMAIL PROTECTED]
* Fix Trac #2414: occurrs check was missed
}}}
Merge to 6.8.4 if/when we release it.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2414#comment:5>
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
