Cil Pickle - commit

Tidied up the OCaml ATerm code a bit (at some point this will be generated from the ASDL definition of the CIL AST).

Cil Pickle - commit

Float pickling added (untested).

Note this converts the float to a string then pickles that, this might contradict what the original ASDL does.

Cil Pickle - commit

Success - Test01 now runs.

This means that Cil/OCaml to ASDL pickle; ASDL pickle to Haskell now works to some degree.

Caveat - floats aren't handled and no doubt there are some bugs lurking where the ASDL description of the CIL AST is slightly different to the OCaml one (it doesn't use 'anonymous' tuples as much as the original OCaml AST).

But... As I'm working out Subversion as I go along I've tagged the code as Release-0.1 (after several attempts - by the time I've got a useful release I should be 'useful' with Subversion).

Cil Pickle - commit

Latest changes:
- added first test (it fails!)
- updated the Haskell unpickling modules

Cil Pickle - commit

Better naming for the aterm pickler code. Conversion to ATerms are done by functions prefixed to_aterm_ .

Cil Pickle - commit

Added generated Haskell AST and pickler code - completely untested.
The code is generated by my own version of ASDLgen which, like cil pickle, is pretty unstable at the moment.

src-code: Cil pickle

cil-pickle project notes
http://code.google.com/p/cil-pickle/

The code is pre-pre-alpha and is of no practical use in its current state...

..but I wanted it to be under version control and using Google Code seemed more convenient than setting up a version control system at home.

Please bear with me.