--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on February 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] polymorphic logic types and the use of type parameters?



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>