Soilihi BEN SOILIHI BOINA pushed to branch wop-server at Stefan / Typer
Commits: 0d31fe12 by Soilih at 2022-07-25T12:13:18-04:00 -
- - - - -
1 changed file:
- src/typer_lsp_server.ml
Changes:
===================================== src/typer_lsp_server.ml ===================================== @@ -843,7 +843,7 @@ let browse_list_defs (tab : Source.Location.t list) (cursor:Source.Location.t) = | Sort (_, StypeLevel) -> ret | Sort (_, StypeOmega) -> ret | Susp (e, s) -> find_references (Lexp.push_susp e s) vr idx_vr ret - | Builtin (_, _) -> ret + | Builtin (_, e) -> find_references e vr idx_vr ret | Var (vn, idx) -> let (l, v1) = vn in let (_, v2) = vr in @@ -889,11 +889,11 @@ let browse_list_defs (tab : Source.Location.t list) (cursor:Source.Location.t) = let (ret_list,_) = List.fold_left ( - fun (ret,i) (_, _v, t) -> + fun (ret, i) (_, _v, t) -> ( (((find_references t vr i ret)), i + 1) ) - ) (ret,i) case + ) (ret, i) case in ret_list ) @@ -901,7 +901,7 @@ let browse_list_defs (tab : Source.Location.t list) (cursor:Source.Location.t) = lst
| (_, _, t)::args - -> arg_loop args (i+1) (find_references t vr i ret_lst) + -> arg_loop args (i + 1) (find_references t vr i ret_lst) in arg_loop args 0 ret ) @@ -937,7 +937,7 @@ let browse_list_defs (tab : Source.Location.t list) (cursor:Source.Location.t) = | Sort (_, Stype e) -> browse_defs e cursor | Sort (_, StypeLevel) -> None | Sort (_, StypeOmega) -> None - | Builtin (_, _) -> None + | Builtin (_, e) -> browse_defs e cursor | Var _ -> None | Susp (e, s) -> browse_defs (Lexp.push_susp e s) cursor | Let (_, defs, el)
View it on GitLab: https://gitlab.com/monnier/typer/-/commit/0d31fe1265fe71556f1e6741f0f159f185...