Comments.dyntypes

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/dyntypes@9462 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 5 insertions, 1 deletions

diff --git a/test/dtypes.ml b/test/dtypes.ml
index e3e4c7f2d4..b6c38c5d0f 100644
--- a/test/dtypes.ml
+++ b/test/dtypes.ml
@@ -17,6 +17,9 @@ let iteri f =
   in
   aux 0
 
+(* An extensible printer of dynamic values. It fails by default on
+    abstract values but it can be extended to deal with them. *)
+
 let printers = ref []
 let add_printer f = printers := f :: !printers
 
@@ -118,6 +121,7 @@ let () =
   ()
 
 
+(* An universal variant type. *)
 
 type variant =
   | V_int of int
@@ -250,7 +254,7 @@ let () =
   ()
 
 
-
+(* Demonstrating custom abstract type. *)
 
 module MyModule : sig
   type t