#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
#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
#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
#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
#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
