Soilihi BEN SOILIHI BOINA pushed to branch soilih at Stefan / Typer
Commits: 8e377da2 by Soilih BEN SOILIH at 2021-07-02T23:22:44-06:00 remove unecessary try with
- - - - -
1 changed file:
- src/typer_lsp_server.ml
Changes:
===================================== src/typer_lsp_server.ml ===================================== @@ -279,7 +279,7 @@ end let lexp_list = List.map (fun x -> let (_,b,_) = x in b ) tab in let rec foo lexp_list cursor = match lexp_list with - | [] -> failwith "Liste vide!" + | [] -> failwith "No Lexp found!!!" | [n] -> n | [hd;tl] -> if (dist (Lexp.lexp_location hd) cursor < dist (Lexp.lexp_location tl) cursor ) then hd else tl @@ -394,9 +394,7 @@ end args in
- try browse_list_lexp (fonc::args_list) cursor - with exe -> failwith "Exeption sur ce call !!!" )
| Inductive (l, _label, args, cases)
View it on GitLab: https://gitlab.com/monnier/typer/-/commit/8e377da2a811e4eead746c3beab8d3b4c0...
Afficher les réponses par date