Commit bfb46cf7 authored by POTTIER Francois's avatar POTTIER Francois

Removed some now-redundant [name] options.

parent 26e50ab0
...@@ -7,16 +7,16 @@ type ('fn, 'bn) term = ...@@ -7,16 +7,16 @@ type ('fn, 'bn) term =
[@@deriving [@@deriving
visitors { name = "iter"; variety = "iter"; public = ["visit_term"]; visitors { variety = "iter"; public = ["visit_term"];
ancestors = ["Bn.iter"; "Abstraction.iter"] } ancestors = ["Bn.iter"; "Abstraction.iter"] }
, ,
visitors { name = "map"; variety = "map"; public = ["visit_term"]; visitors { variety = "map"; public = ["visit_term"];
ancestors = ["Bn.map"; "Abstraction.map"] } ancestors = ["Bn.map"; "Abstraction.map"] }
, ,
visitors { name = "reduce"; variety = "reduce"; public = ["visit_term"]; visitors { variety = "reduce"; public = ["visit_term"];
ancestors = ["Bn.reduce"; "Abstraction.reduce"] } ancestors = ["Bn.reduce"; "Abstraction.reduce"] }
, ,
visitors { name = "iter2"; variety = "iter2"; public = ["visit_term"]; visitors { variety = "iter2"; public = ["visit_term"];
ancestors = ["Bn.iter2"; "Abstraction.iter2"] } ancestors = ["Bn.iter2"; "Abstraction.iter2"] }
] ]
......
...@@ -1723,8 +1723,8 @@ and custom_tree = CustomDummy ...@@ -1723,8 +1723,8 @@ and custom_tree = CustomDummy
| CustomLexpr of lexpr | CustomLexpr of lexpr
| CustomOther of string * (custom_tree list) | CustomOther of string * (custom_tree list)
*) *)
[@@deriving visitors { name = "iter"; variety = "iter"; ancestors = ["Support.iter"]; irregular = true }, [@@deriving visitors { variety = "iter"; ancestors = ["Support.iter"]; irregular = true },
visitors { name = "map"; variety = "map"; ancestors = ["Support.map"]; irregular = true } visitors { variety = "map"; ancestors = ["Support.map"]; irregular = true }
] ]
type kinstr = type kinstr =
......
type expr = type expr =
| EConst of int | EConst of int
| EAdd of expr * expr | EAdd of expr * expr
[@@deriving visitors { name = "iter"; variety = "iter" }] [@@deriving visitors { variety = "iter" }]
type expr = type expr =
| EConst of int | EConst of int
| EAdd of expr * expr | EAdd of expr * expr
[@@deriving visitors { name = "map"; variety = "map" }] [@@deriving visitors { variety = "map" }]
type expr = type expr =
| EConst of int | EConst of int
| EAdd of expr * expr | EAdd of expr * expr
[@@deriving visitors { name = "iter2"; variety = "iter2"; concrete = true }] [@@deriving visitors { variety = "iter2"; concrete = true }]
type expr = type expr =
| EConst of int | EConst of int
| EAdd of expr * expr | EAdd of expr * expr
[@@deriving visitors { name = "map2"; variety = "map2" }] [@@deriving visitors { variety = "map2" }]
...@@ -11,5 +11,5 @@ and expr = ...@@ -11,5 +11,5 @@ and expr =
| EConst of int | EConst of int
| EUnOp of unop * expr | EUnOp of unop * expr
| EBinOp of expr * binop * expr | EBinOp of expr * binop * expr
[@@deriving visitors { name = "iter"; variety = "iter" }, [@@deriving visitors { variety = "iter" },
visitors { name = "map" ; variety = "map" }] visitors { variety = "map" }]
...@@ -4,4 +4,4 @@ type 'info expr_node = ...@@ -4,4 +4,4 @@ type 'info expr_node =
and 'info expr = and 'info expr =
{ info: 'info; node: 'info expr_node } { info: 'info; node: 'info expr_node }
[@@deriving visitors { name = "map"; variety = "map" }] [@@deriving visitors { variety = "map" }]
type expr = type expr =
| EConst of int | EConst of int
| EAdd of expr list | EAdd of expr list
[@@deriving visitors { name = "iter"; variety = "iter" }] [@@deriving visitors { variety = "iter" }]
type expr = type expr =
| EConst of int | EConst of int
| EAdd of expr * expr | EAdd of expr * expr
[@@deriving visitors { name = "iter"; variety = "iter"; public = ["visit_expr"] }] [@@deriving visitors { variety = "iter"; public = ["visit_expr"] }]
type u = Uber type u = Uber
and point = u * u and point = u * u
[@@deriving [@@deriving
visitors { name = "iter"; variety = "iter" }, visitors { variety = "iter" },
visitors { name = "map"; variety = "map" }, visitors { variety = "map" },
visitors { name = "iter2"; variety = "iter2" }, visitors { variety = "iter2" },
visitors { name = "map2"; variety = "map2" } visitors { variety = "map2" }
] ]
type point = type point =
{ x: int; y: int; mutable color: bool } { x: int; y: int; mutable color: bool }
[@@deriving [@@deriving
visitors { name = "iter"; variety = "iter" }, visitors { variety = "iter" },
visitors { name = "map"; variety = "map" }, visitors { variety = "map" },
visitors { name = "iter2"; variety = "iter2" }, visitors { variety = "iter2" },
visitors { name = "map2"; variety = "map2" } visitors { variety = "map2" }
] ]
...@@ -12,8 +12,8 @@ and term_list = ...@@ -12,8 +12,8 @@ and term_list =
| TLCons of (term * term_list) | TLCons of (term * term_list)
[@@deriving [@@deriving
visitors { name = "iter"; variety = "iter"; concrete = true }, visitors { variety = "iter"; concrete = true },
visitors { name = "map"; variety = "map"; concrete = true }, visitors { variety = "map"; concrete = true },
visitors { name = "iter2"; variety = "iter2" }, visitors { name = "iter2"; variety = "iter2" },
visitors { name = "map2"; variety = "map2" } visitors { name = "map2"; variety = "map2" }
] ]
......
...@@ -3,10 +3,10 @@ type ('var, 'binder) term = ...@@ -3,10 +3,10 @@ type ('var, 'binder) term =
| TAbs of 'binder * ('var, 'binder) term | TAbs of 'binder * ('var, 'binder) term
| TApp of ('var, 'binder) term * ('var, 'binder) term | TApp of ('var, 'binder) term * ('var, 'binder) term
[@@deriving [@@deriving
visitors { name = "iter"; variety = "iter" }, visitors { variety = "iter" },
visitors { name = "map"; variety = "map" }, visitors { variety = "map" },
visitors { name = "iter2"; variety = "iter2" }, visitors { variety = "iter2" },
visitors { name = "map2"; variety = "map2" } visitors { variety = "map2" }
] ]
(* Nominal. *) (* Nominal. *)
......
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