Hi,
On Tue, 1 Jul 2014, Simon Marlow wrote:
The s/r conflicts can also be a problem, depending on what you're trying to
parse. It's generally a good idea to get rid of them if you can, but at the
least you should understand why they exist (use happy --info) and document
them in Parser.y.pp.
How can I reproduce? Is this on your wip/pattern-synonyms branch?
Simon
| -Original Message-
| From: Dr. ERDI Gergo [mailto:ge...@erdi.hu]
| Sent: 02 July 2014 12:45
| To: Simon Marlow
| Cc: Simon Peyton Jones; GHC Devs
| Subject: Re: Help needed: parsing pattern synonym contexts
[mailto:ge...@erdi.hu]
| Sent: 02 July 2014 12:45
| To: Simon Marlow
| Cc: Simon Peyton Jones; GHC Devs
| Subject: Re: Help needed: parsing pattern synonym contexts
|
| Hi,
|
| On Tue, 1 Jul 2014, Simon Marlow wrote:
|
| The s/r conflicts can also be a problem, depending on what you're
| trying
Peyton Jones
| Cc: GHC Devs
| Subject: RE: Help needed: parsing pattern synonym contexts
|
| On Tue, 24 Jun 2014, Simon Peyton Jones wrote:
|
| In the latter case, what happened to the shift/reduce and
| reduce/reduce errors reported by Happy? Esp the latter. If you are
| getting more you need
: GHC Devs
| Subject: RE: Help needed: parsing pattern synonym contexts
|
| On Tue, 24 Jun 2014, Simon Peyton Jones wrote:
|
| In the latter case, what happened to the shift/reduce and
| reduce/reduce errors reported by Happy? Esp the latter. If you are
| getting more you need to track them down
On Tue, 24 Jun 2014, Simon Peyton Jones wrote:
What do you mean by doesn't work? Crashes? Fails to build with some
error? Builds but doesn't parse what you expect?
Yeah, sorry, when I wrote
fails with a parse error on ::.
what I meant was that the parser builds runs, but fails with a
On Tue, 24 Jun 2014, Simon Peyton Jones wrote:
In the latter case, what happened to the shift/reduce and reduce/reduce
errors reported by Happy? Esp the latter. If you are getting more you
need to track them down.
I think I've figured out what might be causing the problem.
First, a couple
Hi,
I'm working on adding type signatures to pattern synonyms. The syntax I'm
after would look something like, e.g.:
pattern (Eq b) = P Int (Bool, b) (f [a]) :: (Show a) = Maybe [a]
My problem is with parsing the two contexts. I wrote the parser in the
following way, which I felt natural
by
patsyn_contxt :: forall | forall context '='
c.f the defn of 'constr'.
IN haste
Simoin
| -Original Message-
| From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Dr.
| ERDI Gergo
| Sent: 24 June 2014 13:12
| To: GHC Devs
| Subject: Help needed: parsing pattern synonym contexts