summaryrefslogtreecommitdiff
path: root/parsing
diff options
context:
space:
mode:
authorRichard Eisenberg <rae@richarde.dev>2022-12-21 22:10:33 -0500
committerGitHub <noreply@github.com>2022-12-22 04:10:33 +0100
commit11bba847bbd10e548ead54a7d47352f00b74d539 (patch)
treea5e3a918a90f96c684b5bdc02dedd6802190a35b /parsing
parent1aa495f8c5090f050cba79a5978231fc08827016 (diff)
downloadocaml-11bba847bbd10e548ead54a7d47352f00b74d539.tar.gz
Remove a code stutter (#11833)
Diffstat (limited to 'parsing')
-rw-r--r--parsing/pprintast.ml3
1 files changed, 0 insertions, 3 deletions
diff --git a/parsing/pprintast.ml b/parsing/pprintast.ml
index 12884b30bd..4dfdda5645 100644
--- a/parsing/pprintast.ml
+++ b/parsing/pprintast.ml
@@ -307,14 +307,11 @@ and core_type ctxt f x =
core_type ctxt f ct
| Ptyp_poly (sl, ct) ->
pp f "@[<2>%a%a@]"
- (fun f l ->
- pp f "%a"
(fun f l -> match l with
| [] -> ()
| _ ->
pp f "%a@;.@;"
(list tyvar_loc ~sep:"@;") l)
- l)
sl (core_type ctxt) ct
| _ -> pp f "@[<2>%a@]" (core_type1 ctxt) x