diff options
Diffstat (limited to 'src/pretty')
| -rw-r--r-- | src/pretty/Pretty.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/pretty/Pretty.ml b/src/pretty/Pretty.ml index ba78881..8b7ad1a 100644 --- a/src/pretty/Pretty.ml +++ b/src/pretty/Pretty.ml @@ -67,8 +67,9 @@ struct pp scrut pp_local_name motive_var (bind motive_var pp) motive pp true_case pp false_case ) fmt - and pp_arg fmt (name, tp) = - Fmt.pf fmt "(@[%a@] : @[%a@])" pp_local_name name pp tp + and pp_arg fmt (name, tp) = match name with + | Some name -> (delimited @@ fun fmt (name, tp) -> Fmt.pf fmt "(@[%s@] : @[%a@])" name pp tp) fmt (name, tp) + | None -> pp fmt tp (* TODO: improve indentation *) and pp fmt = function |