- ghc-tickets - Haskell.org

Re: [GHC] #3034: divInt# floated into a position which leads to low arity
by GHC 14 Jul '14

14 Jul '14

#3034: divInt# floated into a position which leads to low arity --------------------------------------------+------------------------------ Reporter: batterseapower | Owner: Type: bug | Status: infoneeded Priority: lowest | Milestone: 7.10.1 Component: Compiler | Version: 6.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime performance bug | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Changes (by thoughtpolice): * status: patch => infoneeded * milestone: 7.6.2 => 7.10.1 Comment: Moving out of patch (and to 7.10.1 anyway). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3034#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] Batch modify: #5108, #5188, #609, #849, #888, #1216, #1349, #1466, #1544, #1965, #2189, #3085, #3217, #3231, #3242, #3379, #3654, #3984, #4092, #4102, #4211, #4295, #4347, #4372, #4385, #4451, #4470, #4937, #5075, #5143, #5239, #5289, #5320, #5355, #5364, #5369, #5392, #5401, #5429, #5443, #5444, #5463, #5467, #5470, #5522, #5542, #5556, #5567, #5590, #5615, #5619, #5630, #5641, #5645, #5646, #5647, #5666, #5672, #5692, #5702, #5761, #5775, #5777, #5786, #5791, #5807, #5813, #5821, #5823, #5827, #5834
by GHC 14 Jul '14

14 Jul '14

Batch modification to #5108, #5188, #609, #849, #888, #1216, #1349, #1466, #1544, #1965, #2189, #3085, #3217, #3231, #3242, #3379, #3654, #3984, #4092, #4102, #4211, #4295, #4347, #4372, #4385, #4451, #4470, #4937, #5075, #5143, #5239, #5289, #5320, #5355, #5364, #5369, #5392, #5401, #5429, #5443, #5444, #5463, #5467, #5470, #5522, #5542, #5556, #5567, #5590, #5615, #5619, #5630, #5641, #5645, #5646, #5647, #5666, #5672, #5692, #5702, #5761, #5775, #5777, #5786, #5791, #5807, #5813, #5821, #5823, #5827, #5834, #5835, #5840, #5841, #5844, #5850, #5898, #5907, #5916, #5924, #5927, #5928, #5942, #5966, #5982, #5983, #5985 by thoughtpolice: milestone to 7.10.1 Comment: Moving to 7.10.1. -- Tickets URL: <http://ghc.haskell.org/trac/ghc/query?id=5108%2C5188%2C609%2C849%2C888%2C12…> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5861: bytestring: incorrect documentation for hGetContents
by GHC 14 Jul '14

14 Jul '14

#5861: bytestring: incorrect documentation for hGetContents --------------------------------------+------------------------------------ Reporter: kmcallister | Owner: duncan Type: bug | Status: closed Priority: normal | Milestone: 7.6.2 Component: libraries (other) | Version: Resolution: fixed | Keywords: bytestring Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Documentation bug | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: --------------------------------------+------------------------------------ Changes (by thomie): * status: new => closed * resolution: => fixed Comment: Moving to [https://github.com/haskell/bytestring/pull/25 GitHub]. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5861#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6018: Injective type families
by GHC 14 Jul '14

14 Jul '14

#6018: Injective type families -------------------------------+------------------------------------------- Reporter: lunaris | Owner: jstolarek Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.4.1 Component: Compiler | Keywords: TypeFamilies, Injective Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #4259 None/Unknown | Test Case: | Blocking: | -------------------------------+------------------------------------------- Comment (by jstolarek): Simon, I just drafted [wiki:InjectiveTypeFamilies this wiki page]. I believe it gives a pretty good description of how the syntax will work, but it doesn't give too many details about the effects on type checking. Do you want this to be somehow formalized or would examples suffice? Do you feel that something else is missing on the wiki page? > Simple is good! Are you referring to anything particular or is this just a general reminder to follow the KISS principle? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6018#comment:39> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9272: Template Haskell doesn't support n+k patterns
by GHC 14 Jul '14

14 Jul '14

#9272: Template Haskell doesn't support n+k patterns ----------------------------+---------------------------------------------- Reporter: br1 | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Template | Version: 7.8.2 Haskell | Operating System: Unknown/Multiple Keywords: | Type of failure: GHC rejects valid program Architecture: | Test Case: Unknown/Multiple | Blocking: Difficulty: Unknown | Blocked By: | Related Tickets: | ----------------------------+---------------------------------------------- ghci> runQ [d| foo (n+3) = 42 |] <interactive>:1:6: Exotic pattern not (yet) handled by Template Haskell n+3 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9272> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #6018: Injective type families
by GHC 14 Jul '14

14 Jul '14

#6018: Injective type families -------------------------------+------------------------------------------- Reporter: lunaris | Owner: jstolarek Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.4.1 Component: Compiler | Keywords: TypeFamilies, Injective Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #4259 None/Unknown | Test Case: | Blocking: | -------------------------------+------------------------------------------- Comment (by simonpj): Fine. But please let's have a wiki page that describes the design in detail, from the user's point of view, before you start implementing anything! * Syntax * The effect on which programs are well-typed Simple is good! Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6018#comment:38> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2893: Implement "Quantified contexts" proposal
by GHC 14 Jul '14

14 Jul '14

#2893: Implement "Quantified contexts" proposal -------------------------------------+------------------------------------ Reporter: porges | Owner: Type: feature request | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 6.10.1 Resolution: | Keywords: proposal Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by simonpj): The trouble is that I don't know how to do type inference in the presence of polymorphic constraints. It is not a small change. It would be a useful feature. I've wanted it since at least 2000 (see [http://research.microsoft.com/en-us/um/people/simonpj/papers/derive.htm Derivable Type Classes]). Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2893#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9301: Rank-2 constraints are assigned kind *
by GHC 14 Jul '14

14 Jul '14

#9301: Rank-2 constraints are assigned kind * ------------------------------------+------------------------------------- Reporter: heisenbug | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Compile this program with GHC-HEAD (I have 7.9.20140605, but I guess 7.8.3 will also do): {{{ {-# LANGUAGE RankNTypes #-} strangelet :: (forall t . Num t) => () strangelet = \_ -> () }}} Very strangely it gets accepted! {{{ *Main> :t strangelet strangelet :: (forall t. Num t) -> () }}} I suspect that the type checker assigns kind `*` to rank-2 constraints. Of course it should assign a `Constraint` kind. What I ultimately want is to declare: {{{ foo :: (Monad m, forall n . Num (m n)) => m n foo = ... }}} ..or such. Would that be unreasonable? NB: 7.4.2 rejects it (even with `-XConstraintKinds`). I did not try 7.6.3. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9301> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #9313: This Cleanse Ultima is very beneficial to regulate a good blood circulation
by GHC 14 Jul '14

14 Jul '14

#9313: This Cleanse Ultima is very beneficial to regulate a good blood circulation ------------------------------------+------------------------------------- Reporter: joerjpool | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: Cleanse Ultima | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- You really mean anything like that and is motivation you know you don’t have to necessarily even use anger is motivation because it's pretty much all tips asking how and you can use you know something positive like hell you know I want to be healthy I do great motivation to you so just find what works for you reading it video on more specific mmm things that would beat me then on definitely me that the consular and I think that another great movie dirty music you know and finding something that beneficial innovation but then also find something that keeps you going whether it's Singh result on a scale listening to awesome music while you're working out findings that keep you going even a pre-workout hit anything is good so for the next thing [http://cleanseultima-uk.com/ Cleanse Ultima] I would say and you know this is going to be more milk a morning routine or every BB routine for you guys here so first thing you want to do when you wake up is you want to take e-class warm water squeeze some lemon and hot lemon tree am fortunate an but if you don't spice land squeeze lemon in there and drink that right away and you don’t have to drink a lot if you're not answering a lot of water but I would definitely suggest starting your day with you were impossible in water with that mean to you it was going to take some of the burden of delivering your kidneys because it's filtering through so it's going to help them and a bitwas going to be stern capitalism and is get things moving for the day which is really good so first thing start. http://cleanseultima-uk.com/ -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9313> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9312: This Cleanse Ultima is very beneficial to regulate a good blood circulation
by GHC 14 Jul '14

14 Jul '14

#9312: This Cleanse Ultima is very beneficial to regulate a good blood circulation ------------------------------------+------------------------------------- Reporter: joerjpool | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: Cleanse Ultima | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Hosokawa's know you know change of this offer but you can be slow and steady changes along the way he failed don't beat yourself up 3 don't start prime yourself honestly dying for losing weight for living a healthier life sounds about eating wafers eating I'll let me see foods they don't mind me let's be real here we all dying he something that would punish if you feel something in the question is how are you actually going to do I liked it physically working mostly stress myself out our food Afghani book more than half my life when hapless seafood gumbo I have Lucy golf when Wane have you know some sushi or thought not downtown today know what more you deprive yourself the more you want be changed when you get sold week we're not moving why outtakes house days fish they still hadn't fully fused week [http://cleanseultima-uk.com/ Cleanse Ultima] you some two dozen times but hey it happens that I wanted to take a little bit it is not a little bit better which will find few lost five straight days %uh week yeah I want to our ERP user roughly everything you worked so hard for all anyway so if not before keep good food you know people who you are happy light snack crackers and stuff like that my skate since I people I illegal you know I was clapping her hands they know they're not going to be. and what any death of Natalie wasting money first off secondly it’s not Billy is not going to help you get through your weight loss process some things that hike to do was keep so I may even take don't use to the fact that I sweet potato chips actually sweet potato fries around Kasha pizza its peak but I'll be healthy so what's that me he likes me happy nasty old who was involved you don't mind any something around the time I sleep he on a healthy track remind mean my healthy lifestyle ha-ha sweet shocking video must if you see how check on the food eat some other schools that joy hey stop talking hospital all major install look back up debt but soon up. http://cleanseultima-uk.com/ -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9312> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0