add pass uniquify_var and interp_var

[uann] / .gitignore

diff --git a/.gitignore b/.gitignore
index f8d709fe1e3aca3c65abb38a4a4886fcb37f43c5..3762f6230351ab079bdef9e47fe27f37675b586c 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,7 @@
 node_modules
-src/*.js
\ No newline at end of file
+/src/*.js
+/tests/*.js
+.vscode
+activate.sh
+*.cmo
+*.mli