Soilihi BEN SOILIHI BOINA pushed to branch soilih at Stefan / Typer

Commits: cfc76735 by Soilih BEN SOILIH at 2021-05-08T16:55:49-06:00 update the hover

- - - - - ee628865 by Soilih BEN SOILIH at 2021-05-08T16:56:09-06:00 Merge branch 'soilih-alpha' into soilih

- - - - -

1 changed file:

- src/typer_lsp_server.ml

Changes:

===================================== src/typer_lsp_server.ml ===================================== @@ -449,7 +449,10 @@ let diagnostics (_state : state_after_processing) : Lsp.Types.Diagnostic.t list | MVal e -> let e = Lexp.push_susp e s in (e,location) | MVar (_, t, _) -> (Lexp.push_susp t s, location))

- + let lexp_parcourir ctx e = + let lctx = Debruijn.ectx_to_lctx ctx in + let location = Lexp.lexp_location e in + (Opslexp.get_type lctx e , location) (*====================================Lexp parcourir===================================*)

@@ -527,7 +530,7 @@ class lsp_server = let typer_loc = typer_pos_of_lsp_pos pos in let lexp = lexp_search lexp_list typer_loc in let ctx = Elab.default_ectx in - let (l_type,location) = browse_lexp ctx lexp in + let (l_type,location) = lexp_parcourir ctx lexp in let range = lsp_range_of_loc location in let s = Lexp.lexp_string l_type in let r = Lsp.Types.Hover.create

View it on GitLab: https://gitlab.com/monnier/typer/-/compare/bad1664fda24292e05b2333b68ad90fd5...