Cleanup member function syntactic_closure::identify

Signed-off-by: yamacir-kit <httperror@404-notfound.jp>

Author: yamacir-kit

README.md

@@ -98,9 +98,9 @@ Then, select one of the following targets and `make` it according to your purpos
 
 | Target      | Description
 |-------------|-------------
-| `all`       | Build shared-library `libmeevax.0.5.321.so` and executable `meevax`.
+| `all`       | Build shared-library `libmeevax.0.5.322.so` and executable `meevax`.
 | `install`   | Copy files into `/usr/local` directly.
-| `package`   | Generate debian package `meevax_0.5.321_amd64.deb` (only Ubuntu). The generated package can be installed by `sudo apt install build/meevax_0.5.321_amd64.deb`.
+| `package`   | Generate debian package `meevax_0.5.322_amd64.deb` (only Ubuntu). The generated package can be installed by `sudo apt install build/meevax_0.5.322_amd64.deb`.
 | `test`      | Test executable `meevax`. This target requires Valgrind to be installed.
 | `uninstall` | Remove files copied to `/usr/local` directly by target `install`.
 

VERSION

@@ -1 +1 @@
-0.5.321
+0.5.322

include/meevax/kernel/syntactic_environment.hpp

@@ -151,14 +151,19 @@ namespace meevax::inline kernel
            an appropriate de Bruijn index. In the example above, this is (() ()
            (x)).
         */
-        let aligned_bound_variables = environment.as<syntactic_environment>().first;
-
-        for (auto offset = length(bound_variables) - length(environment.as<syntactic_environment>().first); 0 < offset; --offset)
+        auto identify = [&]()
         {
-          aligned_bound_variables = cons(unit, aligned_bound_variables);
-        }
+          let xs = environment.as<syntactic_environment>().first;
+
+          for (auto offset = length(bound_variables) - length(xs); 0 < offset; --offset)
+          {
+            xs = cons(unit, xs);
+          }
+
+          return environment.as_const<syntactic_environment>().identify(form, xs);
+        };
 
-        if (let const& identity = environment.as_const<syntactic_environment>().identify(form, aligned_bound_variables); identity != f)
+        if (let const& identity = identify(); identity != f)
         {
           return identity;
         }