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

[WIP] Added traces to debug

Browse Source
This commit is contained in:
Christian Rinderknecht 2020-01-24 12:56:05 +01:00
parent 4f4294bf56
commit 41d6956b66
5 changed files with 71 additions and 56 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/main/compile/helpers.ml
View File

@ -23,14 +23,16 @@ let syntax_to_variant : s_syntax -> string option -> v_syntax result =
| "reasonligo", _ -> ok ReasonLIGO
| _ -> simple_fail "unrecognized parser"
let parsify_pascaligo = fun source ->
let parsify_pascaligo source =
let () = prerr_endline "Helpers.parsify_pascaligo: BEFORE" in
let%bind raw =
trace (simple_error "parsing") @@
Parser.Pascaligo.parse_file source in
let () = prerr_endline "Helpers.parsify_pascaligo: AFTER" in
let%bind simplified =
trace (simple_error "simplifying") @@
Simplify.Pascaligo.simpl_program raw in
ok simplified
Simplify.Pascaligo.simpl_program raw
in ok simplified
let parsify_expression_pascaligo = fun source ->
let%bind raw =
@ -81,9 +83,10 @@ let parsify = fun (syntax : v_syntax) source_filename ->
let%bind parsify = match syntax with
| Pascaligo -> ok parsify_pascaligo
| Cameligo -> ok parsify_cameligo
| ReasonLIGO -> ok parsify_reasonligo
in
| ReasonLIGO -> ok parsify_reasonligo in
let () = prerr_endline "Helpers.parsify: BEFORE" in
let%bind parsified = parsify source_filename in
let () = prerr_endline "Helpers.parsify: AFTER" in
let%bind applied = Self_ast_simplified.all_program parsified in
ok applied

91
src/passes/1-parser/pascaligo.ml
View File

@ -1,11 +1,10 @@
open Trace
module AST = Parser_pascaligo.AST
module LexToken = Parser_pascaligo.LexToken
module Lexer = Lexer.Make(LexToken)
module Scoping = Parser_pascaligo.Scoping
module Region = Simple_utils.Region
module ParErr = Parser_pascaligo.ParErr
module SSet = Utils.String.Set
(* Mock IOs TODO: Fill them with CLI options *)
@ -19,9 +18,8 @@ module PreIO =
struct
let ext = ".ligo"
let pre_options =
EvalOpt.make ~input:None
~libs:[]
~verbose:Utils.String.Set.empty
EvalOpt.make ~libs:[]
~verbose:(SSet.singleton "cpp") (* TODO (Debug) *)
~offsets:true
~mode:`Point
~cmd:EvalOpt.Quiet
@ -53,7 +51,7 @@ module Errors =
let data = [
("location",
fun () -> Format.asprintf "%a" Location.pp_lift @@ region)]
in error ~data title message
in Trace.error ~data title message
let duplicate_parameter Region.{value; region} =
let title () =
@ -62,7 +60,7 @@ module Errors =
let data = [
("location",
fun () -> Format.asprintf "%a" Location.pp_lift @@ region)]
in error ~data title message
in Trace.error ~data title message
let duplicate_variant Region.{value; region} =
let title () =
@ -72,7 +70,7 @@ module Errors =
let data = [
("location",
fun () -> Format.asprintf "%a" Location.pp_lift @@ region)]
in error ~data title message
in Trace.error ~data title message
let non_linear_pattern Region.{value; region} =
let title () =
@ -81,7 +79,7 @@ module Errors =
let data = [
("location",
fun () -> Format.asprintf "%a" Location.pp_lift @@ region)]
in error ~data title message
in Trace.error ~data title message
let duplicate_field Region.{value; region} =
let title () =
@ -91,7 +89,7 @@ module Errors =
let data = [
("location",
fun () -> Format.asprintf "%a" Location.pp_lift @@ region)]
in error ~data title message
in Trace.error ~data title message
let parser_error Region.{value; region} =
let title () = ""
@ -100,7 +98,7 @@ module Errors =
let data =
[("parser_loc",
fun () -> Format.asprintf "%a" Location.pp_lift @@ loc)]
in error ~data title message
in Trace.error ~data title message
let lexer_error (e: Lexer.error AST.reg) =
let title () = "\nLexer error" in
@ -108,7 +106,7 @@ module Errors =
let data = [
("parser_loc",
fun () -> Format.asprintf "%a" Location.pp_lift @@ e.region)]
in error ~data title message
in Trace.error ~data title message
end
let parse (module IO : IO) parser =
@ -119,9 +117,9 @@ let parse (module IO : IO) parser =
match parser () with
(* Scoping errors *)
Stdlib.Ok semantic_value -> ok semantic_value
| Stdlib.Error error -> fail @@ Errors.parser_error error
| exception Lexer.Error e -> fail @@ Errors.lexer_error e
Stdlib.Ok semantic_value -> Trace.ok semantic_value
| Stdlib.Error error -> Trace.fail @@ Errors.parser_error error
| exception Lexer.Error e -> Trace.fail @@ Errors.lexer_error e
| exception Scoping.Error (Scoping.Reserved_name name) ->
let token =
@ -133,7 +131,7 @@ let parse (module IO : IO) parser =
| Ok invalid ->
let point =
"Reserved name.\nHint: Change the name.\n", None, invalid
in fail @@ Errors.reserved_name @@ mk_error point)
in Trace.fail @@ Errors.reserved_name @@ mk_error point)
| exception Scoping.Error (Scoping.Duplicate_parameter name) ->
let token =
@ -146,7 +144,7 @@ let parse (module IO : IO) parser =
let point =
"Duplicate parameter.\nHint: Change the name.\n",
None, invalid
in fail @@ Errors.duplicate_parameter @@ mk_error point)
in Trace.fail @@ Errors.duplicate_parameter @@ mk_error point)
| exception Scoping.Error (Scoping.Duplicate_variant name) ->
let token =
@ -155,7 +153,7 @@ let parse (module IO : IO) parser =
"Duplicate constructor in this sum type declaration.\n\
Hint: Change the constructor.\n",
None, token
in fail @@ Errors.duplicate_variant @@ mk_error point
in Trace.fail @@ Errors.duplicate_variant @@ mk_error point
| exception Scoping.Error (Scoping.Non_linear_pattern var) ->
let token =
@ -169,7 +167,7 @@ let parse (module IO : IO) parser =
"Repeated variable in this pattern.\n\
Hint: Change the name.\n",
None, invalid
in fail @@ Errors.non_linear_pattern @@ mk_error point)
in Trace.fail @@ Errors.non_linear_pattern @@ mk_error point)
| exception Scoping.Error (Scoping.Duplicate_field name) ->
let token =
@ -183,56 +181,75 @@ let parse (module IO : IO) parser =
"Duplicate field name in this record declaration.\n\
Hint: Change the name.\n",
None, invalid
in fail @@ Errors.duplicate_field @@ mk_error point)
in Trace.fail @@ Errors.duplicate_field @@ mk_error point)
let parse_file (source: string) =
let module IO =
struct
let ext = PreIO.ext
let options = PreIO.pre_options ~expr:false
let options =
PreIO.pre_options ~input:(Some source) ~expr:false
end in
let lib_path =
match IO.options#libs with
[] -> ""
| libs -> let mk_I dir path = Printf.sprintf " -I %s%s" dir path
in List.fold_right mk_I libs "" in
let prefix =
match IO.options#input with
None | Some "-" -> "temp"
| Some file -> Filename.(file |> basename |> remove_extension) in
let suffix = ".pp" ^ IO.ext in
let pp_input =
let prefix = Filename.(source |> basename |> remove_extension)
and suffix = ".pp.ligo"
in prefix ^ suffix in
let cpp_cmd = Printf.sprintf "cpp -traditional-cpp %s > %s"
source pp_input in
if SSet.mem "cpp" IO.options#verbose
then prefix ^ suffix
else let pp_input, pp_out =
Filename.open_temp_file prefix suffix
in close_out pp_out; pp_input in
let cpp_cmd =
match IO.options#input with
None | Some "-" ->
Printf.sprintf "cpp -traditional-cpp%s - > %s"
lib_path pp_input
| Some file ->
Printf.sprintf "cpp -traditional-cpp%s %s > %s"
lib_path file pp_input in
let open Trace in
let%bind () = sys_command cpp_cmd in
let%bind channel =
generic_try (simple_error "Error when opening file") @@
(fun () -> open_in pp_input) in
let module Unit = PreUnit (IO) in
let instance =
match Lexer.open_token_stream (Lexer.Channel channel) with
match Lexer.open_token_stream (Lexer.File pp_input) with
Ok instance -> instance
| Stdlib.Error _ -> assert false (* No file opening *) in
let thunk () = Unit.apply instance Unit.parse_contract in
parse (module IO) thunk
let res = parse (module IO) thunk in
let () = prerr_endline "Pascaligo.parse_file: Leaving." in
res
let parse_string (s: string) =
let module IO =
struct
let ext = PreIO.ext
let options = PreIO.pre_options ~expr:false
let options = PreIO.pre_options ~input:None ~expr:false
end in
let module Unit = PreUnit (IO) in
let instance =
match Lexer.open_token_stream (Lexer.String s) with
Ok instance -> instance
| Stdlib.Error _ -> assert false (* No file opening *) in
let thunk () = Unit.apply instance Unit.parse_contract in
parse (module IO) thunk
let thunk () = Unit.apply instance Unit.parse_contract
in parse (module IO) thunk
let parse_expression (s: string) =
let module IO =
struct
let ext = PreIO.ext
let options = PreIO.pre_options ~expr:true
let options = PreIO.pre_options ~input:None ~expr:true
end in
let module Unit = PreUnit (IO) in
let instance =
match Lexer.open_token_stream (Lexer.String s) with
Ok instance -> instance
| Stdlib.Error _ -> assert false (* No file opening *) in
let thunk () = Unit.apply instance Unit.parse_expr in
parse (module IO) thunk
let thunk () = Unit.apply instance Unit.parse_expr
in parse (module IO) thunk

1
src/passes/1-parser/shared/ParserUnit.ml
View File

@ -183,5 +183,4 @@ module Make (Lexer: Lexer.S)
| exception Sys_error error ->
Stdlib.Error (Region.wrap_ghost error)
end

6
src/passes/2-simplify/pascaligo.ml
View File

@ -1312,9 +1312,6 @@ and simpl_for_collect : Raw.for_collect -> (_ -> expression result) result = fun
| None -> e_skip ()
| Some seq -> e_let_in (Var.of_name "#COMPILER#folded_record", None) false fold seq in (* TODO fresh *)
return_statement @@ final_sequence
(*
and simpl_declaration : Raw.declaration -> declaration Location.wrap result =
*)
and simpl_declaration_list declarations :
Ast_simplified.declaration Location.wrap list result =
@ -1378,8 +1375,7 @@ and simpl_declaration_list declarations :
Declaration_constant (name, ty_opt, inline, expr) in
let res = Location.wrap ~loc new_decl in
hook (bind_list_cons res acc) declarations
in
hook (ok @@ []) (List.rev declarations)
in hook (ok @@ []) (List.rev declarations)
let simpl_program : Raw.ast -> program result =
fun t -> simpl_declaration_list @@ nseq_to_list t.decl