Laurent Huberdeau pushed to branch laurent/elab_cache at Stefan / Typer

Commits: 1718b111 by Laurent Huberdeau at 2020-08-07T14:44:59-04:00 Fix read_file

- - - - -

1 changed file:

- src/elab.ml

Changes:

===================================== src/elab.ml ===================================== @@ -1781,7 +1781,7 @@ let sform_load usr_elctx loc sargs ot = loop [] in

let read_file file_path elctx = - let pres = prelex_string file_path in + let pres = prelex_file file_path in let sxps = lex default_stt pres in let nods = sexp_parse_all_to_list (ectx_get_grammar elctx) sxps (Some ";") in

View it on GitLab: https://gitlab.com/monnier/typer/-/commit/1718b1111f11cc933aaa67e449e47c492f...