June 2015 - ghc-tickets

[GHC] #10456: Wrong CPP during cross-compilation
by GHC 20 Jun '15

20 Jun '15

#10456: Wrong CPP during cross-compilation -------------------------------------+------------------------------------- Reporter: jakzale | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Build | Version: 7.11 System | Operating System: Unknown/Multiple Keywords: | Type of failure: Building GHC Architecture: | failed Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- It appears that during cross-compilation the build system uses the wrong compiler as C preprocessor. It may cause errors by passing incompatible flags to the cross-compiler --- for example when trying to cross-compile using 32-bit clang on a 64-bit system (sample output attached below). {{{ /Users/jakub/src/nacl_sdk/pepper_canary/toolchain/mac_pnacl/bin/pnacl- clang -E -DMAKING_GHC_BUILD_SYSTEM_DEPENDENCIES -m64 -fno-stack-protector -Wall -Icompiler/stage1/build/autogen -Icompiler/. -Icompiler/parser -Icompiler/utils -Icompiler/stage1 -isystem'/Applications/ghc-7.10.1.app/Contents/lib/ghc-7.10.1/proce_0hwN3CTKynhHQqQkChnSdH/include' -isystem'/Applications/ghc-7.10.1.app/Contents/lib/ghc-7.10.1/direc_3TcTyYedch32o1zTH2MR00/include' -isystem'/Applications/ghc-7.10.1.app/Contents/lib/ghc-7.10.1/unix_G4Yo1pNtYrk8nCq1cx8P9d/include' -isystem'/Applications/ghc-7.10.1.app/Contents/lib/ghc-7.10.1/time_Hh2clZW6in4HpYHx5bLtb7/include' -isystem'/Applications/ghc-7.10.1.app/Contents/lib/ghc-7.10.1/bytes_6vj5EoliHgNHISHCVCb069/include' -isystem'/Applications/ghc-7.10.1.app/Contents/lib/ghc-7.10.1/base_I5BErHzyOm07EBNpKBEeUv/include' -isystem'/Applications/ghc-7.10.1.app/Contents/lib/ghc-7.10.1/integ_2aU3IZNMF9a7mQ0OzsZ0dS/include' -isystem'/Applications/ghc-7.10.1.app/Contents/lib/ghc-7.10.1/include' -Wno-unknown-pragmas -MM -x c compiler/ghci/keepCAFsForGHCi.c -MF compiler/stage1/build/.depend-v.c_asm.bit pnacl-clang: Unrecognized option: -m64 Use '--help' for more information. make[1]: *** [compiler/stage1/build/.depend-v.c_asm] Error 255 make: *** [all] Error 2 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10456> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #7854: Constrained method type accepted in Haskell 98 mode
by GHC 20 Jun '15

20 Jun '15

#7854: Constrained method type accepted in Haskell 98 mode -------------------------------------+------------------------------------- Reporter: refold | Owner: thomie Type: bug | Status: closed Priority: normal | Milestone: 7.12.1 Component: Compiler (Type | Version: 7.6.3 checker) | Keywords: newcomer Resolution: fixed | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | module/mod39 Related Tickets: #10118, #10119 | Blocking: | Differential Revisions: Phab:D688 -------------------------------------+------------------------------------- Comment (by Sergei Trofimovich <siarheit@…>): In [changeset:"7c2293a07fb057e492278f46e8fde48b69d178a3/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="7c2293a07fb057e492278f46e8fde48b69d178a3" Amend tcrun037 after Trac #7854 fix Signed-off-by: Sergei Trofimovich <siarheit(a)google.com> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7854#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7854: Constrained method type accepted in Haskell 98 mode
by GHC 20 Jun '15

20 Jun '15

#7854: Constrained method type accepted in Haskell 98 mode -------------------------------------+------------------------------------- Reporter: refold | Owner: thomie Type: bug | Status: closed Priority: normal | Milestone: 7.12.1 Component: Compiler (Type | Version: 7.6.3 checker) | Keywords: newcomer Resolution: fixed | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | module/mod39 Related Tickets: #10118, #10119 | Blocking: | Differential Revisions: Phab:D688 -------------------------------------+------------------------------------- Comment (by Sergei Trofimovich <siarheit@…>): In [changeset:"e4918034896948642718f15906f5b379b98f68cf/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="e4918034896948642718f15906f5b379b98f68cf" Amend tcrun024, tcrun025 after Trac #7854 fix Signed-off-by: Sergei Trofimovich <siarheit(a)google.com> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7854#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10537: Parser: commas_tup_tail returns spurious "Missing" value
by GHC 19 Jun '15

19 Jun '15

#10537: Parser: commas_tup_tail returns spurious "Missing" value -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: new Priority: normal | Milestone: 7.10.2 Component: Compiler | Version: 7.10.1 (Parser) | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Parsing {{{#!hs {-# LANGUAGE TupleSections #-} baz = (1, "hello", 6.5,,) 'a' (Just ()) }}} Results in the following AST fragment {{{ (L tests/examples/Tuple.hs:3:7-25 (ExplicitTuple [ L tests/examples/Tuple.hs:3:8 (Present (L tests/examples/Tuple.hs:3:8 (HsOverLit (OverLit (HsIntegral [ '1' ] 1) PlaceHolder (HsLit (HsString [] {abstract:FastString})) PlaceHolder)))) , L tests/examples/Tuple.hs:3:11-17 (Present (L tests/examples/Tuple.hs:3:11-17 (HsLit (HsString [ '"' , 'h' , 'e' , 'l' , 'l' , 'o' , '"' ] {abstract:FastString})))) , L tests/examples/Tuple.hs:3:20-22 (Present (L tests/examples/Tuple.hs:3:20-22 (HsOverLit (OverLit (HsFractional (FL [ '6' , '.' , '5' ] (:% 13 2))) PlaceHolder (HsLit (HsString [] {abstract:FastString})) PlaceHolder)))) , L tests/examples/Tuple.hs:3:24 (Missing PlaceHolder) , L tests/examples/Tuple.hs:3:24 (Missing PlaceHolder) ] }}} The final `Missing PlaceHolder` is duplicated -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10537> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[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