Stefan pushed to branch master at Stefan / Typer Commits: a2bc3d5c by Stefan Monnier at 2022-05-10T14:50:33-04:00 * src/debruijn.ml (senv_lookup): Fix ordering of tests - - - - - 1 changed file: - src/debruijn.ml Changes: ===================================== src/debruijn.ml ===================================== @@ -3,7 +3,7 @@ * * --------------------------------------------------------------------------- * - * Copyright (C) 2011-2021 Free Software Foundation, Inc. + * Copyright (C) 2011-2022 Free Software Foundation, Inc. * * Author: Pierre Delaunay <pierre.delaunay@hec.ca> * Keywords: languages, lisp, dependent types. @@ -268,9 +268,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 View it on GitLab: https://gitlab.com/monnier/typer/-/commit/a2bc3d5cd1557a79404e1e58f383bc6497... -- View it on GitLab: https://gitlab.com/monnier/typer/-/commit/a2bc3d5cd1557a79404e1e58f383bc6497... You're receiving this email because of your account on gitlab.com.