Soilihi BEN SOILIHI BOINA pushed to branch soilih at Stefan / Typer
Commits: 85a05e35 by Soilih BEN SOILIH at 2021-05-12T10:27:02-06:00 -
- - - - -
1 changed file:
- src/typer_lsp_server.ml
Changes:
===================================== src/typer_lsp_server.ml ===================================== @@ -246,7 +246,7 @@ let diagnostics (_state : state_after_processing) : Lsp.Types.Diagnostic.t list let ft = Opslexp.get_type ctx f in
match Opslexp.lexp'_whnf ft ctx with - | Arrow (ak', _v, t1, _l, t2) -> let e = browse_list_lexp (List.map (fun (_, e) -> e) args) cursor in + | Arrow (ak', _v, t1, _l, t2) -> let e = lexp_search (List.map (fun (_, e) -> e) args) cursor in browse_lexp ctx e cursor | _ -> browse_lexp ctx ft cursor )
View it on GitLab: https://gitlab.com/monnier/typer/-/commit/85a05e3562abad82d6b544caf88d9627ae...
Afficher les réponses par date