Soilihi BEN SOILIHI BOINA pushed to branch soilih at Stefan / Typer Commits: c7e33af3 by Soilih BEN SOILIH at 2021-02-14T13:06:31-07:00 header definition - - - - - 3fc49915 by Soilih BEN SOILIH at 2021-03-08T06:45:36-07:00 initialisation des deux serveurs typer-lsp-server et typer-linol-lsp-server - - - - - 30 changed files: - LSP_Server/Yojson_exemple/examples/dune - + LSP_Server/linol - + LSP_Server/ocaml-lsp/ocaml-lsp - + LSP_Server/typer-lsp-server/bin.ml - + LSP_Server/typer-lsp-server/bin.mli - + LSP_Server/typer-lsp-server/code_actions/action_destruct.ml - + LSP_Server/typer-lsp-server/code_actions/action_destruct.mli - + LSP_Server/typer-lsp-server/code_actions/action_inferred_intf.ml - + LSP_Server/typer-lsp-server/code_actions/action_inferred_intf.mli - + LSP_Server/typer-lsp-server/compl.ml - + LSP_Server/typer-lsp-server/compl.mli - + LSP_Server/typer-lsp-server/configuration.ml - + LSP_Server/typer-lsp-server/configuration.mli - + LSP_Server/typer-lsp-server/custom_requests/req_infer_intf.ml - + LSP_Server/typer-lsp-server/custom_requests/req_infer_intf.mli - + LSP_Server/typer-lsp-server/custom_requests/req_switch_impl_intf.ml - + LSP_Server/typer-lsp-server/custom_requests/req_switch_impl_intf.mli - + LSP_Server/typer-lsp-server/doc_to_md.ml - + LSP_Server/typer-lsp-server/doc_to_md.mli - + LSP_Server/typer-lsp-server/document.ml - + LSP_Server/typer-lsp-server/document.mli - + LSP_Server/typer-lsp-server/document_store.ml - + LSP_Server/typer-lsp-server/document_store.mli - + LSP_Server/typer-lsp-server/document_symbol.ml - + LSP_Server/typer-lsp-server/document_symbol.mli - + LSP_Server/typer-lsp-server/dune - + LSP_Server/typer-lsp-server/fmt.ml - + LSP_Server/typer-lsp-server/fmt.mli - + LSP_Server/typer-lsp-server/import.ml - + LSP_Server/typer-lsp-server/inference.ml The diff was not included because it is too large. View it on GitLab: https://gitlab.com/monnier/typer/-/compare/5dee08c04583f976e1c261485f3fb98a3... -- View it on GitLab: https://gitlab.com/monnier/typer/-/compare/5dee08c04583f976e1c261485f3fb98a3... You're receiving this email because of your account on gitlab.com.