Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@preproc

This commit is contained in:
Christian Rinderknecht 2020-04-13 14:01:41 +02:00
commit f7b0c4fe6b

View File

@ -159,7 +159,7 @@ let apply parser =
| exception SyntaxError.Error (SyntaxError.WrongFunctionArguments expr) -> | exception SyntaxError.Error (SyntaxError.WrongFunctionArguments expr) ->
Trace.fail @@ Errors.wrong_function_arguments expr Trace.fail @@ Errors.wrong_function_arguments expr
| exception SyntaxError.Error (SyntaxError.InvalidWild expr) -> | exception SyntaxError.Error (SyntaxError.InvalidWild expr) ->
Trace.fail @@ Errors.wrong_function_arguments expr Trace.fail @@ Errors.invalid_wild expr
(* Parsing a contract in a file *) (* Parsing a contract in a file *)