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:27:29 +00:00 committed by Suzanne Dupéron
parent d743605aee
commit 27d7856e52
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
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 [ ("key", `String (asprintf "%a" Var.pp k)) ; ("value", 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'] );
} }