1. Dmitry Grebeniuk
  2. cadastr

Commits

Dmitry Grebeniuk  committed d47e191

.

  • Participants
  • Parent commits abd2d29
  • Branches default

Comments (0)

Files changed (2)

File src/cd_Json.ml

View file
 
 
 
-(* *)
+(*
 
 value run () = ()  (* Printf.eprintf "Cd_Json loaded.\n%!" *)
   (* init here *)
   let run_res = lazy (run ()) in
   fun () -> Lazy.force run_res
 ;
+
+*)

File src/cdt.ml

View file
 todo: убрать многое в Typeinfo, так как Cdt будет открываться всегда,
 а мусорить именами не ок.
 *)
+(*
+todo:
+разделить new ti_{sumtype,record} на части: td_{s,r} : описание -> type_desc
+и ti_of_td : type_desc -> ti.
+*)
 
 
 type cmp_res = [ LT | EQ | GT ]