Re: [CIL users] Searching with CIL interpreted deconstructors

[Gabriel K. <ga...@ke...>]

On Fri, May 17, 2013 at 10:29:34AM +0300, Alex Susu wrote:
> Should I send you the new grammar with some explanation on your personal
> email?

Please, just send a patch on this mailing-list.  In case you are not familiar
with git, doing something like this should be enough:

$ git clone git://github.com/kerneis/cil.git
$ cd cil
$ [ edit formatparse.mly ]
$ git add formatparse.mly
$ git commit --author="Alex Susu <yo...@em...>" \
    -m "Support function names in type deconstructors"
$ git format-patch HEAD~1

and then send the patch file generated by git to cil-users.  Do not worry if
your first patch is wrong: we can discuss it and modify it until it's good
enough to be merged.

> I also wonder why formatparse.mly (and probably also cparser.mly) has some
> rules like this [...] So, the rule returns a tuple of 2 functions, one
> curried, one uncurried. I have a bit of hard time understanding why do we have
> such tuple with 2 functions - some explanation is warmly welcome.

The first function is used for the constructor, the second one for the
deconstructor.  Some rules have only one function instead of two because they
only provide a constructor, no deconstructor.

Best regards,
-- 
Gabriel