Commit 0b33ef54 authored by POTTIER Francois's avatar POTTIER Francois

Moved cil_types.ml back to test/.

parent d193b5ec
(* Support for the type [Integer.t]. *)
module Integer = struct
type t = int
include VisitorsRuntime.Inert
end
(* Support for the type [Lexing.position]. *)
module Lexing = struct
include Lexing
module Position = VisitorsRuntime.Inert
end
(****************************************************************************)
......@@ -1706,7 +1713,11 @@ and custom_tree = CustomDummy
| CustomLexpr of lexpr
| CustomOther of string * (custom_tree list)
*)
[@@deriving visitors { irregular = true }]
[@@deriving visitors { name="iter"; variety="iter"; irregular = true },
visitors { name="map"; variety="map"; irregular = true },
visitors { name="iter2"; variety="iter2"; irregular = true },
visitors { name="map2"; variety="map2"; irregular = true }
]
type kinstr =
| Kstmt of stmt
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment