Soilihi BEN SOILIHI BOINA pushed to branch soilih at Stefan / Typer Commits: 62dad551 by Soilih BEN SOILIH at 2021-03-11T18:50:46-07:00 Licence specifications - - - - - 2 changed files: - src/REPL.ml - src/typer_lsp_server.ml Changes: ===================================== src/REPL.ml ===================================== @@ -284,7 +284,7 @@ let arg_files = ref [] (* ./typer [options] files *) let arg_defs = [ ("--batch", Arg.Set arg_batch, "Don't run the interactive loop"); - ("--lsp", Arg.Set lsp_server, "Enable the lsp server"); + ("--lsp", Arg.Set lsp_server, "Enable the LSP server"); ("--verbosity", Arg.String Log.set_typer_log_level_str, "Set the logging level"); ("-v", Arg.Unit Log.increment_log_level, "Increment verbosity"); @@ -302,7 +302,8 @@ let parse_args () = let main () = parse_args (); - if !lsp_server = true then Typer_lsp_server.run (); + if (!lsp_server = true) = true then Typer_lsp_server.run () + else (); let ectx = Elab.default_ectx in let rctx = Elab.default_rctx in ===================================== src/typer_lsp_server.ml ===================================== @@ -1,4 +1,28 @@ -(* This file is free software, part of linol. See file "LICENSE" for more information *) +(* +* Copyright (C) 2020, 2021 Free Software Foundation, Inc. +* +* Author: Soilihi BEN SOILIHI BOINA <ben.soilihi.boina.soilihi@umontreal.ca> +* Keywords: languages, lisp, dependent types. +* Description: this file define a language server protocol for Typer language. +* It is using the Linol library(see <https://github.com/c-cube/linol>) +* to implement the LSP server. It is based on the Linol library template. +* Linol is a free software under the MIT license. +* +* This file is part of Typer. +* +* Typer is free software; you can redistribute it and/or modify it under the +* terms of the GNU General Public License as published by the Free Software +* Foundation, either version 3 of the License, or (at your option) any +* later version. +* +* Typer is distributed in the hope that it will be useful, but WITHOUT ANY +* WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS +* FOR A PARTICULAR PURPOSE. See the GNU General Public License for +* more details. +* +* You should have received a copy of the GNU General Public License along +* with this program. If not, see <http://www.gnu.org/licenses/>. +* *) (* Some user code The code here is just a placeholder to make this file compile, it is expected @@ -94,7 +118,4 @@ let run () = | Error e -> let e = Printexc.to_string e in Printf.eprintf "error: %s\n%!" e; - exit 1 - -(* Finally, we actually run the server *) -(* let () = run () *) \ No newline at end of file + exit 1 \ No newline at end of file View it on GitLab: https://gitlab.com/monnier/typer/-/commit/62dad5517d55bb95270ec9a0e57365d3f0... -- View it on GitLab: https://gitlab.com/monnier/typer/-/commit/62dad5517d55bb95270ec9a0e57365d3f0... You're receiving this email because of your account on gitlab.com.