[Git][monnier/typer][laurent/elab_cache] Fix read_file
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... -- View it on GitLab: https://gitlab.com/monnier/typer/-/commit/1718b1111f11cc933aaa67e449e47c492f... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Laurent Huberdeau