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

Cleanup.

Browse Source
This commit is contained in:
Sander Spies 2020-06-05 12:21:40 +02:00
parent 4c2a271898
commit 3dd4568a3d
1 changed files with 0 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/passes/1-parser/reasonligo/Pretty.ml
View File

@ -5,14 +5,10 @@ module Region = Simple_utils.Region
open! Region open! Region
open! PPrint open! PPrint
(*let paragraph (s : string) = flow (break 1) (words s)*)
let rec print ast = let rec print ast =
let app decl = group (pp_declaration decl) in let app decl = group (pp_declaration decl) in
separate_map (hardline ^^ hardline) app (Utils.nseq_to_list ast.decl) separate_map (hardline ^^ hardline) app (Utils.nseq_to_list ast.decl)
(* and indent_x = *)
and pp_declaration = function and pp_declaration = function
Let decl -> pp_let_decl decl Let decl -> pp_let_decl decl
| TypeDecl decl -> pp_type_decl decl | TypeDecl decl -> pp_type_decl decl
@ -167,9 +163,6 @@ and pp_case_expr {value; _} =
and pp_cases {value; _} = and pp_cases {value; _} =
let head, tail = value in let head, tail = value in
(* let head = pp_clause head in *)
(* let head = if tail = [] then head
else string "| " ^^ head in *)
let rest = List.map snd tail in let rest = List.map snd tail in
let app clause = break 1 ^^ string "| " ^^ pp_clause clause let app clause = break 1 ^^ string "| " ^^ pp_clause clause
in concat_map app (head :: rest) in concat_map app (head :: rest)
@ -241,10 +234,6 @@ and pp_string_expr = function
| Verbatim e -> pp_verbatim e | Verbatim e -> pp_verbatim e
and pp_list_expr = function and pp_list_expr = function
(* let {arg1; arg2; _} = value
and length = String.length op + 1 in
pp_expr arg1 ^/^ string (op ^ " ") ^^ nest length (pp_expr arg2) *)
| ECons {value = {arg1; arg2; _}; _ } -> | ECons {value = {arg1; arg2; _}; _ } ->
string "[" ^^ pp_expr arg1 ^^ string "," ^^ break 1 ^^ string "..." ^^ pp_expr arg2 ^^ string "]" string "[" ^^ pp_expr arg1 ^^ string "," ^^ break 1 ^^ string "..." ^^ pp_expr arg2 ^^ string "]"
| EListComp e -> group (pp_injection pp_expr e) | EListComp e -> group (pp_injection pp_expr e)
@ -347,8 +336,6 @@ and pp_call_expr {value; _} =
let lambda, arguments = value in let lambda, arguments = value in
let arguments = Utils.nseq_to_list arguments in let arguments = Utils.nseq_to_list arguments in
let arguments = string "(" ^^ group (separate_map (string "," ^^ break 0 ^^ string " ") pp_expr arguments) ^^ string ")" in let arguments = string "(" ^^ group (separate_map (string "," ^^ break 0 ^^ string " ") pp_expr arguments) ^^ string ")" in
(* let arguments = string "(" ^^ pp_nseq pp_expr arguments ^^ string ")" in *)
group (break 0 ^^ pp_expr lambda ^^ nest 2 arguments) group (break 0 ^^ pp_expr lambda ^^ nest 2 arguments)
and pp_tuple_expr {value; _} = and pp_tuple_expr {value; _} =
@ -482,7 +469,5 @@ and pp_fun_type {value; _} =
| TVar _ , _ -> group (pp_type_expr lhs ^^ string " =>" ^/^ pp_type_expr rhs) | TVar _ , _ -> group (pp_type_expr lhs ^^ string " =>" ^/^ pp_type_expr rhs)
| _ -> group (string "(" ^^ pp_type_expr lhs ^^ string ")" ^^ string " =>" ^/^ pp_type_expr rhs) | _ -> group (string "(" ^^ pp_type_expr lhs ^^ string ")" ^^ string " =>" ^/^ pp_type_expr rhs)
(* group (string "(" ^^ pp_type_expr lhs ^^ string ")" ^^ string " =>" ^/^ pp_type_expr rhs) *)
and pp_type_par {value; _} = and pp_type_par {value; _} =
string "(" ^^ nest 1 (pp_type_expr value.inside ^^ string ")") string "(" ^^ nest 1 (pp_type_expr value.inside ^^ string ")")