February 2015 - ghc-tickets

Re: [GHC] #7259: Eta expansion of products in System FC
by GHC 28 Feb '15

28 Feb '15

#7259: Eta expansion of products in System FC -------------------------------------+------------------------------------- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by adamgundry): * cc: adam.gundry@… (removed) * cc: adamgundry (added) Comment: It occurred to me in passing today that this would be a nice application of typechecker plugins. They should let us experiment with the type inference issues fairly easily. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7259#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4471: Incorrect Unicode output on Windows Console
by GHC 28 Feb '15

28 Feb '15

#4471: Incorrect Unicode output on Windows Console -------------------------------------+------------------------------------- Reporter: sankeld | Owner: Type: bug | Status: new Priority: high | Milestone: 7.10.1 Component: Compiler | Version: 6.12.3 Resolution: | Keywords: Operating System: Windows | Architecture: x86 Type of failure: Incorrect result | Test Case: at runtime | Blocking: Blocked By: | Differential Revisions: Related Tickets: | -------------------------------------+------------------------------------- Changes (by qwfy): * priority: low => high * milestone: 7.12.1 => 7.10.1 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4471#comment:22> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10026: wiki formatting doc does not mention language option
by GHC 27 Feb '15

27 Feb '15

#10026: wiki formatting doc does not mention language option -------------------------------------+------------------------------------- Reporter: lspitzner | Owner: hvr Type: feature | Status: new request | Milestone: Priority: normal | Version: Component: Trac & Git | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- #!hs is not mentioned on https://ghc.haskell.org/trac/ghc/wiki/WikiFormatting#PreformattedText -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10026> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #9586: Implement Traversable/Foldable-Burning-Bridges Proposal
by GHC 27 Feb '15

27 Feb '15

#9586: Implement Traversable/Foldable-Burning-Bridges Proposal -------------------------------------+------------------------------------- Reporter: hvr | Owner: hvr Type: task | Status: new Priority: normal | Milestone: 7.10.1 Component: libraries/base | Version: Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Difficult (2-5 | Type of failure: days) | None/Unknown Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- More details to follow. I've created this ticket to be able to refer to from related preparatory commits. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9586> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 45

Re: [GHC] #4372: Extending quasiquotation support
by GHC 26 Feb '15

26 Feb '15

#4372: Extending quasiquotation support -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Template Haskell | Version: 6.12.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by songzh): Replying to [comment:18 simonpj]: > I'm not against this if someone wants to > * Write a wiki page explaining the feature > * Drive a discussion to refine any corners of the design; it's mainly a syntax question I think. > * Implement a patch on Phabricator; including user manual documentation and some tests. > > > Another problem is that I suppose that the 4 quoters t, p, e, d are implemented in the layer of syntax > > I'm afraid I did not understand this part of your comment. Maybe it's a separate issue? > Simon It is not an issue, only a design decision. I was excepting {{{ > :t e e :: QuasiQuoter }}} but it is actually syntax. A little bit surprised. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4372#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4372: Extending quasiquotation support
by GHC 26 Feb '15

26 Feb '15

#4372: Extending quasiquotation support -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Template Haskell | Version: 6.12.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by songzh): Replying to [comment:19 gershomb]: > At this point I consider this a "nice idea" but I'm not sure how to modify the parser to handle it within the many grammatical constraints we already have. The somewhat clunky syntax that was pointed out by Simon upthread is actually adequate for this. This, for example is the style adopted by Manuel's language-c-inline: > I am sorry for not being a GHC developer, I will try to be one. I have skimmed the parser in the source code. My understanding is that the quoters do not need to be all kinds of expressions since allowing only function application will be more than enough. If expression like CondE, MultiIfE, DoE, CompE should be not allowed in quoter position, the guarded expression and other syntax problem will vanish. For achieving this, maybe a specific parser for quoter position is needed. I am just blind guessing here. > {{{ > nslog msg = $(objc ['msg :> ''String] (void [cexp| NSLog(@"Here is a message from Haskell: %@", msg) |])) > }}} > > Here, we use the quasiquoter to capture the expression, and then embed that quasiquoted expression itself within a TH block, in order to pass in additional information during codegen. > > If a lighter-weight syntax was possible, I'd remain all for it. But, I honestly can't think how to provide it given the constraints we have -- my patch at the time didn't really solve the problem, and I haven't had any better ideas since :-) I will look into the c-language package and your patch. Thanks. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4372#comment:20> 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 26 Feb '15

26 Feb '15

#7854: Constrained method type accepted in Haskell 98 mode -------------------------------------+------------------------------------- Reporter: refold | Owner: thomie Type: bug | Status: patch Priority: normal | Milestone: 7.12.1 Component: Compiler (Type | Version: 7.6.3 checker) | Keywords: newcomer Resolution: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | typechecker/should_fail/T7854 Related Tickets: #10118, #10119 | Blocking: | Differential Revisions: Phab:D688 -------------------------------------+------------------------------------- Changes (by thomie): * status: new => patch * testcase: => typechecker/should_fail/T7854 * differential: => Phab:D688 * related: => #10118, #10119 Comment: Patches are ready for review in Phab:D686, Phab:D687 and Phab:D688. Instead of deprecating `ConstrainedClassMethods`, I have tried fixing it instead. Phab:D688 turns on `ConstrainedClassMethods` for all modes (Haskell98, Haskell2010 and default), to not break any programs. I added a section to "Known bugs and infelicities". Existing tests `tcfail149` and `tcfail150` have been reenabled, and I added `T7854` for the `MultiParamTypeClasses` case. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7854#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3919: Or-patterns as GHC extension
by GHC 26 Feb '15

26 Feb '15

#3919: Or-patterns as GHC extension -------------------------------------+------------------------------------- Reporter: BjornEdstrom | Owner: Type: feature request | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by gershomb): * cc: gershomb (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3919#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4372: Extending quasiquotation support
by GHC 26 Feb '15

26 Feb '15

#4372: Extending quasiquotation support -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Template Haskell | Version: 6.12.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by gershomb): At this point I consider this a "nice idea" but I'm not sure how to modify the parser to handle it within the many grammatical constraints we already have. The somewhat clunky syntax that was pointed out by Simon upthread is actually adequate for this. This, for example is the style adopted by Manuel's language-c-inline: {{{ nslog msg = $(objc ['msg :> ''String] (void [cexp| NSLog(@"Here is a message from Haskell: %@", msg) |])) }}} Here, we use the quasiquoter to capture the expression, and then embed that quasiquoted expression itself within a TH block, in order to pass in additional information during codegen. If a lighter-weight syntax was possible, I'd remain all for it. But, I honestly can't think how to provide it given the constraints we have -- my patch at the time didn't really solve the problem, and I haven't had any better ideas since :-) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4372#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4960: Better inlining test in CoreUnfold
by GHC 26 Feb '15

26 Feb '15

#4960: Better inlining test in CoreUnfold -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: task | Status: new Priority: low | Milestone: 7.12.1 Component: Compiler | Version: 7.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by bgamari): * cc: bgamari (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4960#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0