Commit 33e6375c authored by POTTIER Francois's avatar POTTIER Francois

Cannot define [strip] the way I thought, as it is polymorphic.

parent 11e372cf
open Expr09
let strip : _ expr -> unit expr =
let strip (e : _ expr) : unit expr =
let v = object
inherit [_] map
method visit_'info _env _info = ()
end in
v # visit_expr ()
v # visit_expr () e
let number (e : _ expr) : int expr =
let v = object
......
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