Re: [GHC] #2828: TcTyFuns.uMeta: normalisation shouldn't allow x ~ x
#2828: TcTyFuns.uMeta: normalisation shouldn't allow x ~ x -+-- Reporter: pizza |Owner: chak Type: bug | Status: closed Priority: normal|Milestone: 6.12 branch Component: Compiler | Version: 6.10.1 Severity: normal| Resolution: fixed Keywords:| Difficulty: Unknown Testcase:| Os: Linux Architecture: x86 | -+-- Changes (by chak): * status: new = closed * resolution: = fixed Comment: Works with the new pure equality solver in the HEAD. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2828#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] #2828: TcTyFuns.uMeta: normalisation shouldn't allow x ~ x
#2828: TcTyFuns.uMeta: normalisation shouldn't allow x ~ x -+-- Reporter: pizza |Owner: chak Type: bug | Status: new Priority: normal|Milestone: 6.12 branch Component: Compiler | Version: 6.10.1 Severity: normal| Resolution: Keywords:| Difficulty: Unknown Testcase:| Os: Linux Architecture: x86 | -+-- Changes (by igloo): * milestone: 6.10 branch = 6.12 branch -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2828#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] #2828: TcTyFuns.uMeta: normalisation shouldn't allow x ~ x
#2828: TcTyFuns.uMeta: normalisation shouldn't allow x ~ x -+-- Reporter: pizza |Owner: chak Type: bug | Status: new Priority: normal|Milestone: 6.10 branch Component: Compiler | Version: 6.10.1 Severity: normal| Resolution: Keywords:| Difficulty: Unknown Testcase:| Os: Linux Architecture: x86 | -+-- Changes (by igloo): * difficulty: = Unknown * milestone: = 6.10 branch -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2828#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
[GHC] #2828: TcTyFuns.uMeta: normalisation shouldn't allow x ~ x
#2828: TcTyFuns.uMeta: normalisation shouldn't allow x ~ x
---+
Reporter: pizza | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 6.10.1 | Severity: normal
Keywords: | Testcase:
Os: Linux | Architecture: x86
---+
{{{
[EMAIL PROTECTED]:~/proj/truegraph$ ghci stats.hs
GHCi, version 6.10.0.20081007: http://www.haskell.org/ghc/ :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer ... linking ... done.
Loading package base ... linking ... done.
[1 of 1] Compiling Main ( stats.hs, interpreted )
ghc: panic! (the 'impossible' happened)
(GHC version 6.10.0.20081007 for i386-unknown-linux):
TcTyFuns.uMeta: normalisation shouldn't allow x ~ x
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
}}}
where stats.hs is:
{{{
mean :: (Num b) = [a] - (a - b) - b
mean set f =
let total = sum $ map f set
mean' = total / fromIntegral $ length set
in mean'
}}}
NOTE that i'm not even sure if this code is correct or makes sense, i'm in
the middle of growing it.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2828
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] #2828: TcTyFuns.uMeta: normalisation shouldn't allow x ~ x
#2828: TcTyFuns.uMeta: normalisation shouldn't allow x ~ x --+- Reporter: pizza | Owner: chak Type: bug | Status: new Priority: normal| Milestone: Component: Compiler |Version: 6.10.1 Severity: normal| Resolution: Keywords:| Testcase: Os: Linux | Architecture: x86 --+- Changes (by chak): * owner: = chak -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/2828#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
