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...