CODEWITHSUNDEEP
ocamlstatic-code-analysisframa-c
FakeJohn
FakeJohn

Reputation: 3

How to convert data type from Cil_types to Cil

When I use fram-c to write parser. I encountered a problem that Ast.get() returns the type Cil_types.file but I need Cil.file for future use. They are actually has the same fields, but the ocaml compiler just not let the direct assignment from Cil_types.file to Cil.file. Is there any type cast functions in Ocaml can help me do this.

Ps: I try to assign each field of Cil_types.file to Cil.file, but the same problem happens recursively (do not allow Cil.file.* = Cil_types.file.*). I really appreciate your help！

Upvotes: 0

Views: 241

Answers (1)

Matthieu Lemerre
Matthieu Lemerre

Reputation: 26

In Frama-C, there is no Cil_types.file type. Maybe you are mixing Frama-C with the original Cil?

Upvotes: 1

Related Questions