13 May
2010
13 May
'10
12:58 p.m.
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. Best wishes Stephen