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