Soilihi BEN SOILIHI BOINA pushed to branch soilih at Stefan / Typer Commits: 1403fe8b by Soilih BEN SOILIH at 2021-10-13T17:33:39-06:00 fix warnings - - - - - 1 changed file: - src/typer_lsp_server.ml Changes: ===================================== src/typer_lsp_server.ml ===================================== @@ -689,19 +689,18 @@ let update_the_context (ctx: Debruijn.lexp_context) (liste : (vname * Lexp.lexp | Some (v, d) -> if diff <= 0 then (); let nctx = (Debruijn.lctx_extend ctx v (LetDef (0, e)) etype) in - let nerased = Debruijn.set_sink 1 erased in let subst = Subst.shift 1 in let hlxp = Lexp.mkVar ((l, None), 0) in - let (nerased, nctx) = + let (_, nctx) = ctx_extend_with_eq nctx subst hlxp in candidats := (browse_lexp nctx d cursor) :: !candidats; - browse_lexp nctx d cursor + () | None - -> if diff > 0 then (); (ctx, None, Lexp.impossible, Source.Location.dummy) + -> if diff > 0 then (); () ) - | _,_ -> (ctx, None, Lexp.impossible, Source.Location.dummy) ; + | _,_ -> () ; ); browse_list_lexp !candidats cursor | Cons (t, (_l, name)) View it on GitLab: https://gitlab.com/monnier/typer/-/commit/1403fe8b664aa8b5684785b0d0e9093f13... -- View it on GitLab: https://gitlab.com/monnier/typer/-/commit/1403fe8b664aa8b5684785b0d0e9093f13... You're receiving this email because of your account on gitlab.com.