Soilihi BEN SOILIHI BOINA pushed to branch diagnostics_and_hover at Stefan / Typer
Commits: ca17860a by Soilih at 2022-02-05T22:41:12-05:00 -
- - - - -
1 changed file:
- src/typer_lsp_server.ml
Changes:
===================================== src/typer_lsp_server.ml ===================================== @@ -773,10 +773,10 @@ class lsp_server = let (list_list, _) = Option.get ast in let typer_loc = typer_pos_of_lsp_pos pos in let ctx = Debruijn.ectx_to_lctx (Elab.default_ectx) in - (*let lexp = trans_list_in_list_to_let list_list in*) + let lexp = trans_list_in_list_to_let list_list in
let (lctx,vx) = lexp_search ctx list_list typer_loc in - let ((lvn,_),lexp,ltyp) = vx in + let ((lvn,_),_,ltyp) = vx in
let (l_ctx_r,_,_,_) as ret = browse_lexp ctx lexp typer_loc in let ret' = (l_ctx_r,None,ltyp,lvn) in
View it on GitLab: https://gitlab.com/monnier/typer/-/commit/ca17860aa69e0b15b37f75f299d15eb646...