Re: [GHC] #5315: panic in idInfoToAmode with -O
#5315: panic in idInfoToAmode with -O
---+
Reporter: mikhail.vorozhtsov |Owner:
Type: bug | Status: new
Priority: high|Milestone: 7.2.1
Component: Compiler| Version: 7.1
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple| Blocking:
Architecture: Unknown/Multiple| Failure: Compile-time crash
---+
Comment(by simonpj@…):
{{{
commit ce8c84a76d0a19ff56d4c4e58744776fda2044bd
Author: Simon Peyton Jones simo...@microsoft.com
Date: Fri Jul 15 11:49:38 2011 +0100
Use varToCoreExpr rather than Var (fixes #5315)
A coercion variable in a term must be wrapped in a coercion!
(Led to lint errors.)
}}}
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5315#comment:3
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
Re: [GHC] #5315: panic in idInfoToAmode with -O
#5315: panic in idInfoToAmode with -O ---+ Reporter: mikhail.vorozhtsov |Owner: Type: bug | Status: merge Priority: high|Milestone: 7.2.1 Component: Compiler| Version: 7.1 Keywords: | Testcase: simplCore/should_run/T5315 Blockedby: | Difficulty: Os: Unknown/Multiple| Blocking: Architecture: Unknown/Multiple| Failure: Compile-time crash ---+ Changes (by simonpj): * status: new = merge * testcase: = simplCore/should_run/T5315 Comment: Thanks for the report. It's a real bug. Pls merge to 7.2 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5315#comment:4 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
Re: [GHC] #5315: panic in idInfoToAmode with -O
#5315: panic in idInfoToAmode with -O ---+ Reporter: mikhail.vorozhtsov |Owner: Type: bug | Status: new Priority: high|Milestone: 7.2.1 Component: Compiler| Version: 7.1 Keywords: | Testcase: Blockedby: | Difficulty: Os: Unknown/Multiple| Blocking: Architecture: Unknown/Multiple| Failure: Compile-time crash ---+ Changes (by simonmar): * priority: normal = high * milestone: = 7.2.1 Comment: Is this a regression? -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5315#comment:1 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
Re: [GHC] #5315: panic in idInfoToAmode with -O
#5315: panic in idInfoToAmode with -O ---+ Reporter: mikhail.vorozhtsov |Owner: Type: bug | Status: new Priority: high|Milestone: 7.2.1 Component: Compiler| Version: 7.1 Keywords: | Testcase: Blockedby: | Difficulty: Os: Unknown/Multiple| Blocking: Architecture: Unknown/Multiple| Failure: Compile-time crash ---+ Comment(by mikhail.vorozhtsov): Replying to [comment:1 simonmar]: Is this a regression? Probably no. If I remove the equality superclass l ~ (HHead l :* HTail l) from the HNonEmpty class declaration the panic goes away. Equality constraints in class contexts were implemented just recently. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/5315#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
