Commit 962d9ff9 authored by Raphaël Cauderlier's avatar Raphaël Cauderlier
Browse files

Parse dedukti error message when context is empty

parent 28c462e5
......@@ -47,18 +47,27 @@
%%
prog: error_msg context EXPECTED sty DOT INFERED sty DOT
prog: error_msg INCONTEXT context EXPECTED sty DOT INFERED sty DOT
{
$1 ();
$2 ();
$3 ();
Format.eprintf "Expected: ";
print_ty $4;
print_ty $5;
Format.eprintf ".\nInfered: ";
print_ty $7;
print_ty $8;
Format.eprintf ".\n";
}
| error_msg EXPECTED sty INFERED sty
{
$1 ();
Format.eprintf "Expected: ";
print_ty $3;
Format.eprintf ".\nInfered: ";
print_ty $5;
Format.eprintf ".\n";
};
error_msg: ERRORFILE LINE COLUMN ERR_TYPING QTERM INCONTEXT
error_msg: ERRORFILE LINE COLUMN ERR_TYPING QTERM
{
fun () ->
Format.eprintf "Error file: %s line:%s column:%s Error while typing '%s' in context:\n"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment