diff options
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/style.txt | 26 | ||||
| -rw-r--r-- | dev/top_printers.ml | 2 |
2 files changed, 28 insertions, 0 deletions
diff --git a/dev/doc/style.txt b/dev/doc/style.txt index 2e597dc4..a8924ba6 100644 --- a/dev/doc/style.txt +++ b/dev/doc/style.txt @@ -20,6 +20,32 @@ match expr with | A -> ... | B x -> ... +Remarque : à partir de la 8.2 environ, la tendance est à utiliser le +format suivant qui permet de limiter l'escalade d'indentation tout en +produisant un aspect visuel intéressant de bloc : + +type t = +| A +| B of machin + +match expr with +| A -> ... +| B x -> ... + +let f expr = match expr with +| A -> ... +| B x -> ... + +let f expr = function +| A -> ... +| B x -> ... + +Le deuxième cas est obtenu sous tuareg avec les réglages + + (setq tuareg-with-indent 0) + (setq tuareg-function-indent 0) + (setq tuareg-let-always-indent nil) /// notons que cette dernière est bien + /// pour les let mais pas pour les let-in Conditionnelles =============== diff --git a/dev/top_printers.ml b/dev/top_printers.ml index afae141b..a2285015 100644 --- a/dev/top_printers.ml +++ b/dev/top_printers.ml @@ -128,6 +128,8 @@ let ppenv e = pp let pptac = (fun x -> pp(Pptactic.pr_glob_tactic (Global.env()) x)) +let ppinsts c = pp (pr_instance_gmap c) + let ppobj obj = Format.print_string (Libobject.object_tag obj) let cnt = ref 0 |