August 2014 - ghc-tickets

Re: [GHC] #7015: Add support for 'static'
by GHC 20 Aug '14

20 Aug '14

#7015: Add support for 'static' -------------------------------------+------------------------------------- Reporter: edsko | Owner: Type: feature | Status: patch request | Milestone: 7.10.1 Priority: normal | Version: 7.4.2 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D119 | -------------------------------------+------------------------------------- Comment (by carter): on a mildly bikeshedding note, before this work (or applicable subsets) gets merged in, could we update the wiki notes etc to not use the term StaticValues? (this has been discussed elsewhere, but adding it as a note here) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7015#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9454: Unregisterized builds failing due to multiple uniques assigned to same FastString
by GHC 20 Aug '14

20 Aug '14

#9454: Unregisterized builds failing due to multiple uniques assigned to same FastString -------------------------------------+------------------------------------- Reporter: ezyang | Owner: ezyang Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 7.9 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Incorrect Blocked By: | result at runtime Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- When compiling with `--enable-unregisterised`, we get this failure: {{{ "inplace/bin/ghc-stage1" -hisuf hi -osuf o -hcsuf hc -static -H32m -O -this-package-key conta_4P4 dHnD3A89EkvERxmaFmd -hide-all-packages -i -ilibraries/containers/. -ilibraries/containers/dist-install /build -ilibraries/containers/dist-install/build/autogen -Ilibraries/containers/dist-install/build -Il ibraries/containers/dist-install/build/autogen -Ilibraries/containers/include -optP-include -optPli braries/containers/dist-install/build/autogen/cabal_macros.h -package-key array_H3W2D8UaI9TKGEhUuQHax2 -package-key base_DiPQ1siqG3SBjHauL3L03p -package-key deeps_L0rJEVU1Zgn8x0Qs5aTOsU -package-key ghcpr _BE58KUgBe9ELCsPXiJ1Q2r -O2 -Wall -XHaskell98 -XRoleAnnotations -O2 -no- user-package-db -rtsopts -odir libraries/containers/dist-install/build -hidir libraries/containers /dist-install/build -stubdir libraries/containers/dist-install/build -dynamic-too -c libraries/containers/./Data/StrictPair.hs -o libraries/containers/dist-install/build/Data/StrictPair.o -dyno libraries/containers/dist-install/bui ld/Data/StrictPair.dyn_o <command line>: unknown package: deepseq-1.3.0.2 }}} The reason why GHC is unable to find the package is because, as it turns out, the Unique that was used to store the key in a map is different from the Unique associated with the FastString that we're doing the lookup with. The bug only shows up with ghc-stage1 is compiled with optimizations. Bisecting revealed that this commit was to blame: {{{ commit 66218d15b7c27a4a38992003bd761f60bae84b1f Author: Edward Z. Yang <ezyang(a)cs.stanford.edu> Date: Fri Jul 18 14:48:47 2014 +0100 Package keys (for linking/type equality) separated from package IDs. }}} However, looking at the commit, there is nothing that would obviously cause this problem, so maybe it is tickling a preexisting bug. Bisection script: {{{ #!/bin/sh make clean git submodule update perl boot ./configure --enable-unregisterised make -j11 libraries/containers/dist-install/build/Data/StrictPair.o }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9454> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #7015: Add support for 'static'
by GHC 20 Aug '14

20 Aug '14

#7015: Add support for 'static' -------------------------------------+------------------------------------- Reporter: edsko | Owner: Type: feature | Status: patch request | Milestone: 7.10.1 Priority: normal | Version: 7.4.2 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D119 | -------------------------------------+------------------------------------- Comment (by simonpj): Thank you for writing the [wiki:StaticValues] wiki page. It is extremely helpful. We should get it settled down before I can comment meaningfully about the implementation. * It would be tremendously helpful to partition the wiki page into three layers:[[BR]][[BR]] * '''Library code built on top of the primitives GHC provides'''. `Closure` fits here.[[BR]][[BR]] * '''Primitives that GHC provides, as seen by the programmer'''. I believe that the `static` language construct and `Static` type (abstract) fit here, along with `applyStatic`, and `unstatic`.[[BR]][[BR]] * '''How those primitives are implemented in GHC'''. I believe that `GlobalName`, `Ref`, and of course the constructors of `Static`, are part of the implementation, not part of the programmer-advertised API of the feature. Would it be possible to make that decomposition explicit? Doing so would require quite a bit of re-structuring, because at the moment the three layers are all mixed up together. * I see the need for `Ref` vs `Static`; the latter allows comosition; the former is just a code pointer. But I don't understand what `GlobalName` is doing, nor why `Static` needs two type parameters. All very mysterious. The major open issue, but one that it not treated head-on in the wiki page, is that of '''polymorphism'''. Polymorphism simply isn't discussed by the Cloud Haskell paper. This, for example, is fine: {{{ x :: Static ([Int] -> [Int]) x = static (reverse :: [Int] -> [Int]) }}} Everything is monomorphic, and we can send a code pointer of type `[Int] -> [Int]`. But should either of these be OK? {{{ y1 :: Static (forall a. [a] -> [a]) y1 = static reverse y2 :: forall a. Static ([a] -> [a]) y2 = static reverse }}} The former is somehow really what we want: we want to encapsulate a code pointer to the real, polymorphic, reverse function. But it's tricky becuase GHC (and Haskell) don't usually allow a type constructor applied a polytype, thus `Static (forall a. [a] -> [a])`. So unless we do something we'll probably end up with `y2`, and that is problematic because if we write it out in System F we'll see {{{ y2 :: forall a. Static ([a] -> [a]) y2 = /\a. static (reverse a) }}} so the argument to `static` hsa a free variable, namely `a`, that is not bound at top level. I ''believe'' (see #9429), that some CH users are somehow doing this: instantiate the polymorphic function at `Any`, and send that: {{{ y2 :: Static ([Any] -> [Any]) y2 = static (reverse Any) }}} Now at the other end, you use `unstatic` to get `[Any] -> [Any]`, and in some way I do not understand, convert it to `forall a. [a] -> [a])`. But all this `y2` stuf is clearly a Gross Hack, and one that becomes even clearer when we have overloaded functions like `sum :: forall a. Num a => [a] -> a`. Now the `y2` equivalent really isn't going to work. With explicit System F notation: {{{ z2 :: forall a. Num a => Static ([a] -> a) z2 = /\a \(d:Num a). static (sum a d) }}} Now the `(sum a d)` has a free ''value'' variable `d`, which is lambda bound, so now `static` really cannot work. Again what we really want is {{{ z1 :: Static (forall a. Num a => [a] -> a) z1 = static sum }}} I'll stop here for now. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7015#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9482: Safe Weight Loss: The Guaranteed Way To A
by GHC 20 Aug '14

20 Aug '14

#9482: Safe Weight Loss: The Guaranteed Way To A -------------------------------------+------------------------------------- Reporter: teddybobie | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Did you know that yo-yo dieting (losing, then gaining, then losing weight and so on) is incredibly bad for your wellbeing? Your body honorable doesn"t see what"s exploit on. Oldest it has lack, then banquet, then la[http://ketoneslimxtadvice.com/ Ketone Slim XT] ck again . . . and what"s much, this action gift drive your metastasis to slack fallen and request onto fat because your body thinks there strength be added lack on the way. So you"ll oft end up weighing much than you did in the freshman point. I can"t enounce sufficiency the importance of safe metric diminution -- for both your eudaimonia and your personage. [http://ketoneslimxtadvice.com/ Ketone Slim XT] The key to invulnerable unit amount is to support your measure. Yes, I cognize, you require to get small equivalent yesterday. But if you consider nearly it, wouldn"t you kinda be thin for being than go on many irrupt fast, retrogress a lot of unit and put it all substantiate on again? If you essential to be thin for bully, you"ll someone to advantage thinking equal a turn organism, so that bit by bit the pounds bead off -- and this prime situation to looking at is your desire versus your perceived desire. Rightful thirst is a really special notion which you may hold irrecoverable how to retrieve; if you"re a habitual over-eater you probably never let yourself get the component of hunger so you don"t e'er comprehend it anymore. In that human, it can be valuable to go without substance for half a day, http://ketoneslimxtadvice.com/ -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9482> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9481: You Can Succeed At Weight Loss
by GHC 20 Aug '14

20 Aug '14

#9481: You Can Succeed At Weight Loss -------------------------------------+------------------------------------- Reporter: teddybobie | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Forward things position, retributive most all mortals bonk had to confronting a metric job at any period in their world; for a lot of ladies it power be after the exploit of their kids... males oftentimes change an acceleratory region merchandise erstwhile they see them[http://ketoneslimxtadvice.com/ Ketone Slim XT]selves impermanent a lot of dimension at their pass instead of at the gymnasium.The Upbeat Study that was through for England forecasts that over dozen meg grownups and a million kids could be fat by 2010 if no spread is adoptive.Forceful travail is all important to coefficient going and those that feature adopted exertion in an endeavour to assemblage off a couple of pounds module still you that the profits far outbalance exclusive the decline of energetic scheme fat.To slim thrown quick and efficaciously, cardinal aspects of aliveness had outperform be castrated: what to eat on, how to take, deportment as fountainhead as corporal activeness nutrition, suchlike a portion of whole-grain toasted money, is a premium prize. [http://ketoneslimxtadvice.com/ Ketone Slim XT] Do not abandon carbs except you actually requisite to, since habitually individuals support thick carb substantiate downs and decorativeness up http://ketoneslimxtadvice.com/ -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9481> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9140: Unboxed tuples fails in GHCi (7.8.2)
by GHC 20 Aug '14

20 Aug '14

#9140: Unboxed tuples fails in GHCi (7.8.2) ------------------------------------+------------------------------------- Reporter: osa1 | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.8.2 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: GHCi crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Creating an unboxed tuple in GHCi causes panic: {{{ ➜ ~ ghci -XUnboxedTuples GHCi, version 7.8.2: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. ghci> let a = (# 1 #) ghc: panic! (the 'impossible' happened) (GHC version 7.8.2 for x86_64-unknown-linux): dsLet: unlifted AbsBinds [a{tv auv} [tv]] [$dNum_auw{v} [lid]] {Exports: [a{v asV} [lid] <= a{v asY} [lid] /\(@ a{tv auy} [tv]). \($dNum_auz{v} [lid] :: base:GHC.Num.Num{tc 2b} a{tv auy} [tv]). let {EvBinds{$dNum_auC{v} [lid] = $dNum_auz{v} [lid]}} (<>) @ a{tv auy} [tv] $dNum_auC{v} [lid]] Exported types: a{v asV} [lid] :: forall a{tv auv} [tv]. base:GHC.Num.Num{tc 2b} a{tv auv} [tv] => (# a{tv auv} [tv] #) [LclId, Str=DmdType] Binds: {<interactive>:2:5-15} a{v asY} [lid] :: (# a{tv auv} [tv] #) [LclId, Str=DmdType] a{v asY} = {<interactive>:2:9-15} (# 1 ((base:GHC.Num.fromInteger{v 02A}) @ a{tv auv} [tv] $dNum_au8{v} [lid] 1) #) <> Evidence: EvBinds{$dNum_au8{v} [lid] = $dNum_auw{v} [lid]}} base:GHC.Base.returnIO{v 0z} [gid] @ [()] (ghc-prim:GHC.Types.:{(w) v 65} [gid[DataCon]] @ () (ghc-prim:GHC.Prim.unsafeCoerce#{(w) v 0u} [gid] @ (forall a{tv auv} [tv]. base:GHC.Num.Num{tc 2b} a{tv auv} [tv] => (# a{tv auv} [tv] #)) @ () a{v asV} [lid]) (ghc-prim:GHC.Types.[]{(w) v 6n} [gid[DataCon]] @ ())) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug ghci> let a = (# 1, 2 #) ghc: panic! (the 'impossible' happened) (GHC version 7.8.2 for x86_64-unknown-linux): dsLet: unlifted AbsBinds [a{tv auW} [tv], a{tv auX} [tv]] [$dNum_auY{v} [lid], $dNum_auZ{v} [lid]] {Exports: [a{v auK} [lid] <= a{v auN} [lid] /\(@ a{tv av1} [tv]). /\(@ a{tv av2} [tv]). \($dNum_av3{v} [lid] :: base:GHC.Num.Num{tc 2b} a{tv av2} [tv]). \($dNum_av4{v} [lid] :: base:GHC.Num.Num{tc 2b} a{tv av1} [tv]). let {EvBinds{$dNum_av8{v} [lid] = $dNum_av3{v} [lid] $dNum_av9{v} [lid] = $dNum_av4{v} [lid]}} (<>) @ a{tv av1} [tv] @ a{tv av2} [tv] $dNum_av8{v} [lid] $dNum_av9{v} [lid]] Exported types: a{v auK} [lid] :: forall a{tv auW} [tv] a{tv auX} [tv]. (base:GHC.Num.Num{tc 2b} a{tv auX} [tv], base:GHC.Num.Num{tc 2b} a{tv auW} [tv]) => (# a{tv auW} [tv], a{tv auX} [tv] #) [LclId, Str=DmdType] Binds: {<interactive>:3:5-18} a{v auN} [lid] :: (# a{tv auW} [tv], a{tv auX} [tv] #) [LclId, Str=DmdType] a{v auN} = {<interactive>:3:9-18} (# 1 ((base:GHC.Num.fromInteger{v 02A}) @ a{tv auW} [tv] $dNum_auR{v} [lid] 1), 2 ((base:GHC.Num.fromInteger{v 02A}) @ a{tv auX} [tv] $dNum_auT{v} [lid] 2) #) <> Evidence: EvBinds{$dNum_auR{v} [lid] = $dNum_auZ{v} [lid] $dNum_auT{v} [lid] = $dNum_auY{v} [lid]}} base:GHC.Base.returnIO{v 0z} [gid] @ [()] (ghc-prim:GHC.Types.:{(w) v 65} [gid[DataCon]] @ () (ghc-prim:GHC.Prim.unsafeCoerce#{(w) v 0u} [gid] @ (forall a{tv auW} [tv] a{tv auX} [tv]. (base:GHC.Num.Num{tc 2b} a{tv auX} [tv], base:GHC.Num.Num{tc 2b} a{tv auW} [tv]) => (# a{tv auW} [tv], a{tv auX} [tv] #)) @ () a{v auK} [lid]) (ghc-prim:GHC.Types.[]{(w) v 6n} [gid[DataCon]] @ ())) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug ghci> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9140> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

[GHC] #9477: 10 Self-care Secrets For Slimming Down
by GHC 20 Aug '14

20 Aug '14

#9477: 10 Self-care Secrets For Slimming Down -------------------------------------+------------------------------------- Reporter: teddybobie | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- When experts reprimand us on coefficient departure, it is commonly all some utilize, calories and carbs. That is groovy accumulation, but from one driven feeder to another, I bang provided any otherwise tips that do not ordinarily make the diet books. They faculty compel several try, but I fuck open them to be intrinsic to seemly self-care and unit deprivation. [http://ketoneslimxtadvice.com/ Ketone Slim XT] 1. Quietus: It is so smooth to overeat when we are jaded. We reaching for nutrient to donjon us leaving, thought we give hit much doe the solon we eat. Retributive the opposite happens. When we overeat we comprehend bad, ponderous, and dazed. And we are soothe weary! Employ on going to bed earlier. Belatedly nighttime nibbling is easier when it is dead and we should be in bed. Stomach transport the lights out before your breadbasket starts to emit. Flat if it is growling, go to bed, you will not center it when you are hypnoid and it feels sooo serious to raise up in the morning with a exonerated conscience! [http://ketoneslimxtadvice.com/ Ketone Slim XT] 2. Vitamins: So umteen nowadays our overeating is caused by nutritional deficiencies. We assay the vitamins and minerals our bodies want in immoderateness substance. Unluckily, this is a vicious oscillation because commonly the food we overeat is devoid of any historical nutrition, so it leaves us encourage low. As a premiere move, act winning a groovy multivitamin, preferably one prefabricated from intact substance. (If you go to a upbeat substance store, they faculty supply healthy substance supplements, not fitting synthetic ones.) Succeeding, labor to eat feed foods whose earth is not minimal of vital minerals http://ketoneslimxtadvice.com/ -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9477> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7015: Add support for 'static'
by GHC 20 Aug '14

20 Aug '14

#7015: Add support for 'static' -------------------------------------+------------------------------------- Reporter: edsko | Owner: Type: feature | Status: patch request | Milestone: 7.10.1 Priority: normal | Version: 7.4.2 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D119 | -------------------------------------+------------------------------------- Description changed by simonpj: Old description: > .. as described in "Towards Haskell in the Cloud". > > See also #9429, which is closely related. New description: .. as described in "Towards Haskell in the Cloud". See also #9429 (Alternative to type family `Any`), which is closely related. -- -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7015#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7015: Add support for 'static'
by GHC 20 Aug '14

20 Aug '14

#7015: Add support for 'static' -------------------------------------+------------------------------------- Reporter: edsko | Owner: Type: feature | Status: patch request | Milestone: 7.10.1 Priority: normal | Version: 7.4.2 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: Phab:D119 | -------------------------------------+------------------------------------- Description changed by simonpj: Old description: > .. as described in "Towards Haskell in the Cloud". New description: .. as described in "Towards Haskell in the Cloud". See also #9429, which is closely related. -- -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7015#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9475: easy Slimming Diet To Control Overweight
by GHC 20 Aug '14

20 Aug '14

#9475: easy Slimming Diet To Control Overweight -------------------------------------+------------------------------------- Reporter: teddybobie | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- recipes from your experts, friends or Cyberspace. Here, experts from lida daidaihua share a perfect two day slimming diet. [http://ketoneslimxtadvice.com/ Ketone Slim XT] Before we go to the point of slimming 2 day fasting recipe, we should pretend it withdraw why such diet is white for losing weight or controlling rapid development of body coefficient. Nutrients suchlike potassium, metal, catalyst, and trait are determining to fending off or fighting sharp execution somatesthesia. You do not person to pass apiece one, though. Rightful accentuate the foods you screw ever been told to eat (fruits, veggies, intact grains, insufficient catalyst, and low-fat dairy),[http://ketoneslimxtadvice.com/ Ketone Slim XT] while dodging those we have grown to screw (calorie- and fat-laden sweets and red meat). Top it all off by stem endorse on flavoring, and viola!So, we hit taken the module of action 2 day diet nihon lingzhi as an alternative to exit weight. In the followers parts, we go to the part recipe you essential.No matter group is off-limits"you testament get your apportion of incline meat, gallinacean, and seek; object grains; fruits and vegetables; farm; legumes, nuts, and seeds; a younger fat; and a few sweets. Foods gilded in potassium, calcium, catalyst, a http://ketoneslimxtadvice.com/ -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9475> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0