Re: [Typer] [Git][monnier/typer][track-sexp-lexp] String.sub

28 Avr 2022


      Salut Ismaïla,
...
@@ -197,9 +200,9 @@ let senv_lookup (name: string) (ctx: elab_context): int =
                                        else
                                          names)
                                     map [] in

      if ((String.sub name 0 1) = "_" ||


            (String.sub name ((String.length name) - 1) 1) = "_") &&


           ((String.length name) > 1) then




      if ((String.length name) > 1) &&


           ((String.sub name 0 1) = "_" ||


            (String.sub name ((String.length name) - 1) 1) = "_") then
        search r
      else [] in



A fait, tu peux installer ce "hunk" directement dans `master`, vu que
c'est "obviously safe".
Stefan

    