[Git][monnier/typer][soilih] little bug resolution
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... -- View it on GitLab: https://gitlab.com/monnier/typer/-/commit/7abb48c554174b01d898ea7039b2e4c1b8... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Soilihi BEN SOILIHI BOINA (@BenSoilih)