A better [Print] API.

84ccbc74 · POTTIER Francois · f0547a17 · 84ccbc74
Commit 84ccbc74 authored Feb 03, 2017 by POTTIER Francois
Hide whitespace changes
Inline Side-by-side

Showing with 5 additions and 2 deletions

Print.ml demos/system-F-type/Print.ml +5 -2

No files found.
--- a/demos/system-F-type/Print.ml
+++ b/demos/system-F-type/Print.ml
@@ -95,5 +95,8 @@ and term3 t =
 and term t =
  term3 t

-let term (oc : out_channel) (t : (string, string) term) : unit =
-  output oc (term t)
+let typ =
+  adapt typ
+
+let term =
+  adapt term