Commits

Dmitry Grebeniuk  committed aa4a2a7

.

  • Participants
  • Parent commits f853c28

Comments (0)

Files changed (2)

-<*.ml> | <*.mli> | <*.byte> | <*.native> : camlp4r, pkg_lwt, pkg_monad_io.lwt, pkg_lwt.unix, pkg_substrings
+<*.ml> | <*.mli> | <*.byte> | <*.native> : camlp4r, pkg_lwt, pkg_monad_io.lwt, pkg_lwt.unix, pkg_substrings, pkg_cadastr
 <*> : warn_A
 <parvel_ops.*> : -camlp4r, camlp4o
 <lwt_mvar_parvel.*> : -camlp4r, camlp4o
 
     (*********************************************************)
 
+    (* runtime type infos: *)
+
+    module Ti
+     =
+      struct
+
+        open Cd_All; open Cdt;
+
+        value ti_int = (ti_int :> ti int);
+        value ti_string = (ti_string :> ti string);
+        value ti_unit = (ti_unit :> ti unit);
+
+        value ti_call_resp_error
+         : ti call_resp_error
+         = ((
+           new ti_sum_type
+             ~type_name:"call_resp_error"
+             ~constr:
+               [| ti_ctr_variant1 "`Exn_string" ti_string &
+                  fun s -> `Exn_string s
+                |]
+             & fun
+             [ `Exn_string s -> ti_variant "`Exn_string"
+                 [| ubox ti_string s |] ]
+           ) :> ti _)
+        ;
+
+      end
+    ;
+    include Ti;
+
+
+    (*********************************************************)
+
 
     value ty_ver_error ~tyname ~expected ~got =
       Ty_ver (