[Git][monnier/typer][soilih] fixing the case Case
Soilihi BEN SOILIHI BOINA pushed to branch soilih at Stefan / Typer Commits: ba970f5c by Soilih BEN SOILIH at 2021-07-03T00:29:12-06:00 fixing the case Case - - - - - 1 changed file: - src/typer_lsp_server.ml Changes: ===================================== src/typer_lsp_server.ml ===================================== @@ -508,7 +508,7 @@ end mkctx erased ctx s hctor vdefs fieldtypes in let subst = Subst.shift (List.length vdefs) in let (nerased, nctx) = ctx_extend_with_eq nctx subst hlxp in - candidats := (browse_lexp ctx branch cursor) :: !candidats; + candidats := (browse_lexp nctx branch cursor) :: !candidats; ) brch in @@ -525,7 +525,7 @@ end let (nerased, nctx) = ctx_extend_with_eq nctx subst hlxp in candidats := (browse_lexp ctx d cursor) :: !candidats; - browse_lexp ctx d cursor + browse_lexp nctx d cursor | None -> if diff > 0 then (); (Lexp.impossible, Source.Location.dummy) ) View it on GitLab: https://gitlab.com/monnier/typer/-/commit/ba970f5cec20dca8236971c1352bfeaf8b... -- View it on GitLab: https://gitlab.com/monnier/typer/-/commit/ba970f5cec20dca8236971c1352bfeaf8b... 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)