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... -- View it on GitLab: https://gitlab.com/monnier/typer/-/compare/bad1664fda24292e05b2333b68ad90fd5... You're receiving this email because of your account on gitlab.com.