diff options
| author | Alasdair Armstrong | 2019-03-11 13:03:07 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-03-11 14:42:09 +0000 |
| commit | 711de1e76e82026e361f232010304175f0542c3d (patch) | |
| tree | 7a3286b5075629fdc8beec44cfbd7d2ab1329d4e /src/initial_check.ml | |
| parent | 9c4c0e8770a43bb097df243050163afd1b31cc8f (diff) | |
Improve ocamldoc comments
Check in a slightly nicer stylesheet for OCamldoc generated
documentation in etc. Most just add a maximum width and increase the
font size because the default looks absolutely terrible on high-DPI
monitors.
Move val_spec_ids out of initial_check and into ast_util where it
probably belongs. Rename some functions in util.ml to better match the
OCaml stdlib.
Diffstat (limited to 'src/initial_check.ml')
| -rw-r--r-- | src/initial_check.ml | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/src/initial_check.ml b/src/initial_check.ml index 5893563b..b3d24820 100644 --- a/src/initial_check.ml +++ b/src/initial_check.ml @@ -811,18 +811,6 @@ let constraint_of_string str = let extern_of_string id str = mk_val_spec (VS_val_spec (typschm_of_string str, id, (fun _ -> Some (string_of_id id)), false)) let val_spec_of_string id str = mk_val_spec (VS_val_spec (typschm_of_string str, id, (fun _ -> None), false)) -let val_spec_ids (Defs defs) = - let val_spec_id (VS_aux (vs_aux, _)) = - match vs_aux with - | VS_val_spec (_, id, _, _) -> id - in - let rec vs_ids = function - | DEF_spec vs :: defs -> val_spec_id vs :: vs_ids defs - | def :: defs -> vs_ids defs - | [] -> [] - in - IdSet.of_list (vs_ids defs) - let quant_item_param = function | QI_aux (QI_id kopt, _) when is_int_kopt kopt -> [prepend_id "atom_" (id_of_kid (kopt_kid kopt))] | QI_aux (QI_id kopt, _) when is_typ_kopt kopt -> [prepend_id "typ_" (id_of_kid (kopt_kid kopt))] @@ -1047,7 +1035,7 @@ let process_ast ?generate:(generate=true) defs = |> generate_initialize_registers vs_ids else ast - + let ast_of_def_string str = let def = Parser.def_eof Lexer.token (Lexing.from_string str) in process_ast (P.Defs [def]) |