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

add better error message when parsing expressions

Browse Source
This commit is contained in:
Galfour 2019-05-08 13:46:16 +00:00
parent f3db37a7b1
commit 89308bcf4e
1 changed files with 12 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/ligo/parser/parser.ml
View File

@ -96,7 +96,18 @@ let parse_expression (s:string) : AST_Raw.expr result =
end_.pos_lnum (end_.pos_cnum - end_.pos_bol) in
simple_error str
)
| _ -> simple_error "unrecognized parse_ error"
| exn ->
let start = Lexing.lexeme_start_p lexbuf in
let end_ = Lexing.lexeme_end_p lexbuf in
let str = Format.sprintf
"Unrecognized error (%s) at \"%s\" from (%d, %d) to (%d, %d). In expression \"%s|%s\"\n"
(Printexc.to_string exn)
(Lexing.lexeme lexbuf)
start.pos_lnum (start.pos_cnum - start.pos_bol)
end_.pos_lnum (end_.pos_cnum - end_.pos_bol)
start.pos_fname s
in
simple_error str
) @@ (fun () ->
let raw = Parser.interactive_expr read lexbuf in
close () ;