On Thu, May 13, 2010 at 11:58 AM, Stephen Tetley <stephen.tet...@gmail.com> wrote: > Hi Tom > > Quite a while ago I interfaced Haskell and Ocaml/CIL through both > ATerms and ASDL pickles. > > I can look at digging out this code if you like - it was fairly > complete, but it had a bug somewhere and will probably be a few > revisions behind the current CIL.
Thanks Stephen, I'd like to see it. I almost have something working. I created a little OCaml parser to read the cil_types.mli file from Frama-C, which I then use to automatically generate a Frama-C plugin that dumps the database, and a Haskell module that reads it. I should have something released to Hackage by next week. But if anyone is curious, here is the repo I'm working from: http://github.com/tomahawkins/cil _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
