Skip to content

GitLab

Commit 1e913bcc authored by POTTIER Francois's avatar POTTIER Francois
Browse files

System F demo: do not generate a [reduce] visitor.

parent 503fef7f
Hide whitespace changes
Inline Side-by-side
demos/system-F-type/F.cppo.ml
View file @ 1e913bcc
......@@ -43,7 +43,6 @@ and TERM =
visitors { variety = "iter"; ancestors = ["BindingForms.iter"] },
visitors { variety = "map"; ancestors = ["BindingForms.map"] },
visitors { variety = "endo"; ancestors = ["BindingForms.endo"] },
visitors { variety = "reduce"; ancestors = ["BindingForms.reduce"] },
visitors { variety = "iter2"; ancestors = ["BindingForms.iter2"] } ]
(* Type abbreviations. *)
......
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