Simon Génier pushed to branch wop-server at Stefan / Typer
Commits: c8d3df40 by Simon Génier at 2022-08-26T14:23:13-04:00 Fix Typerserver build with Dune.
- - - - -
3 changed files:
- src/dune - src/typer_lsp_server.ml - typer_server.ml
Changes:
===================================== src/dune ===================================== @@ -1,12 +1,12 @@ ;; -*- lisp-data -*-
(library - (modules typer) + (modules :standard \ typer_lsp_server) (name typerlib) (libraries zarith str))
(library - (modules typer_server) + (modules typer_lsp_server) + (flags (:standard -warn-error -A)) (name typerserver) - (libraries linol linol-lwt - lsp jsonrpc)) \ No newline at end of file + (libraries typerlib linol linol-lwt lsp jsonrpc))
===================================== src/typer_lsp_server.ml ===================================== @@ -36,17 +36,20 @@ Diagnostics includes all the warnings, errors and messages that the processing of a document are expected to be able to return. *) -open Log + +open Typerlib + +open Log open Util
type syntax_tree = (vname * Lexp.lexp * Lexp.ltype) list list
type syntax_tree_elab_ctx = (syntax_tree * Debruijn.elab_context)
-type document_state = (log_entry list * (syntax_tree_elab_ctx option) +type document_state = (log_entry list * (syntax_tree_elab_ctx option) * ((int * int) option ref))
-type completion_type = +type completion_type = | Expression of Debruijn.lexp_context | FieldName of Lexp.lexp
===================================== typer_server.ml ===================================== @@ -21,10 +21,4 @@ * with this program. If not, see http://www.gnu.org/licenses/. * *)
-open Typerlib - -open Typerserver - -let () = - if !Typer.lsp_server then Typer_lsp_server.run () - else (); \ No newline at end of file +let () = Typerserver.Typer_lsp_server.run ()
View it on GitLab: https://gitlab.com/monnier/typer/-/commit/c8d3df40beaa2cd10e340de729c46eebd6...