remove print_todo

src/mlw/rust_printer.ml

@@ -863,8 +863,6 @@ module Print = struct
   let protect_on b s =
     if b then "(" ^^ s ^^ ")" else s
 
-  let print_todo fmt msg = fprintf fmt "TODO(%s)" msg
-
   let rec print_list2 sep sep_m print1 print2 fmt (l1, l2) =
     match l1, l2 with
     | [x1], [x2] ->
@@ -1025,7 +1023,8 @@ module Print = struct
   let print_type_def info fmt (td:t_defn) =
     let pub = if not td.priv then "pub " else "" in
     match td.def with
-    | None -> print_todo fmt "panic!(\"None type def\");"
+    | None -> raise (TODO "None type def")
+        (* TODO error out in translation instead of passing it along this far *)
     | Some (Denum csl) ->
         let print_constr fmt (id, tl) =
           match tl with
@@ -1051,9 +1050,12 @@ module Print = struct
     | Dfn fn ->
         print_fn info fmt fn
     | Dstatic (pv, e) ->
+        (*
         let id = pv_name pv in
         fprintf fmt "static %a: %a = %a;" (print_IDENT info) id
-          print_todo "ty from pv" (print_expr info) e
+          (??) pv (print_expr info) e
+        *)
+        raise (TODO "Dstatic ty")
     | Dtype td -> print_type_def info fmt td
     | Dmodule (s, dl) ->
         fprintf fmt "mod %s {\n%a}\n" s (print_list newline (print_def info)) dl