Fixed bug in tail-call optimization

src/X86.ml

@@ -179,7 +179,7 @@ let compile cmd env imports code =
       )
     in
     let call env f n tail =
-      let tail = tail && env#nargs = n && f.[0] <> '.' in
+      let tail = tail && env#nargs = n && f.[0] <> '.' in 
       let f =
         match f.[0] with '.' -> "B" ^ String.sub f 1 (String.length f - 1) | _ -> f
       in
@@ -194,7 +194,7 @@ let compile cmd env imports code =
         in
         let env, pushs = push_args env [] n in
         let y, env = env#allocate in
-        env, pushs @ [Mov (ebp, esp); Pop (ebp); Jmp f]
+        env, pushs @ [Mov (ebp, esp); Pop (ebp)] @ (if env#has_closure then [Pop ebx] else []) @ [Jmp f]
       )
       else (
         let pushr, popr =

src/version.ml

@@ -1 +1 @@
-let version = "Version 1.00, eeab48ed3, Sun Mar 22 21:58:11 2020 +0300"
+let version = "Version 1.00, b7ec1c2e6, Mon Mar 23 00:51:00 2020 +0300"

stdlib/regression/orig/test27.log

@@ -0,0 +1 @@
+Yes

stdlib/regression/test27.lama

@@ -0,0 +1,15 @@
+import Ostap;
+
+fun pure(v) {
+  empty @ lift(v)
+}
+
+local parse = 
+  token(".") |> fun(e1) { 
+  token(".") |> fun(e2) {
+  pure(Dot(e1, e2)) }};
+
+case parseString(parse |> bypass(eof), "..") of
+   Succ(_)       -> printf("Yes\n")
+ | Fail(_, _, _) -> printf("No\n")
+esac