Mentions légales du service

Skip to content
Snippets Groups Projects

More consistent handling of errors in Solver, Infer and FTypeChecker, with source locations

Merged SCHERER Gabriel requested to merge gscherer/inferno:errors-with-ranges into master
28 files
+ 773
646
Compare changes
  • Side-by-side
  • Inline
Files
28
+ 4
3
@@ -6,9 +6,10 @@ let rectypes =
let test_ok filename =
match from_file filename with
| exception (ParsingError range) ->
Printf.eprintf "%!%sSyntax error.\n%!"
(LexUtil.range range)
| exception (ParsingError loc) ->
loc |> Option.iter (fun range ->
prerr_string (LexUtil.range range));
prerr_endline "Syntax error."
| (datatype_env, t) ->
let rectypes = !rectypes in
let _ = Test.CheckML.test ~verbose:true ~rectypes datatype_env t in ()
Loading