zkas: Semantic analysis stub.

zkas/src/analyzer.rs

@@ -200,7 +200,11 @@ impl Analyzer {
         }
 
         self.statements = statements;
+    }
 
+    pub fn analyze_semantic(&mut self) {
+        println!("{:#?}", self.constants);
+        println!("{:#?}", self.witnesses);
         println!("{:#?}", self.statements);
     }
 

zkas/src/main.rs

@@ -43,6 +43,7 @@ fn main() -> Result<()> {
 
     let mut analyzer = Analyzer::new(filename, source.chars(), constants, witnesses, statements);
     analyzer.analyze_types();
+    analyzer.analyze_semantic();
 
     Ok(())
 }