July 2014 - ghc-tickets

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 13 Jul '14

13 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

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

13 Jul '14

#9311: 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: | ------------------------------------+------------------------------------- Matt's wife Rachel who simply follow the Fat Loss Factor course with her husband Rachel change the shaper for body age 38 and this is Tam 10 lost seventy four pounds of fat at the tender age up fifty you can read his first 5k race recently something that he never would have dreamed doing previously book can I guarantee you'll have the exact same results as these guys of course not everyone actually follow the steps outlined the program that's sad but it's true but with that said I can absolutely guarantee too thanks first if you follow my program you will see results pack they could even be better than what you’ve seen in this presentation second if [http://cleanseultima-uk.com/ Cleanse Ultima] you're not a 110 percent happy with the results you can keep your money and the course for free with the full fat loss factor program you get the exact system that means that matter Rachel 10 min Lori and thousands of others have your test you can change your body and your life am so incredibly confident that it will work for you that like I said earlier if for any reason you decide the Fat Loss Factor program is in for you just email me with an 8 entire week so I’ll give you a full refund and let you keep everything for free no questions asked my personal email address is Charles at Fat Loss Factor dot comwithout after johnnie I’m here with and saying in fat loss and I’m here to talk to you a little bit about getting started with dancing on fat loss a c a lot of people at the gym they go to the gym they had no idea what to do to the first thing i want to talk about today is setting goals you want to set a goal yourself doesn't matter to settle per day hope a week ago per month so boldly maybe only spot pounds a month medium was three inches off my list it can be anything any easier machinations several and try to really cheeses was it feels really good once. http://cleanseultima-uk.com/ -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9311> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

13 Jul '14

#9310: 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: | ------------------------------------+------------------------------------- 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 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 [http://cleanseultima-uk.com/ Cleanse Ultima] 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 today work 350 pounds on top it's not worth it if you have some see accident I just have work 18th dub step make use of your own you created movie didn't happen ask. http://cleanseultima-uk.com/ -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9310> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

13 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: -------------------------------------+------------------------------------ Changes (by heisenbug): * cc: ggreif@… (added) Comment: Copying a use-case from #9196: My point is that I'd like to have polymorphic (multiparameter) constraints, where the param universally abstracted over is a non-`*` kind, that is an ADT. See: {{{ class Foo a where ... data Bar (b :: Bool) x = ... instance Foo (Bar True x) where ... instance Foo (Bar False x) where ... test :: (forall b. Foo (Bar b x)) =>... }}} Here the `forall` condition is satisfiable, as all `Bool` alternatives are covered with `instance` declarations. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2893#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9196: Higher-rank constraint treated as type instead
by GHC 13 Jul '14

13 Jul '14

#9196: Higher-rank constraint treated as type instead ------------------------------------+------------------------------------- Reporter: goldfire | 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: | ------------------------------------+------------------------------------- When I say {{{ {-# LANGUAGE RankNTypes #-} module Bug where class P z foo :: (forall b. P (a, b)) => a -> a foo x = x }}} I get {{{ Bug.hs:7:9: Couldn't match expected type ‘a -> a’ with actual type ‘P (a, b0)’ Relevant bindings include x :: forall b. P (a, b) (bound at Bug.hs:7:5) foo :: (forall b. P (a, b)) -> a -> a (bound at Bug.hs:7:1) In the expression: x In an equation for ‘foo’: foo x = x }}} I expected my code to be rejected, but not with that error message. It seems that GHC thinks `forall b. P (a, b))` has kind `*`, not kind `Constraint`. Encountered while experimenting with #9195. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9196> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #9174: Haddock fails with "Module defined in multiple files"
by GHC 13 Jul '14

13 Jul '14

#9174: Haddock fails with "Module defined in multiple files" ----------------------------------+--------------------------------- Reporter: mietek | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: MacOS X Architecture: x86_64 (amd64) | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+--------------------------------- Haddock fails to cooperate with OS X clang CPP: {{{ <no location info>: module ‘pkgid-pkgversion:Main’ is defined in multiple files: dist/build/tmp-#####/Stuff }}} A workaround is to pass `--ghc-options=-optP-P` to `cabal haddock`. This prevents `cabal-install` from being boostrapped, unless `--no-doc` is specified. The original Haddock ticket and the corresponding Cabal issue were both closed as invalid, but there appears to be no GHC ticket to track the underlying cause. http://trac.haskell.org/haddock/ticket/284 https://github.com/haskell/cabal/issues/1740 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9174> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5