[Git][monnier/typer][soilih] -
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... -- View it on GitLab: https://gitlab.com/monnier/typer/-/commit/85a05e3562abad82d6b544caf88d9627ae... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Soilihi BEN SOILIHI BOINA (@BenSoilih)