Commit bc63ddd4 authored by POTTIER Francois's avatar POTTIER Francois

New test of [monomorphic].

parent b2afdb6c
......@@ -5,6 +5,7 @@ dictionary
fold
mapReduce
map_from_fold
monomorphic
monopoly
opaque
point
......
type 'a t =
| Leaf of 'a
| Node of 'a t * ('a * 'a) t
[@@deriving visitors { variety = "map"; monomorphic = ["'env"] }]
let o = object
inherit [_] map
method! visit_Leaf visit_'a env x =
let env = (env : int) in (* check that ['env] is not quantified *)
Leaf (visit_'a env x)
end
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