Commit 8c4eb039 authored by POTTIER Francois's avatar POTTIER Francois

New test [expr_poly_opaque], currently broken.

parent c7f8dc1a
type 'a expr =
| EConst of ('a[@opaque])
| EAdd of 'a expr * 'a expr
[@@deriving
visitors { variety = "iter"; polymorphic = true },
visitors { variety = "map"; polymorphic = true },
visitors { variety = "endo"; polymorphic = true },
visitors { variety = "reduce"; polymorphic = true },
visitors { variety = "mapreduce"; polymorphic = true },
visitors { variety = "iter2"; polymorphic = true },
visitors { variety = "map2"; polymorphic = true },
visitors { variety = "reduce2"; polymorphic = true },
visitors { variety = "mapreduce2"; polymorphic = true }
]
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