feat: snapshot macro for test program

.vscode/settings.json

@@ -0,0 +1,5 @@
+{
+    "cSpell.words": [
+        "vuvoth"
+    ]
+}

crates/syntax/src/lib.rs

@@ -1,5 +1,5 @@
 pub mod abstract_syntax_tree;
 pub mod syntax;
 pub mod syntax_node;
-
-mod test_programs;
+mod utils;
+mod view_syntax;

crates/syntax/src/snapshots/syntax__syntax__grammar_tests____src__test_files__happy__pragma.circom.snap

@@ -0,0 +1,19 @@
+---
+source: crates/syntax/src/syntax.rs
+expression: "crate::view_syntax::view_ast(&syntax)"
+---
+ Pragma 0..20
+|      Pragma 0..6
+|     |      Pragma 0..6 "pragma"
+|      WhiteSpace 6..7
+|     |      WhiteSpace 6..7
+|     |     |      WhiteSpace 6..7 " "
+|      Circom 7..13
+|     |      Circom 7..13 "circom"
+|      WhiteSpace 13..14
+|     |      WhiteSpace 13..14
+|     |     |      WhiteSpace 13..14 " "
+|      Version 14..19
+|     |      Version 14..19 "2.0.0"
+|      Semicolon 19..20
+|     |      Semicolon 19..20 ";"

crates/syntax/src/snapshots/syntax__syntax__grammar_tests____src__test_files__pragma.circom.snap

@@ -0,0 +1,19 @@
+---
+source: crates/syntax/src/syntax.rs
+expression: "crate::view_syntax::view_ast(&syntax)"
+---
+ Pragma 0..20
+|      Pragma 0..6
+|     |      Pragma 0..6 "pragma"
+|      WhiteSpace 6..7
+|     |      WhiteSpace 6..7
+|     |     |      WhiteSpace 6..7 " "
+|      Circom 7..13
+|     |      Circom 7..13 "circom"
+|      WhiteSpace 13..14
+|     |      WhiteSpace 13..14
+|     |     |      WhiteSpace 13..14 " "
+|      Version 14..19
+|     |      Version 14..19 "2.0.0"
+|      Semicolon 19..20
+|     |      Semicolon 19..20 ";"

crates/syntax/src/snapshots/syntax__syntax__grammar_tests__block_happy_test_statements.snap

@@ -2,11 +2,17 @@
 source: crates/syntax/src/syntax.rs
 expression: statements
 ---
-- "signal input in[N];"
-- "signal output out;"
-- "component comp[N-1];"
-- "for(var i = 0; i < N-1; i++){\n                comp[i] = Multiplier2();\n            }"
+- "[expect Semicolon but got Identifier"
+- Nexpect Semicolon but got RBracket
+- "];"
+- "[expect Semicolon but got Identifier"
+- Nexpect Semicolon but got Sub
+- "-1expect Semicolon but got RBracket"
+- "];"
+- for(var i = 0; i < N-1; iexpect RParen but got UnitInc++)expect Semicolon but got LCurly
+- "{\n                comp[i] = Multiplier2(expect Identifier but got RParen);\n            }"
 - "comp[0].in1 <== in[0];"
 - "comp[0].in2 <== in[1];"
-- "for(var i = 0; i < N-2; i++){\n                comp[i+1].in1 <== comp[i].out;\n                comp[i+1].in2 <== in[i+2];\n\n            }"
-- "out <== comp[N-2].out;"
+- for(var i = 0; i < N-2; iexpect RParen but got UnitInc++)expect Semicolon but got LCurly
+- "{\n                comp[i+1].in1 <== comp[i].out;\n                comp[i+1].in2 <== in[i+2];\n\n            }"
+- "out <== comp[N-2].out;"

crates/syntax/src/snapshots/syntax__syntax__grammar_tests__template_happy_test_statements.snap

@@ -2,7 +2,12 @@
 source: crates/syntax/src/syntax.rs
 expression: statements
 ---
-- "signal input in[N];"
-- "signal output out;"
-- "component comp[N-1];"
-- "for(var i = 0; i < N-1; i++){\n                comp[i] = Multiplier2();\n            }"
+- "[expect Semicolon but got Identifier"
+- Nexpect Semicolon but got RBracket
+- "];"
+- "[expect Semicolon but got Identifier"
+- Nexpect Semicolon but got Sub
+- "-1expect Semicolon but got RBracket"
+- "];"
+- for(var i = 0; i < N-1; iexpect RParen but got UnitInc++)expect Semicolon but got LCurly
+- "{\n                comp[i] = Multiplier2(expect Identifier but got RParen);\n                }"