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...