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@erdi.hu =-------' Két pont között a legrövidebb út építés alatt áll.