Pattern synonyms for 7.8?

[Dr. ERDI Gergo]

Hi,

I've now pushed a re-based version to wip/pattern-synonyms that

1. contains a users_guide entry for -XPatternSynonyms (mostly modelled on 
the -XViewPatterns docs and the existing Wiki pages for PatternSynonyms)

2. fixes all test failures except for the following two which also occur 
on master:

    perf/should_run  T5237 [stat not good enough] (normal)
    th               T8633 [bad exit code] (normal)

3. adds a note to the users_guide that pattern synonym declarations don't 
work in GHCi.

Could a native English speaker please read through the documentation 
changes on wip/pattern-synonyms?

Also, I guess this is my official submission of the wip/pattern-synonyms 
branch for merge into master.

Thanks,
 	Gergo


On Mon, 13 Jan 2014, Dr. ERDI Gergo wrote:

> On Thu, 9 Jan 2014, Austin Seipp wrote:
>
>> 1) As Richard pointed out, the docs are under docs/users_guide, as
>> well as the release notes. Please feel free to elaborate however you
>> want on the feature and the bulletpoint for the release notes.
>
> Hope to get around to these in the weekend.
>
>> 2) The failures are indeed a result of your code, in particular:
>>
>>   driver                 T4437 [bad stdout] (normal)
>>   generics               GenDerivOutput [stderr mismatch] (normal)
>>   generics               GenDerivOutput1_0 [stderr mismatch] (normal)
>>   generics               GenDerivOutput1_1 [stderr mismatch] (normal)
>>   rename/should_compile  T7336 [stderr mismatch] (normal)
>
> Fixed these.
>
>> 3) It seems GHCi does not support declaring pattern synonyms at the
>> REPL. I'm not sure if it's intentional, but if it goes in like this,
>> please be sure to document it in the release notes. We can file a
>> ticket later for supporting pattern synonyms at the REPL.
>
> It's definitely not intentional and I have no idea why it would be so. Isn't 
> GHCi a fairly thin wrapper around the GHC internals? Is there any wiki page 
> detailing the differences in GHCi vs GHC code paths?
>
> Thanks,
> 	Gergo
>

-- 

   .--= ULLA! =-----------------.
    \     http://gergo.erdi.hu   \
     `---= gergo at erdi.hu =-------'
Két pont között a legrövidebb út építés alatt áll.