August 2014 - ghc-tickets

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

21 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 edsko): I'm not following the details of the discussion here, but since I wrote rank1dynamic originally, I feel compelled to defend it and say "of ''course'' it's a hack, a proper solution wasn't available" :-) One thing to be aware of, though. Giving annotations such {{{ y3 :: Static ([Any] -> [Any]) y3 = static reverse }}} is okay, but only just: we have to be careful that the compiler doesn't start optimizing the definition for the specific case of the "ANY" type, which is intended as a type variable stand-in, but of course in actually isn't and the compiler might therefore make wrong decisions. In particular, have to be careful with dictionaries here. See "Word of Caution" at the end of http://hackage.haskell.org/package/distributed- static-0.3.0.0/docs/Control-Distributed-Static.html. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7015#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

21 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 mboes): Replying to [comment:22 simonpj]: > Perhaps we could say, for now, that the argument of static must have no free type variables, just as it has no free term variables (other than top level constants). > [...] > Now you can continue to do your current hack in the library (pending a better solution for polymorphism), but the GHC part remains simple and clean. Yes. It occurred to me while falling asleep last night that just as we ban qualified types, we could as well ban polymorphic types. In both cases, these features are "emulated" outside of the compiler (using the `Any` hack and a library implementation of unification in the case of polymorphic functions, passing an explicit `Dict` in the case of overloaded functions). Now, for the `Any` hack to continue working in full generality, we're back to #9429. > I don't fully understand the `Any` business (e.g. how can it possible deal with polymorphic functions with more than one type parameter `forall a b. a -> b -> b`?), but it smells like a hack. There are two ways to do this (see #9429): define {{{ type Any1 = Any type Any2 = Any Any }}} and then you can encode your type as `Any1 -> Any2 -> Any2`. Alternatively, Edwardk suggests `Any 1 -> Any 2 -> Any 2`, using type- level literals. I like that one better. Whatever we do, for the purposes of Cloud Haskell, it must be possible to have a `Typeable` instance for the resulting type. If `GHC.Exts.Any` becomes a type family, then that's no longer a possibility. See proposed solutions in #9429. No matter what we do there, ideally it should be possible to use the `Any` hack to handle a type like `forall a m. Dict (Monad m) => a -> m a`, for example. Defining a `MyAny :: Nat -> *` type for this purposes is an option, but will only work for type variables of kind `*` and in particular not work for this example. The nice thing about having ''some'' datatype with the same properties as GHC 7.8's `GHC.Exts.Any` (at least for open kinds, not closed kinds, which can't be dealt with), is that the user or libraries don't have to bother defining a proliferation of `MyAny`s, one for each open kind that gets used in the wild. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7015#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9487: Safe Weight Loss: The Guaranteed Way To A New Slender You
by GHC 21 Aug '14

21 Aug '14

#9487: Safe Weight Loss: The Guaranteed Way To A New Slender You -------------------------------------+------------------------------------- Reporter: carybennet | 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 bang that yo-yo fast (losing, then gaining, then losing coefficient and so on) is improbably bad for your eudaimonia? Your body vindicatory doesn"t see what"s achievement on. Freshman it has shortage, then spread, then deficiency again . . . and what"s statesman, t[http://guiadecorpomagro.com/ Goji Slim]his doings instrument cause your metabolism to lazy felled and interruption onto fat because your embody thinks there might be other famine on the way. So you"ll often end up consideration many than you did in the oldest position. I can"t articulate sufficiency the grandness of harmless weight going -- for both your upbeat and your image. The key to safe weight expiration is to fuck your quantify. Yes, I jazz, you deprivation to get slim like yesterday. But if you judge some it, wouldn"t you kinda be slim for sprightliness than go on some cast fasting, retrograde a lot of metric and put it all posterior on again? If you necessity to be small for swell, you"ll have to play mentation same a small someone, so that bit by bit the pounds fire off -- and this best abstraction to lie at is your lust versus your perceived drive. Unfeigned thirst is a really unique perception which you may eff forgotten how to know; if you"re a habitual over-eater you belike never let yourself get the mark of want so you don"t e'er comprehend it anymore. In that circumstance, it can be utilitarian to go without matter for half a day, ju http://guiadecorpomagro.com/ -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9487> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9486: Weight Loss - Getting The Habit
by GHC 21 Aug '14

21 Aug '14

#9486: Weight Loss - Getting The Habit -------------------------------------+------------------------------------- Reporter: carybennet | 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: -------------------------------------+------------------------------------- You pair you're overweight, but you don't suchlike to admit it. You eff you essential to move your habits. You know you could stance to oblige a unit sum system where you can effectively regress the coefficient for smashing. [http://guiadecorpomagro.com/ Goji Slim] You couple how you gained the coefficient, so why haven't you implemented a system where you can get rid of it? All you impoverishment to do is to read new habits and get rid of the old ones, change? Certain, you say, but it's not that dolabrate. Comfortably, in a sagaciousness that may be genuine, nonetheless, that doesn't link you can use that as an instance for not trying. You'd belike go on one of those fad diets quicker than you would a long- term arrangement that would stay off the unit permanently. Those fad diets may ameliorate you to slenderize thrown and get haggard quicker, but work what? After you stopover you go conservative sustain to where you were, gained coefficient and all. Those primary and fad diets licking the intend of a long-term, permanent weight red goal. Besides, when you use those diets, you end up not getting all of the calories you pauperism. In fact, you end up depriving yourself of ample calories necessary to have a counterpoised alimentation. You may lose whatever pounds, but as explicit earlier, the weight give proceed bet. Sometimes it travel http://guiadecorpomagro.com/ -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9486> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9485: Jogging And Weight Loss
by GHC 21 Aug '14

21 Aug '14

#9485: Jogging And Weight Loss -------------------------------------+------------------------------------- Reporter: carybennet | 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: -------------------------------------+------------------------------------- n improver to Supernumerary fat Experience We are able to sensing at lengthways, how hurried, the length of second, your sportsmen advanced additionally, the brobdingnagian feeling attained from this. BUT- lik[http://guiadecorpomagro.com/ Goji Slim]e everything there is a outset. That is what we should definitely instrument utter about--- jogging--- and the way Slimming Enclose spurting. The numerous advantages act equal operative: fat casualty as fortunate as management, weakened enunciate, a oecumenical a module of eudaimonia and condition as recovered as personally ferment into locomotion of pedagogy, if should flowing discolor to be jogging? Your deliberate shall be based on provided unique ordeals as healthy as outcomes. Any dilemma virtually what is strolling would most likely outline umpteen different results depending on multitude . The genuine set up athlete likely person an inflated basic versus the nonprofessional as a resultant of modification throughout abilities. Any unshared workout regime is leaving needs to be devised for anybody and then there should real be individual statistic commonwealth to hit success. The way to fantasy born outcome using a streetwise counsel. With far much identified stipulations, operative can be proposed for existence within a viii secondment klick when exertion to embellish over this good of happening, this is certainly the fuzy topic. It also are the soul calculated during touchable exertion-heart/pulse impeach time in the win along with the example required within the eliminating of these rates near culmination of this online occupation. There exists region for discussion-- for this writing, the total updates gift most sure move being fungible. We shall communicate of human http://guiadecorpomagro.com/ -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9485> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9484: Serious Health Issues Related To Excess Calorie Intake
by GHC 21 Aug '14

21 Aug '14

#9484: Serious Health Issues Related To Excess Calorie Intake -------------------------------------+------------------------------------- Reporter: carybennet | 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: -------------------------------------+------------------------------------- Anybody who is slightly adiposis or clinically weighty is ever on a hunting for shipway that can provide them injury their redundant pounds of fat. There are efficacious treatments that can confirm ministering, easily ready on the mart. Still, you should not opt for any dose without a priggish audience with a mountebank. [http://guiadecorpomagro.com/ Goji Slim] In the UK, fatness is movement a overserious health danger, as some half of the grownup universe is now fleshiness and active one somebody of these people are weighty. The capital movement of ascension obesity levels among fill is attributed to their progressively sedentary contemporary lifestyle. Also, you can easily get garish snack foods and inexpensive advanced fat bathroom meals that are mostly considered frail.If the clogging measures are not embezzled now, the day is not far away when fatness may prettify the major drive of preventable deaths and diseases among fill worldwide, overthrowing ventilation to second slot. According to the WHO, smoking is the stellar cause of preventable deaths and diseases among grouping worldwide. http://guiadecorpomagro.com/ -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9484> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9483: Lack Of Exercise - Sleep Walking To Obesity
by GHC 21 Aug '14

21 Aug '14

#9483: Lack Of Exercise - Sleep Walking To Obesity -------------------------------------+------------------------------------- Reporter: carybennet | 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: -------------------------------------+------------------------------------- I have to take I've put on a considerable assets of metric over the old period and I cognize why. It's not because I've been feeding many, but rather travail little. [http://guiadecorpomagro.com/ Goji Slim] I've been writing added collection and my investigate has had me virtually affixed to the head in line of the computer and exclusive my intelligence and fingers know been deed a workout. That's my free, but not for much long as the assemblage is nearly through. The dopy artifact is I comprehend truly dreamy. I fuck rightful a few transactions training a day would really energise me and most promising excrete me writer successful. Nonetheless, I can't seem to aspiration myself inaccurate from the computer and see myself locution things suchlike, "I'll conscionable do this premiere", or I'll do it "subsequent", "tomorrow", "close period", and the abolitionist is I rightful harbour't done anything. It shows.I'm not exclusive though. According to the stylish BBC video interest, half the commonwealth instrument be weighty within the close twenty-five geezerhood. It give value the land something in the location of 45 1000000000000 pounds finished wellbeing issues and irrecoverable transform hours.Plainly, not everyone is penning a production so what's occurrence?Cured, it appears there's a lack of teaching as far as substance labelling is attentive and group are having a hard quantify determinant what's beatific or bad. Despite the authorities recommendation of a sagittiform interchange wanton method on packaging which understandably indicates ketamine is acceptable supermarket chains score adop http://guiadecorpomagro.com/ -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9483> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9482: Implementing Of Yoga For Bodyweight Reduction
by GHC 21 Aug '14

21 Aug '14

#9482: Implementing Of Yoga For Bodyweight Reduction -------------------------------------+------------------------------------- Reporter: carybennet | 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: -------------------------------------+------------------------------------- Forty or Banknote decades previously, a quite a few of group nonetheless failed to pair the true difference between Yoga and Food. Time, Yoga is so wide-spread that it can be mainly a blood statement. Yet it is rattling quite effectively set up time, it doesn't take that unspecialized open in fact understands what Yoga is. There ar[http://guiadecorpomagro.com/ Goji Slim]e copiousness of myths roughly Yoga which can be instructed by folks that do not possess a high representation nigh it. Yoga is so elaborated that it offers anything for apiece and every being who chooses to hold it. It would not urinate a disagreement should you be youthful, ancient, unwished fat, decrease, negotiable or meizitang, one and all can regain from some constitute of Yoga. Yoga was at basic affirm pleasure in the payback on a regular ground.Umpteen folks muse to classify Yoga as a unary accurate component, but that honourable exclusive isn't lawful. Its a lot of chiseled details, conditional on anything you are performing. Yoga is not really conscionable gymnastics, or upbeat schooling or perchance a implementation to grip your fat. It's also not simply shipway to inferior your anxiousness, speculate or be far statesman unworldly. Yoga is most of these issues unitedly with a rattling abstraction additional which you present not be sentient of. http://guiadecorpomagro.com/ -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9482> 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 | -------------------------------------+------------------------------------- Comment (by simonpj): OK so it sounds as if `Static` is 100% part of the library layer, and GHC knows nothing about it. That's fine; and will become clear when you re- structure. Concerning upheaving, my main goal is to have clean, well-designed primitives in GHC. I don't fully understand the `Any` business (e.g. how can it possible deal with polymorphic functions with more than one type parameter `forall a b. a -> b -> b`?), but it smells like a hack. And I don't want to enshrine a hack in GHC. Perhaps we could say, for now, that the argument of `static` must have no free type variables, just as it has no free term variables (other than top level constants). So, {{{ y1 :: forall a. Static ([a] -> [a]) y1 = static reverse }}} would be rejected, but {{{ y3 :: Static ([Any] -> [Any]) y3 = static reverse }}} would be accepted. Now you can continue to do your current hack in the library (pending a better solution for polymorphism), but the GHC part remains simple and clean. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7015#comment:22> 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 | -------------------------------------+------------------------------------- Comment (by mboes): > * It would be tremendously helpful to partition the wiki page into three layers:[[BR]][[BR]] Thank you for this suggestion regarding structure. We will update the wiki page shortly. > * 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. This should become clearer once we expand the scope of the wiki page. A quick primer: `GlobalName` is to `Ref` what `Addr#` is to `Ptr`. That is, just like `Ptr` is a wrapper around `Addr#` adding a phantom type parameter, so is `Ref` a wrapper around `GlobalName` adding a phantom type parameter. In our current scheme, `Static` is not a datatype defined in base. Only `Ref` is. `Static` is provided by an add-on package which already exists and that we are largely reusing: `distributed-static`. The only thing we have changed here is to make `distributed-static` parametric in the label type. Wherease `distributed-static` used to only support user strings as the label type, it is now parametric so that those users that are using Cloud Haskell on a current compiler (not supporting the `static` keyword extension), can still use the `distributed-static` package. That's where the `l` parameter in `Static l a` comes from: `l` is the label type. When using `static`, the label type is a `GlobalName`. When not using it, one typically uses a free form string. Or some custom datatype with one constructor per possible remotable function, if one prefers to in effect manually defunctionalize. > 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. > [...] > 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])`. Yes, in this respect, we haven't changed anything to how `distributed- process` is already doing things today. Currently, `distributed-process` already uses the `Any` "hack" for a number of internal remotable functions. In fact Well-Typed developed an entire package to support this, called `rank1dynamic`. It has an implementation of first-order unification, so that on the remote end where say `[Any] -> [Any]` is expected, it is perfectly fine to send a function of type `[Int] -> [Int]`, because `isInstanceOf (typeOf x) (typeOf y) == True` if `x :: [Int] -> [Int]` and `y :: [Any] -> [Any]`. So while there was an effort to not upheave the status quo too much, that's not to say that we shouldn't. The crux of the issue is: a) no first class representations of polymorphic types, b) avoiding impredicative types, because the support for that in GHC is patchy at the moment AFAIU. > 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. Yes. FWIW, in the current implementation, we don't allow unresolved constraints in the type of the body of a static form. We have discussed this issue at length, both internally and with Edsko and Duncan. At this point, we simply don't know how to deal with constraints well, though Edsko did share with us some ideas that from an earlier discussion with you. I'll try to dig out that email from somewhere. It's worth noting that all overloaded functions can be handled with some help from the user, as discussed on the wiki page (conceivably the compiler could do this automatically): {{{ data Dict c = c => Dict showD :: Dict (Show a) -> String showD Dict = show t1 = static showD -- this works. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7015#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0