From 2351dda44e3ff9c2d9c4f094f851f1f03e164086 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C3=A9mi=20Lesenechal?= Date: Tue, 23 Jun 2020 11:30:04 +0000 Subject: [PATCH] Apply 1 suggestion(s) to 1 file(s) --- src/stages/5-ast_typed/PP_json.ml | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/src/stages/5-ast_typed/PP_json.ml b/src/stages/5-ast_typed/PP_json.ml index 1156d4038..745483ebc 100644 --- a/src/stages/5-ast_typed/PP_json.ml +++ b/src/stages/5-ast_typed/PP_json.ml @@ -71,7 +71,7 @@ module M = struct typeVariableMap = (fun _visitor continue NoState tvmap -> let lst = List.sort (fun (a, _) (b, _) -> Var.compare a b) (RedBlackTrees.PolyMap.bindings tvmap) in let aux (k, v) = - `Assoc [ asprintf "%a" Var.pp k ; continue NoState v ] in + `Assoc [ asprintf "%a" Var.pp k , continue NoState v ] in let lst' = List.map aux lst in `Assoc ["typeVariableMap", `List lst'] ); } @@ -86,8 +86,3 @@ include Fold.Folds(struct type 'a t = 'a -> json ;; let f = M.print ;; end) - - (* type in_state - type out_state - type 'a t - val f : ((in_state , out_state) fold_config -> in_state -> 'a -> out_state) -> 'a t *) \ No newline at end of file