--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on February 2015 ---
Dear All, for a list parameterized on the element type, I'd like to write: /*@ axiomatic List { @ type list<A>; @ logic list<A> nil; @ logic list<A> cons(A x, list<A> xs); @ ... @*/ Frama-C Neon signals an error in line 4 user error: unexpected token 'A' Is this due to the experimental nature of support for parameterized types? Can I fix this easily or will I have to wait for a future version of Frama-C? Thanks and best regards, Marko -------------- next part -------------- A non-text attachment was scrubbed... Name: not available Type: application/pgp-signature Size: 181 bytes Desc: OpenPGP Digital Signature URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150210/c132acb9/attachment.sig>