Test monomorphized AST

.gitignore

@@ -1,2 +1,3 @@
 /target
 .vscode
+src/tests/snapshots/snapshots

src/mast/mod.rs

@@ -587,6 +587,8 @@ fn monomorphize_expr<B: Backend>(
             }
 
             // retrieve the function signature
+            dbg!(module);
+            dbg!(&fn_name.value);
             let old_qualified = FullyQualified::new(module, &fn_name.value);
             let mut fn_info = ctx
                 .tast

src/negative_tests.rs

@@ -50,7 +50,7 @@ fn tast_pass(code: &str) -> (Result<usize>, TypeChecker<R1csBackend>, Sources) {
     (res, tast, source)
 }
 
-fn mast_pass(code: &str) -> Result<Mast<R1csBackend>> {
+pub fn mast_pass(code: &str) -> Result<Mast<R1csBackend>> {
     let (_, tast, _) = tast_pass(code);
     crate::mast::monomorphize(tast)
 }
@@ -801,22 +801,3 @@ fn test_monomorphize_returntype_mismatch() {
         ErrorKind::ReturnTypeMismatch(..),
     ));
 }
-
-
-#[test]
-fn test_simple_mast() {
-    let code = r#"
-    struct Thing {
-        val: Field,
-    }
-    fn main(xx: Field) -> Thing {
-        let mut thing = Thing { val: 3 };
-        thing.val = xx;
-        return thing;
-    }
-    "#;
-
-    let mast = mast_pass(code).unwrap();
-
-    insta::assert_snapshot!(serde_json::to_string(&mast).unwrap());
-}

src/tests/mod.rs

@@ -1,3 +1,4 @@
 mod examples;
 mod modules;
+mod snapshots;
 mod stdlib;

src/tests/snapshots.rs

@@ -0,0 +1,2 @@
+#[cfg(test)]
+mod mast;