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...