In Frama-C
, there is no Cil_types.file
type. Maybe you are mixing Frama-C
with the original Cil
?
How to convert data type from Cil_types to Cil
-
28-08-2022 - |
Question
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!
Solution
Licensed under: CC-BY-SA with attribution
Not affiliated with StackOverflow