Soilihi BEN SOILIHI BOINA pushed to branch soilih at Stefan / Typer
Commits: 7abb48c5 by Soilih BEN SOILIH at 2021-04-03T08:12:45-06:00 little bug resolution
- - - - -
2 changed files:
- src/REPL.ml - src/typer_lsp_server.ml
Changes:
===================================== src/REPL.ml ===================================== @@ -208,8 +208,8 @@ let readstring (str:string) = let ectx = Elab.default_ectx in (*let rctx = Elab.default_rctx in*) Elab.lexp_decl_str str ectx ; - let ret = Log.typer_log in - ret + let ref_list = Log.typer_log in + List.map (fun x -> x) !ref_list
let readfiles files (i, lctx, rctx) prt =
===================================== src/typer_lsp_server.ml ===================================== @@ -57,6 +57,7 @@ let log_level_to_severity (level:log_level) : Lsp.Types.DiagnosticSeverity.t =
let process_some_input_file (_file_contents : string) : state_after_processing = REPL.readstring _file_contents + let diagnostics (_state : state_after_processing) : Lsp.Types.Diagnostic.t list = let log_tab = log_entry_to_list _state in List.map (fun x ->
View it on GitLab: https://gitlab.com/monnier/typer/-/commit/7abb48c554174b01d898ea7039b2e4c1b8...