Merge pull request #228 from EYBlockchain/lydia/_variables

Throw an error if a variable begins with _
EYBlockchain · Feb 13, 2024 · 2e186d5 · 2e186d5
2 parents 88b877b + ea39da8
commit 2e186d5
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/src/transformers/visitors/checks/unsupportedVisitor.ts b/src/transformers/visitors/checks/unsupportedVisitor.ts
@@ -78,4 +78,14 @@ export default {
         );
     },
   },
+
+  VariableDeclaration: {
+    enter(node: any) {
+      if (node.name.startsWith('_'))
+        throw new ZKPError(
+          `Zokrates does not support variables that begin with an underscore such as as _value.`,
+          node
+        );
+    },
+  },
 };