balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Apply 1 suggestion(s) to 1 file(s)

Browse Source
This commit is contained in:
Rémi Lesenechal 2020-06-23 11:30:04 +00:00 committed by Suzanne Dupéron
parent 362e33c7f9
commit 2351dda44e
1 changed files with 1 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/stages/5-ast_typed/PP_json.ml
View File

@ -71,7 +71,7 @@ module M = struct
typeVariableMap = (fun _visitor continue NoState tvmap -> typeVariableMap = (fun _visitor continue NoState tvmap ->
let lst = List.sort (fun (a, _) (b, _) -> Var.compare a b) (RedBlackTrees.PolyMap.bindings tvmap) in let lst = List.sort (fun (a, _) (b, _) -> Var.compare a b) (RedBlackTrees.PolyMap.bindings tvmap) in
let aux (k, v) = 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 let lst' = List.map aux lst in
`Assoc ["typeVariableMap", `List lst'] ); `Assoc ["typeVariableMap", `List lst'] );
} }
@ -86,8 +86,3 @@ include Fold.Folds(struct
type 'a t = 'a -> json ;; type 'a t = 'a -> json ;;
let f = M.print ;; let f = M.print ;;
end) 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 *)