July 2015 - ghc-tickets

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 15 Jul '15

15 Jul '15

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: niteria Type: bug | Status: patch Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Other | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D1073 -------------------------------------+------------------------------------- Changes (by slyfox): * differential: D1073 => Phab:D1073 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:110> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 15 Jul '15

15 Jul '15

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: niteria Type: bug | Status: patch Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Other | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: D1073 -------------------------------------+------------------------------------- Changes (by niteria): * status: new => patch * differential: => D1073 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:109> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7401: Can't derive instance for Eq when datatype has no constructor, while it is trivial do do so.
by GHC 15 Jul '15

15 Jul '15

#7401: Can't derive instance for Eq when datatype has no constructor, while it is trivial do do so. -------------------------------------+------------------------------------- Reporter: jpbernardy | Owner: osa1 Type: feature request | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: deriving, Operating System: Unknown/Multiple | newcomer Type of failure: GHC rejects | Architecture: valid program | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D978 -------------------------------------+------------------------------------- Comment (by osa1): Sent an email to libraries mailing list: https://mail.haskell.org/pipermail/libraries/2015-July/025959.html -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7401#comment:42> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10641: Gekonnt abnehmen mit Calriphen und Petoximol
by GHC 15 Jul '15

15 Jul '15

#10641: Gekonnt abnehmen mit Calriphen und Petoximol -------------------------------------+------------------------------------- Reporter: | Owner: luisagombach | Status: new Type: bug | Milestone: Priority: lowest | Version: 7.10.1 Component: Compiler | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Calriphen und Petoximol Calriphen und Petoximol sind meisterhafte Fett-Killer und heute die erfolgsversprechendsten Diätpillen, die es zu finden gibt. Mit der Diät können Anwender in 5 bis 12 Wochen bis zu 16 Kilo Fett weg bekommen, ohne zusätzlich überhaupt Sport zu treiben. Das sehr überzeugende Konzept konnte bis jetzt viele Menschen davon überzeugen, bei einer Diätmethode in erster Linie auf [http://abnehmen-mit.com/calriphen-phenoxin/ Calriphen] und Petoximol zurückzukommen. Auch in den Medien ist das neue Konzept hoch frequentiert, denn das Konzept überschwemmt den kompletten Gesundheitsbereich. Die interessante Wirkformel bezieht sich auf viele hoch wirksame Pflanzenstoffe, die in Calriphen und Petoximol vereint eine bisher ungesehene Wirkweise entfalten. Somit ist es kein Wunder, dass diese Diätpillen bei den Anwendern so prima anschlagen. Auch wir konnten festellen, dass diese Diätpillen vor allem kombiniert die Pfunde so richtig purzeln lassen. Petoximol und Calriphen Erfahrung Durch Nutzerrezensionen kriegt man ein realistisches und durchweg gute Eindrücke von Calriphen und Petoximol. Viele Personen konnten ihre lästigen Kilos loswerden und die Wunschvorstellungen zu dem Gewicht enorm maximieren. Noch dazu wird erzählt, dass die Diät auch die Gemütsverfassung optimiert und die Stimmung hebt. Auch die Nahrungsumwandlung soll sich mit den Diätpillen wesentlich verbessern. Beinahe ausschließlich alle Interessenten hatten über Werbung im WWW und Fernsehen von diesen Diätmitteln erfahren, viele sind auf Internetseiten darauf gestoßen und einge haben davon über die Bekannte erfahren, dass die Produktkombination ein gutes Ergebnis hervorbringt. Berichte bezeugen, dass Menschen in nur wenigen Wochen mehr als 18 Kilo Körperfett verlieren konnten – Ergebnisse, welche für sich sprechen. Dabei ist die Anwendung gesund und den Körper schonend, aber dennoch überaus effektiv. Petoximol und Calriphen Inhaltsstoffe Die Diätpillen bekommen erst mit ihrer Zusammensetzung eine solch starke Wirkung. Dabei blockiert die Stoffkombination die Fett-Synthese, beschleunigt die Fettumwandlung und schützt den Körper vor schädlichen Stoffen. Außerdem modulieren die Produkte den Verdauungsapparat zum Positiven und dies hilft zusätzlich, eine Gewichtsabnahme voranzutreiben. Hauptsächlich die Goji-Beere und Riboflavin sind die wirkungsvollen Stoffe der Produkte. Sie beschleunigen die Fettreduktion und geben unserem Stoffwechsel das Zeichen, abzunehmen. Dadurch ist die sichere Gewichtsreduktion gewiss. Petoximol und Calriphen Test In unserem exklusiven Test wirkten die Diätpillen außerordentlich gut. Die Testerin schaffte es, 20 Kilo in gerade einmal 5 Wochen loszuwerden. Keine anderen Diätpillen schaffen solche Ergebnisse. In ihrer Diätphase nahm unsere Testerin über den geschilderten Zeitraum immer morgens und abends Calriphen und Petoximol und konnte schon nach einigen Tagen positive Veränderungen feststellen. Dabei war die anfängliche Zielsetzung, in 7 Wochen bis zu 18 kg abzunehmen. Dieses Ziel wurde sogar weit übertroffen. Petoximol und Calriphen kaufen Wir können bestätigen, dass es am günstigsten ist, wenn man Calriphen und Petoximol direkt über den Fabrikant kauft. Im WWW bietet der Hersteller die Pillen auf seiner Webseite an. Da kann man auch ab und zu die Pillen mit einem Rabatt bestellen. So sind die Diätpillen bis zu 40 % günstiger als wenn man sie zum Ladenpreis erwirbt. Eine tolle Einzigartigkeit ist die Petoximol und Calriphen Geld-zurück-Garantie, welche verlangt werden kann, wenn man mit den Diätmitteln nicht klar kommt. [http://abnehmen- mit.com/] -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10641> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10602: ghc panic: Template variable unbound in rewrite rule when compiling with -O2
by GHC 15 Jul '15

15 Jul '15

#10602: ghc panic: Template variable unbound in rewrite rule when compiling with -O2 -------------------------------------+------------------------------------- Reporter: pacak | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.2 Component: Compiler | Version: 7.10.2-rc2 Keywords: | Operating System: Linux Architecture: | Type of failure: Compile-time Unknown/Multiple | crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- I've seen a few related tickets, but they are market as closed. % ghc -O2 binlist.hs [1 of 1] Compiling Main ( binlist.hs, binlist.o ) ghc: panic! (the 'impossible' happened) (GHC version 7.10.1.20150630 for x86_64-unknown-linux): Template variable unbound in rewrite rule sg_s5zh [sc_s5zf, sc_s5zg, sg_s5zh, sg_s5zi] [sc_s5zf, sc_s5zg, sg_s5zh, sg_s5zi] [: @ a_a3fo sc_s5zf sc_s5zg] [: @ a_a3fo sc_s5zb sc_s5zc] Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug % cat binlist.hs import Control.Monad import Data.Binary import Data.List newtype A a = A [a] instance Binary a => Binary (A a) where put (A xs) = case splitAt 254 xs of (_, []) -> mapM_ put xs (a, b) -> put (A b) get = do xs <- replicateM 254 get A ys <- get return $ A $ xs ++ ys main :: IO () main = undefined -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10602> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 21

Re: [GHC] #7401: Can't derive instance for Eq when datatype has no constructor, while it is trivial do do so.
by GHC 14 Jul '15

14 Jul '15

#7401: Can't derive instance for Eq when datatype has no constructor, while it is trivial do do so. -------------------------------------+------------------------------------- Reporter: jpbernardy | Owner: osa1 Type: feature request | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: deriving, Operating System: Unknown/Multiple | newcomer Type of failure: GHC rejects | Architecture: valid program | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D978 -------------------------------------+------------------------------------- Comment (by simonpj): This ticket has a long thread, which is discouraging for anyone approaching it for the first time. My suggestion: write a wiki page proposing a particular design. Advertise it on the Haskell and libraries mailing list (this is practically a core- libraries committee issue). Drive the discussion to a consensus. Implement it. It's very much a corner case so what we really need is a well documented decision rather than a long debate. It just that it's hard to see the wood for the trees now. Thanks! Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7401#comment:41> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7401: Can't derive instance for Eq when datatype has no constructor, while it is trivial do do so.
by GHC 14 Jul '15

14 Jul '15

#7401: Can't derive instance for Eq when datatype has no constructor, while it is trivial do do so. -------------------------------------+------------------------------------- Reporter: jpbernardy | Owner: osa1 Type: feature request | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: deriving, Operating System: Unknown/Multiple | newcomer Type of failure: GHC rejects | Architecture: valid program | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D978 -------------------------------------+------------------------------------- Comment (by osa1): How should we proceed about this? Like @rwbarton mentioned in #10577, none of these is a part of the standard, so I think we can change behavior of standalone deriving to introduce an empty case, and then also change EmptyDataDecls deriving to make the behavior consistent. Should we move this discussion to the mailing list for feedbacks? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7401#comment:40> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7810: make show VALUE=VAR depends on ghc-stage1
by GHC 13 Jul '15

13 Jul '15

#7810: make show VALUE=VAR depends on ghc-stage1 -------------------------------------+------------------------------------- Reporter: kgardas | Owner: thomie Type: bug | Status: closed Priority: normal | Milestone: 7.12.1 Component: Build System | Version: 7.7 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D1064 -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * resolution: => fixed Comment: I added documentation to [wiki:Building/Modifying] as well as to `make help`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7810#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7810: make show VALUE=VAR depends on ghc-stage1
by GHC 13 Jul '15

13 Jul '15

#7810: make show VALUE=VAR depends on ghc-stage1 -------------------------------------+------------------------------------- Reporter: kgardas | Owner: thomie Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Build System | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: Phab:D1064 -------------------------------------+------------------------------------- Comment (by Thomas Miedema <thomasmiedema@…>): In [changeset:"ec197d390e18a6cfaa420009f5c5f143237f5a9f/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="ec197d390e18a6cfaa420009f5c5f143237f5a9f" Build system: add `make show!` command (#7810) A normal `make show` starts a build of the ghc-stage1 compiler, to create package-data.mk files. This version doesn't read those, so it will work right after ./configure. Differential Revision: https://phabricator.haskell.org/D1064 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7810#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10226: Regression in constraint solver from 7.8 to 7.10
by GHC 13 Jul '15

13 Jul '15

#10226: Regression in constraint solver from 7.8 to 7.10 -------------------------------------+------------------------------------- Reporter: edsko | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 (Type checker) | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Best explained by example: {{{#!hs {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE AllowAmbiguousTypes #-} -- only necessary in 7.10 {-# LANGUAGE FlexibleContexts #-} -- necessary for showFromF' example type family F a type family FInv a -- This definition is accepted in 7.8 without anything extra, but requires -- AllowAmbiguousTypes in 7.10 (this, by itself, is not a problem): showFromF :: (Show a, FInv (F a) ~ a) => F a -> String showFromF fa = undefined -- Consider what happens when we attempt to call `showFromF` at some type b. -- In order to check that this is valid, we have to find an a such that -- -- > b ~ F a /\ Show a /\ FInv (F a) ~ a -- -- Introducing an intermeidate variable `x` for the result of `F a` gives us -- -- > b ~ F a /\ Show a /\ FInv x ~ a /\ F a ~ x -- -- Simplifying -- -- > b ~ x /\ Show a /\ FInv x ~ a /\ F a ~ x -- -- Set x := b -- -- > Show a /\ FInv b ~ a /\ F a ~ b -- -- Set a := FInv b -- -- > Show (FInv b) /\ FInv b ~ FInv b /\ F (FInv b) ~ b -- -- Simplifying -- -- > Show (FInv b) /\ F (FInv b) ~ b -- -- Indeed, we can give this definition in 7.8, but not in 7.10: showFromF' :: (Show (FInv b), F (FInv b) ~ b) => b -> String showFromF' = showFromF {------------------------------------------------------------------------------- In 7.10 the definition of showFromF' is not accepted, but it gets stranger. In 7.10 we cannot _call_ showFromF at all all, even at a concrete type. Below we try to call it at type b ~ Int. It would need to show > Show (FInv Int) /\ F (FInt Int) ~ Int all of which should easily get resolved, but somehow don't. -------------------------------------------------------------------------------} type instance F Int = Int type instance FInv Int = Int test :: String test = showFromF (0 :: Int) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10226> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5