#5573: Returning nested unboxed tuples crashes the code generator on x86_64
Linux
-------------------------------+--------------------------------------------
Reporter: manzyuk | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.0.3 | Keywords:
Testcase: | Blockedby:
Os: Linux | Blocking:
Architecture: x86_64 (amd64) | Failure: Compile-time crash
-------------------------------+--------------------------------------------
Comment(by simonpj@…):
commit b653231468f4f166133ca91bc7ca2f5717e5d726
{{{
Author: Simon Peyton Jones <[email protected]>
Date: Sat Oct 22 12:03:11 2011 +0100
Fix kind-checking for unboxed tuples (fixes Trac #5573)
In particular we don't allow *nested* unboxed tuples, but the
typechecker wasn't actually enforcing that, which confused the
later stages of the compiler.
I also updated the documentation on unboxed tuples.
compiler/prelude/TysPrim.lhs | 5 +++--
compiler/prelude/TysWiredIn.lhs | 6 +++---
compiler/typecheck/TcHsType.lhs | 36
++++++++++++++++++++----------------
docs/users_guide/glasgow_exts.xml | 10 ++++++++--
4 files changed, 34 insertions(+), 23 deletions(-)
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5573#comment:1>
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
