hmm, I think the issue is to add tests to compare the AST during monomorphization phase (MAST). It is useful to review the effects on the generated MAST nodes if there are changes to the logic in MAST pipeline.

There is some tool like https://github.com/mitsuhiko/insta?tab=readme-ov-file to do the job. But I think we should be able to structure the snapshot tests small enough, so the generated AST string can be compared in a manageable way.

@katat Thanks for clarification. test_simple_mast yields some ambiguity in MAST snapshots. Every new snapshot generates new functions description: "functions":[["std/bits/nth_bit", "functions":[["std/builtins/log"
You can reproduce it by cargo insta test --review

Ah, it is because the resulted MAST can have the same set of the functions but in different order. The whole MAST contains all the stdlib and builtin functions.

For this kind of test, we should only snapshot the functions in concern, such as the generic examples test_generic_*. The snapshot test for MAST is to check if the monomorphization done properly for the generic features.

I think you can create a new test set, similar to the negative_tests.rs, for snapshot tests for MAST generation. For the generic feature examples to test snapshot, you can copy the code from the examples folder. Ideally, each snapshot test one generic feature that is already covered in the examples folder.

For this kind of test, we should only snapshot the functions in concern, such as the generic examples test_generic_*. The snapshot test for MAST is to check if the monomorphization done properly for the generic features.
For the generic feature examples to test snapshot, you can copy the code from the examples folder

The snapshot test cases from examples folder (arithmetic.no, array.no etc) will produce an ambiguity as I mentioned above.

There are test_generic_ test cases presented n src/negative_tests.rs and in src/tests/examples.rs.
I assume, you would like to make snapshot tests for MAST generation for test cases test_generic_ listed in src/tests/examples.rs Right?