#7165: "match_co bailing out" messages and compiler crash
-------------------------------+--------------------------------------------
Reporter: alang | Owner:
Type: bug | Status: new
Priority: normal | Milestone: 7.8.1
Component: Compiler | Version: 7.7
Keywords: | Os: Linux
Architecture: x86_64 (amd64) | Failure: Compile-time crash
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
-------------------------------+--------------------------------------------
Comment(by simonpj@…):
commit b04ff2fe83d8a5f9c176739559ac722521a7bdcc
{{{
Author: Simon Peyton Jones <simo...@microsoft.com>
Date: Thu Aug 23 16:35:11 2012 +0100
Two small fixes to SpecConstr for functions with equality-proof args
First, make Rules.match_co able to deal wit some modest coercions
Second, make SpecConstr use wild-card for coercion arguments
This is the rest of the fix for Trac #7165
compiler/specialise/Rules.lhs | 7 ++++++-
compiler/specialise/SpecConstr.lhs | 6 ++----
2 files changed, 8 insertions(+), 5 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7165#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
