diff options
| author | Brian Campbell | 2018-10-02 11:55:37 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-10-02 11:55:37 +0100 |
| commit | 90f1b17f64d640f37de8f2f9fe4043d2bc45145c (patch) | |
| tree | 0f3f59abc7ffacef51abca3a64c4e9284b9d1215 /src | |
| parent | 7bd3001e2490741388421353ac2e7e687db62d38 (diff) | |
Remove some old debugging messages
Diffstat (limited to 'src')
| -rw-r--r-- | src/ocaml_backend.ml | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/src/ocaml_backend.ml b/src/ocaml_backend.ml index 0da745ae..0fe10401 100644 --- a/src/ocaml_backend.ml +++ b/src/ocaml_backend.ml @@ -660,7 +660,6 @@ let ocaml_pp_generators ctx defs orig_types required = let typemap = List.fold_left add_def Bindings.empty orig_types in let required = IdSet.of_list required in let rec always_add_req_from_id required id = -let () = print_endline ("Looking at id " ^ string_of_id id) in match Bindings.find id typemap with | td -> add_req_from_td (IdSet.add id required) td | exception Not_found -> @@ -673,7 +672,6 @@ let () = print_endline ("Looking at id " ^ string_of_id id) in if IdSet.mem id required then required else always_add_req_from_id required id and add_req_from_typ required (Typ_aux (typ,_) as full_typ) = -let () = print_endline ("Looking at " ^ string_of_typ full_typ) in match typ with | Typ_id id -> add_req_from_id required id | Typ_var _ @@ -701,18 +699,13 @@ let () = print_endline ("Looking at " ^ string_of_typ full_typ) in and add_req_from_td required (TD_aux (td,(l,_))) = match td with | TD_abbrev (_, _, TypSchm_aux (TypSchm_ts (_,typ),_)) -> -let () = print_endline ("Looking at alias " ^ string_of_typ typ) in add_req_from_typ required typ | TD_record (_, _, _, fields, _) -> -let () = print_endline ("Looking at " ^ string_of_int (List.length fields) ^ " fields") in List.fold_left (fun req (typ,_) -> add_req_from_typ req typ) required fields | TD_variant (_, _, _, variants, _) -> -let () = print_endline ("Looking at " ^ string_of_int (List.length variants) ^ " variants") in List.fold_left (fun req (Tu_aux (Tu_ty_id (typ,_),_)) -> add_req_from_typ req typ) required variants - | TD_enum _ -> -let () = print_endline "Nothing to do for enum" in -required + | TD_enum _ -> required | TD_bitfield _ -> raise (Reporting_basic.err_todo l "Generators for bitfields not yet supported") in let required = IdSet.fold (fun id req -> always_add_req_from_id req id) required required in |
