- ghc-tickets - Haskell.org

[GHC] #10544: Schneller und effektiver als alles andere zuvor
by GHC 19 Jun '15

19 Jun '15

#10544: Schneller und effektiver als alles andere zuvor -------------------------------------+------------------------------------- Reporter: pfeffsa | Owner: Type: task | Status: new Priority: lowest | Milestone: Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Sedumoxal und Petoximol Sedumoxal und Petoximol sind die absoluten Fett-Killer und bei Weitem die wirkungsvollsten Diätprodukte, die es zu finden gibt. Mit der Diät sind Diätler dazu in der Lage, innerhalb von 4 - 12 Wochen bis zu 16 Kilo Gewicht verlieren, ohne dazu viel Sport machen müssen. Dieses sehr revolutionäre Konzept konnte schon tausende Personen davon überzeugen, bei ihrer Diät vor allem auf [http://abnehmen-mit.com/testberichte/diat- produkte/sedumoxal-und-petoximol/ Sedumoxal und Petoximol] zurückzugreifen. Auch in den Medien ist die Diät stark vertreten, denn diese Methode beheizt den gesamten Gesundheits-Markt. Die vielversprechende Formel greift zurück auf exquisite, hoch wirksame Substanzen, welche in den Produkten vereint eine noch nie gesehene Wirkung entfalten. So ist es kaum abstreitbar, dass die Produkte bei den Nutzern so hervorragend anschlagen. Unsere Redaktion konnte beobachten, dass diese Diätpillen vor allem in Kombination die Pfunde so richtig purzeln lassen. Petoximol und Sedumoxal Erfahrung Durch die Anwender kriegt man ein umfangreiches und überwiegend überzeugende Meinungen von den Produkten. Unzählige Kunden konnten viele Pfunde weg bekommen und ihre Lebensqualität signifikant steigern. Zuzüglich wird berichtet, dass die Anwendung der Produkte selbst die emotionale Verfassung optimiert und allgemein für gute Laune sorgt. Auch die Nahrungsumwandlung soll sich durch die Diät von Grund auf verbessern. Beinahe ausschließlich alle Interessenten hatten durch die Medien von Sedumoxal und Petoximol gehört, viele sind über diverse Webseiten zu den Produkten gelangt und manche haben es durch deren sozialen Umfelder erfahren, dass die Diät ein gutes Ergebnis hervorbringt. Rezensionen, dass Diätler in nur wenigen Wochen bis zu 20 Kilo Gewicht verlieren konnten – Resultate, die für diese Produkte sprechen. Dabei ist die Anwendung ganzheitlich und körperschonend, aber gleichzeitig sehr wirkmächtig. Petoximol und Sedumoxal Wirkung Die Diätmitten bekommen erst wegen deren Wirkstoffkombination eine derartig starke Wirkung. Dabei schwächtt die Stoffkombination die Fett- Synthese, verstärkt die Fettverbrennung und schützt den Organismus vor Giftstoffen. Auch beeinflussen diese Pillen die Verdauung zum Guten und dies wird helfen, eine Gewichtsabnahme voranzubringen. Hauptsächlich die Maqui-Beere und grüner Tee sind die wirksamen Bestandteile welche die Diätpillen enthalten. Sie beschleunigen die Fettverbennung und geben unserem Körper das Zeichen, Fettpolster zu vernichten. Aus diesem Grund ist eine sichere Gewichtsreduzierung gewiss. Petoximol und Sedumoxal Test In unserem exklusiven Testverfahren bewährten sich die Pillen überdurchschnittlich gut. Unsere Testerin hatt's geschafft, 20 kg in gerade einmal 5 Wochen abzunehmen. Wir sahen davor noch nie derartige Resultate. Dabei nahm die testende Person über den geschilderten Zeitraum jeweils morgens und abends Sedumoxal und Petoximol und konnte bereits nach kurzer Zeit positive Verbesserungen bemerken. Dabei war die anfängliche Zielsetzung, in 6 Wochen bis zu 15 Kilos loszuwerden. Dieses Ziel wurde sogar noch übertroffen. Petoximol und Sedumoxal kaufen Wir können bestätigen, dass es am günstigsten ist, falls man Sedumoxal und Petoximol direkt über den Produkthersteller bestellt. Im Netz bietet der Fabrikant die Diätprodukte auf seiner Webseite an. Da können Sie auch hin und wieder die Pillen mit einem Rabatt bestellen. So sind die Pillen bis zu 60 % billiger als wenn man sie zum Ladenpreis kauft. Eine entgegenkommende Einzigartigkeit ist die Petoximol und Sedumoxal Geld- zurück-Garantie, die in Anspruch genommen werden kann, falls man mit den Diätmitteln nicht die gewünschten Ergebnisse erzielt. [http://abnehmen- mit.com/] -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10544> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2119: explicitly importing deprecated symbols should elicit the deprecation warning
by GHC 19 Jun '15

19 Jun '15

#2119: explicitly importing deprecated symbols should elicit the deprecation warning -------------------------------------+------------------------------------- Reporter: duncan | Owner: Type: feature request | Status: new Priority: lowest | Milestone: 7.12.1 Component: Compiler | Version: 6.8.2 Resolution: | Keywords: deprecate Operating System: Unknown/Multiple | warning Type of failure: None/Unknown | Architecture: Blocked By: | Unknown/Multiple Related Tickets: #4879 | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by hvr): * keywords: => deprecate warning * failure: => None/Unknown * related: => #4879 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2119#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4879: Deprecate exports
by GHC 19 Jun '15

19 Jun '15

#4879: Deprecate exports -------------------------------------+------------------------------------- Reporter: basvandijk | Owner: Type: feature request | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 7.0.1 Resolution: | Keywords: deprecate Operating System: Unknown/Multiple | warning Type of failure: None/Unknown | Architecture: Blocked By: | Unknown/Multiple Related Tickets: #10071 #2119 | Test Case: | Blocking: | Differential Revisions: Phab:D638 -------------------------------------+------------------------------------- Changes (by hvr): * keywords: => deprecate warning * related: => #10071 #2119 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4879#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10538: Simpilifier produces empty case in core, segfaults at runtime.
by GHC 18 Jun '15

18 Jun '15

#10538: Simpilifier produces empty case in core, segfaults at runtime. -------------------------------------+------------------------------------- Reporter: sopvop | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2-rc1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- In attachment is a cabal project which builds program producing segfault. Bug is affected by inlining, so test had to be split into modules. Otherwise bug did not occur, and NOINLINE pragmas didn't seem to help. Can probably be simplified much more, right now it requires some basic packages. Inspecting the core I've found that code for `r` in `main` ends with empty `case`, but should end with match on Either constructors with `show`. It fails on 7.10.1 and 7.10.2-rc1. Works on 7.8.3. It seems to be affected by inlining. For example inlining validateJson from Validator/Aeson.hs helps. Is also seems to be affected by specializing functions in Main.hs to Indentity monad. For convenience I've also put test case to https://github.com/sopvop/failidator failit.sh will init sandbox, install deps, build executable and run it. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10538> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #10194: Shouldn't this require ImpredicativeTypes?
by GHC 18 Jun '15

18 Jun '15

#10194: Shouldn't this require ImpredicativeTypes? -------------------------------------+------------------------------------- Reporter: kosmikus | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.4 (Type checker) | Operating System: Unknown/Multiple Keywords: | Type of failure: GHC accepts Architecture: | invalid program Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- The following program compiles: {{{ {-# LANGUAGE RankNTypes #-} module TestRN1 where type X = forall a . a comp :: (X -> c) -> (a -> X) -> (a -> c) comp = (.) }}} But this one fails: {{{ {-# LANGUAGE RankNTypes #-} module TestRN2 where comp :: ((forall a . a) -> c) -> (a -> (forall a . a)) -> (a -> c) comp = (.) }}} Error: {{{ Cannot instantiate unification variable ‘b0’ with a type involving foralls: forall a1. a1 Perhaps you want ImpredicativeTypes In the expression: (.) In an equation for ‘comp’: comp = (.) }}} I would expect both to fail. Both seem to rely on impredicative types. I wouldn't expect expansion of a type synonym to make a difference between a type-checking program and one that does not typecheck. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10194> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 17

[GHC] #10503: The impossible happened (no skolem info) - untouchable kind variable
by GHC 18 Jun '15

18 Jun '15

#10503: The impossible happened (no skolem info) - untouchable kind variable -------------------------------------+------------------------------------- Reporter: | Owner: AlekseyKliger | Status: new Type: bug | Milestone: Priority: normal | Version: 7.10.1 Component: Compiler | Operating System: Unknown/Multiple Keywords: | Type of failure: Compile-time Architecture: | crash Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- {{{#!hs {-# LANGUAGE RankNTypes, PolyKinds, DataKinds, TypeFamilies #-} module GHCBug where data Proxy p = Proxy data KProxy (a :: *) = KProxy h :: forall r . (Proxy ('KProxy :: KProxy k) ~ Proxy ('KProxy :: KProxy *) => r) -> r h = undefined }}} GHC reports {{{ GHCBug.hs:8:6: Couldn't match kind ‘k’ with ‘*’ ‘k’ is untouchable inside the constraints (Proxy 'KProxy ~ Proxy 'KProxy) bound by the type signature for h :: (Proxy 'KProxy ~ Proxy 'KProxy) => r at GHCBug.hs:8:6-87ghc: panic! (the 'impossible' happened) (GHC version 7.10.1 for x86_64-unknown-linux): No skolem info: k_amc[sk] }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10503> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #10533: Typechecker behaves differently on Phab and on Mac
by GHC 18 Jun '15

18 Jun '15

#10533: Typechecker behaves differently on Phab and on Mac -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Keywords: | Operating System: MacOS X Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- On my Mac, commit 61b96a86c5342fb1c850361177d60fe855d948f6 causes test `typecheck/should_compile/FD3` to fail. But Phab succeeded in validating this commit, as seen [https://phabricator.haskell.org/B4297 here]. (I don't believe that commit has anything to do with the failure -- it's just the snapshot I looked at.) This leads to two questions: 1. Why does this test fail on a Mac? 2. Why does the typechecker behave differently, at all, on two different platforms? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10533> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

Re: [GHC] #4945: Another SpecConstr infelicity
by GHC 18 Jun '15

18 Jun '15

#4945: Another SpecConstr infelicity -------------------------------------+------------------------------------- Reporter: batterseapower | Owner: Type: bug | Status: closed Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 7.0.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | simplCore/should_compile/T4945 Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by simonpj): * status: new => closed * resolution: => fixed Comment: I'm closing this again. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4945#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4945: Another SpecConstr infelicity
by GHC 18 Jun '15

18 Jun '15

#4945: Another SpecConstr infelicity -------------------------------------+------------------------------------- Reporter: batterseapower | Owner: Type: bug | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 7.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | simplCore/should_compile/T4945 Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"5d98b6828f65ce6eea45e93880928b7031955d38/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="5d98b6828f65ce6eea45e93880928b7031955d38" Trac #4945 is working again This test greps in the ouput of -ddump-simpl, so it's fragile. It stopped working for a while, but now works again. I don't know why, but I don't have time to investigate, so I'll just mark it as ok. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4945#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10504: GHC panics with dsImpSpecs on SPECIALISE pragma with -fhpc enabled
by GHC 18 Jun '15

18 Jun '15

#10504: GHC panics with dsImpSpecs on SPECIALISE pragma with -fhpc enabled -------------------------------------+------------------------------------- Reporter: nh2 | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time Unknown/Multiple | crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Minimal example code: https://github.com/nh2/ghc-omit-interface-pragmas- dsImpSpecs-bug/ I'm encountering a problem that prevents me from using Haskell program coverage on a code base, getting a GHC panic referring to `dsImpSpecs`. This looks pretty much like this old bug: https://ghc.haskell.org/trac/ghc/ticket/4870 I checked that it happens on GHC 7.8.4 and GHC 7.10.1. ---- The problem happens when I run `cabal build --ghc-options "-fhpc"`, giving me {{{ Package has never been configured. Configuring with default flags. If this fails, please run configure manually. Resolving dependencies... Configuring ghc-omit-interface-pragmas-dsImpSpecs-bug-0.1.0.0... Building ghc-omit-interface-pragmas-dsImpSpecs-bug-0.1.0.0... Preprocessing library ghc-omit-interface-pragmas-dsImpSpecs-bug-0.1.0.0... [1 of 2] Compiling A ( src/A.hs, dist/build/A.o ) [2 of 2] Compiling B ( src/B.hs, dist/build/B.o ) src/B.hs:5:1: Warning: SPECIALISE pragma for non-overloaded function ‘myfun’ ghc: panic! (the 'impossible' happened) (GHC version 7.8.4 for x86_64-unknown-linux): dsImpSpecs ghc-omit-interface-pragmas-dsImpSpecs-bug-0.1.0.0:A.myfun{v rpu} [gid] Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug $ ghc --version The Glorious Glasgow Haskell Compilation System, version 7.8.4 $ cabal --version cabal-install version 1.18.0.8 using version 1.18.1.5 of the Cabal library }}} This doesn't happen when I compile directly with `ghc --make`: {{{ $ cd src && ghc --make -fhpc -fomit-interface-pragmas B.hs -Wall [1 of 2] Compiling A ( A.hs, A.o ) [2 of 2] Compiling B ( B.hs, B.o ) }}} So running cabal with `-v`, I see that the problem happens in: {{{ /home/niklas/opt/ghc-7.8/bin/ghc --make -fbuilding-cabal-package -O -static -dynamic-too -dynosuf dyn_o -dynhisuf dyn_hi -outputdir dist/build -odir dist/build -hidir dist/build -stubdir dist/build -i -idist/build -isrc -idist/build/autogen -Idist/build/autogen -Idist/build -optP-include -optPdist/build/autogen/cabal_macros.h -package-name ghc-omit-interface- pragmas-dsImpSpecs-bug-0.1.0.0 -hide-all-packages -package-db dist/package.conf.inplace -package-id base-4.7.0.2-bfd89587617e381ae01b8dd7b6c7f1c1 -XHaskell98 B A -Wall -fhpc [1 of 2] Compiling A ( src/A.hs, dist/build/A.o ) [2 of 2] Compiling B ( src/B.hs, dist/build/B.o ) src/B.hs:5:1: Warning: SPECIALISE pragma for non-overloaded function ‘myfun’ ghc: panic! (the 'impossible' happened) (GHC version 7.8.4 for x86_64-unknown-linux): dsImpSpecs ghc-omit-interface-pragmas-dsImpSpecs-bug-0.1.0.0:A.myfun{v rpu} [gid] Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} So there it be some flag that cabal passes to GHC that makes this GHC crash appear. Nevertheless, it's a panic, so I guess it's a bug in GHC. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10504> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4