#5853: Out-of-memory crash when using RULES and type families
-------------------------------+--------------------------------------------
Reporter: porges | Owner: simonpj
Type: bug | Status: new
Priority: high | Milestone: 7.4.2
Component: Compiler | Version: 7.4.1
Keywords: | Os: Windows
Architecture: x86_64 (amd64) | Failure: Compile-time crash
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
-------------------------------+--------------------------------------------
Comment(by simonpj@…):
commit 5aa1ae2456760697c9dc69884b87416f97baa24a
{{{
Author: Simon Peyton Jones <[email protected]>
Date: Mon Apr 16 15:30:20 2012 +0100
Simplify the typechecking of RULES
Not only does this fix Trac #5853, but it also eliminate
the horrid SimplEqsOnly part of the constraint simplifier.
The new plan is described in TcRules
Note [Simplifying RULE constraints]
compiler/typecheck/TcInteract.lhs | 55 ++----------
compiler/typecheck/TcRules.lhs | 151 +++++++++++++++++++++++++------
compiler/typecheck/TcSMonad.lhs | 20 +----
compiler/typecheck/TcSimplify.lhs | 181
+++++++++----------------------------
4 files changed, 179 insertions(+), 228 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5853#comment:3>
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
