test: add functional tests

Sdoba16 · LesterEvSe · commit 4cc8a87c6d7a · 2026-04-21T18:59:43.000+03:00
diff --git a/functional-tests/error-test-cases/cyclic-dependency/lib/module_a.simf b/functional-tests/error-test-cases/cyclic-dependency/lib/module_a.simf
@@ -0,0 +1,2 @@
+pub use lib::module_b::TypeB;
+pub type TypeA = u32;
diff --git a/functional-tests/error-test-cases/cyclic-dependency/lib/module_b.simf b/functional-tests/error-test-cases/cyclic-dependency/lib/module_b.simf
@@ -0,0 +1,2 @@
+pub use lib::module_a::TypeA;
+pub type TypeB = u32;
diff --git a/functional-tests/error-test-cases/cyclic-dependency/main.simf b/functional-tests/error-test-cases/cyclic-dependency/main.simf
@@ -0,0 +1,3 @@
+use lib::module_a::TypeA; 
+
+fn main() {}
diff --git a/functional-tests/error-test-cases/file-not-found/main.simf b/functional-tests/error-test-cases/file-not-found/main.simf
@@ -0,0 +1,5 @@
+use lib::module::AssetId;
+
+fn main() {
+    let my_asset: AssetId = 5; 
+}
diff --git a/functional-tests/error-test-cases/lib-not-found/main.simf b/functional-tests/error-test-cases/lib-not-found/main.simf
@@ -0,0 +1,5 @@
+use lib::module::AssetId;
+
+fn main() {
+    let my_asset: AssetId = 5; 
+}
diff --git a/functional-tests/error-test-cases/name-collision/lib/groups.simf b/functional-tests/error-test-cases/name-collision/lib/groups.simf
@@ -0,0 +1,3 @@
+pub fn add(a: u32, b: u32) -> (bool, u32) {
+    jet::add_32(a, b)
+}
diff --git a/functional-tests/error-test-cases/name-collision/lib/math.simf b/functional-tests/error-test-cases/name-collision/lib/math.simf
@@ -0,0 +1,4 @@
+pub fn add(a: u32, b: u32) -> (bool, u32) {
+    let (_, c): (bool, u32) = jet::add_32(a, b);
+    jet::add_32(c, 1)
+}
diff --git a/functional-tests/error-test-cases/name-collision/main.simf b/functional-tests/error-test-cases/name-collision/main.simf
@@ -0,0 +1,9 @@
+use lib::groups::add;
+use lib::math::add;
+
+fn main() {
+    let x: u32 = 5;
+    let y: u32 = 10;
+    let (_, result): (bool, u32) = add(x, y);
+    assert!(jet::eq_32(result, 16));
+}
diff --git a/functional-tests/error-test-cases/private-visibility/lib/hidden.simf b/functional-tests/error-test-cases/private-visibility/lib/hidden.simf
@@ -0,0 +1 @@
+type SecretType = u32; pub fn ok() {}
diff --git a/functional-tests/error-test-cases/private-visibility/main.simf b/functional-tests/error-test-cases/private-visibility/main.simf
@@ -0,0 +1,3 @@
+use lib::hidden::SecretType;
+
+fn main() {}
diff --git a/functional-tests/error-test-cases/type-alias-duplication/lib/duplication.simf b/functional-tests/error-test-cases/type-alias-duplication/lib/duplication.simf
@@ -0,0 +1,2 @@
+pub type A = u32;
+pub type A = u64;
diff --git a/functional-tests/error-test-cases/type-alias-duplication/main.simf b/functional-tests/error-test-cases/type-alias-duplication/main.simf
@@ -0,0 +1,7 @@
+use lib::duplication::A;
+
+fn main() {
+    let smth: u64 = 55;
+    let another: A = 55;
+    assert!(jet::eq_64(smth, another));
+}
diff --git a/functional-tests/valid-test-cases/deep-reexport-chain/lib/level1.simf b/functional-tests/valid-test-cases/deep-reexport-chain/lib/level1.simf
@@ -0,0 +1,2 @@
+pub use lib::level2::CoreSmth;
+pub use lib::level2::core_val;
diff --git a/functional-tests/valid-test-cases/deep-reexport-chain/lib/level2.simf b/functional-tests/valid-test-cases/deep-reexport-chain/lib/level2.simf
@@ -0,0 +1,2 @@
+pub use lib::level3::CoreSmth;
+pub use lib::level3::core_val;
diff --git a/functional-tests/valid-test-cases/deep-reexport-chain/lib/level3.simf b/functional-tests/valid-test-cases/deep-reexport-chain/lib/level3.simf
@@ -0,0 +1,2 @@
+pub type CoreSmth = u32;
+pub fn core_val() -> CoreSmth { 42 }
diff --git a/functional-tests/valid-test-cases/deep-reexport-chain/main.simf b/functional-tests/valid-test-cases/deep-reexport-chain/main.simf
@@ -0,0 +1,7 @@
+use lib::level1::CoreSmth;
+use lib::level1::core_val;
+
+fn main() {
+    let val: CoreSmth = core_val();
+    assert!(jet::eq_32(val, 42));
+}
diff --git a/functional-tests/valid-test-cases/diamond-dependency-resolution/lib/base.simf b/functional-tests/valid-test-cases/diamond-dependency-resolution/lib/base.simf
@@ -0,0 +1 @@
+pub type BaseType = u32;
diff --git a/functional-tests/valid-test-cases/diamond-dependency-resolution/lib/left.simf b/functional-tests/valid-test-cases/diamond-dependency-resolution/lib/left.simf
@@ -0,0 +1,2 @@
+pub use lib::base::BaseType;
+pub fn get_left() -> BaseType { 1 }
diff --git a/functional-tests/valid-test-cases/diamond-dependency-resolution/lib/right.simf b/functional-tests/valid-test-cases/diamond-dependency-resolution/lib/right.simf
@@ -0,0 +1,2 @@
+pub use lib::base::BaseType;
+pub fn get_right() -> BaseType { 2 }
diff --git a/functional-tests/valid-test-cases/diamond-dependency-resolution/main.simf b/functional-tests/valid-test-cases/diamond-dependency-resolution/main.simf
@@ -0,0 +1,10 @@
+use lib::left::get_left;
+use lib::right::get_right;
+use lib::base::BaseType;
+
+fn main() {
+    let a: BaseType = get_left();
+    let b: BaseType = get_right();
+    let (_, c): (bool, BaseType) = jet::add_32(a, b);
+    assert!(jet::eq_32(c, 3));
+}
diff --git a/functional-tests/valid-test-cases/interleaved-waterfall/auth/verify.simf b/functional-tests/valid-test-cases/interleaved-waterfall/auth/verify.simf
@@ -0,0 +1,6 @@
+use types::def::UserId;
+use db::store::get_record;
+
+pub fn is_valid(id: UserId) -> UserId { 
+    get_record(id)
+}
diff --git a/functional-tests/valid-test-cases/interleaved-waterfall/db/store.simf b/functional-tests/valid-test-cases/interleaved-waterfall/db/store.simf
@@ -0,0 +1,2 @@
+use types::def::UserId;
+pub fn get_record(id: UserId) -> UserId { id }
diff --git a/functional-tests/valid-test-cases/interleaved-waterfall/main.simf b/functional-tests/valid-test-cases/interleaved-waterfall/main.simf
@@ -0,0 +1,5 @@
+use orch::handler::run_system;
+
+fn main() {
+    assert!(jet::eq_32(run_system(5), 5));
+}
diff --git a/functional-tests/valid-test-cases/interleaved-waterfall/orch/handler.simf b/functional-tests/valid-test-cases/interleaved-waterfall/orch/handler.simf
@@ -0,0 +1,8 @@
+use auth::verify::is_valid;
+use db::store::get_record;
+use types::def::UserId;
+
+pub fn run_system(id: UserId) -> UserId {
+    let checked: UserId = is_valid(id);
+    get_record(checked)
+}
diff --git a/functional-tests/valid-test-cases/interleaved-waterfall/types/def.simf b/functional-tests/valid-test-cases/interleaved-waterfall/types/def.simf
@@ -0,0 +1 @@
+pub type UserId = u32;
diff --git a/functional-tests/valid-test-cases/leaky-signature/lib/internal.simf b/functional-tests/valid-test-cases/leaky-signature/lib/internal.simf
@@ -0,0 +1,5 @@
+type SecretKey = u64;
+
+pub fn unlock(key: SecretKey) -> u64 {
+    jet::max_64(key, 0)
+}
diff --git a/functional-tests/valid-test-cases/leaky-signature/main.simf b/functional-tests/valid-test-cases/leaky-signature/main.simf
@@ -0,0 +1,4 @@
+use lib::internal::unlock;
+
+fn main() {
+}
diff --git a/functional-tests/valid-test-cases/module-simple/lib/module.simf b/functional-tests/valid-test-cases/module-simple/lib/module.simf
@@ -0,0 +1 @@
+pub fn add() {}
diff --git a/functional-tests/valid-test-cases/module-simple/main.simf b/functional-tests/valid-test-cases/module-simple/main.simf
@@ -0,0 +1,2 @@
+use lib::module::add;
+fn main() {}
diff --git a/functional-tests/valid-test-cases/multi-lib-facade/api/api.simf b/functional-tests/valid-test-cases/multi-lib-facade/api/api.simf
@@ -0,0 +1,3 @@
+pub use crypto::crypto::mock_hash;
+pub use math::math::MathInt;
+pub use math::math::add_two;
diff --git a/functional-tests/valid-test-cases/multi-lib-facade/crypto/crypto.simf b/functional-tests/valid-test-cases/multi-lib-facade/crypto/crypto.simf
@@ -0,0 +1,5 @@
+use math::math::MathInt;
+
+pub fn mock_hash(x: MathInt) -> (bool, MathInt) {
+    jet::add_32(x, 5)
+}
diff --git a/functional-tests/valid-test-cases/multi-lib-facade/main.simf b/functional-tests/valid-test-cases/multi-lib-facade/main.simf
@@ -0,0 +1,8 @@
+use api::api::{add_two, mock_hash, MathInt};
+
+fn main() {
+    let val: MathInt = 10;
+    let (_, step1): (bool, MathInt) = add_two(val);
+    let (_, step2): (bool, MathInt) = mock_hash(step1);
+    assert!(jet::eq_32(step2, 17));
+}
diff --git a/functional-tests/valid-test-cases/multi-lib-facade/math/math.simf b/functional-tests/valid-test-cases/multi-lib-facade/math/math.simf
@@ -0,0 +1,4 @@
+pub type MathInt = u32;
+pub fn add_two(x: MathInt) -> (bool, MathInt) { 
+    jet::add_32(x, 2) 
+}
diff --git a/functional-tests/valid-test-cases/reexport-diamond/lib/core.simf b/functional-tests/valid-test-cases/reexport-diamond/lib/core.simf
@@ -0,0 +1,2 @@
+pub type Coin = u64;
+pub fn mint(val: u64) -> Coin { val }
diff --git a/functional-tests/valid-test-cases/reexport-diamond/lib/route_a.simf b/functional-tests/valid-test-cases/reexport-diamond/lib/route_a.simf
@@ -0,0 +1,2 @@
+pub use lib::core::Coin;
+pub use lib::core::mint;
diff --git a/functional-tests/valid-test-cases/reexport-diamond/lib/route_b.simf b/functional-tests/valid-test-cases/reexport-diamond/lib/route_b.simf
@@ -0,0 +1,5 @@
+pub use lib::core::Coin;
+
+pub fn burn(c: Coin) -> (bool, Coin) {
+    jet::subtract_64(c, 1)
+}
diff --git a/functional-tests/valid-test-cases/reexport-diamond/main.simf b/functional-tests/valid-test-cases/reexport-diamond/main.simf
@@ -0,0 +1,9 @@
+use lib::route_a::Coin;
+use lib::route_a::mint;
+use lib::route_b::burn;
+
+fn main() {
+    let my_coin: Coin = mint(10);
+    let (_, remaining): (bool, Coin) = burn(my_coin);
+    assert!(jet::eq_64(remaining, 9));
+}
diff --git a/src/ast.rs b/src/ast.rs
@@ -1573,6 +1573,9 @@ fn analyze_named_module(
     from: &parse::ModuleProgram,
 ) -> Result<HashMap<WitnessName, Value>, RichError> {
     let unit = ResolvedType::unit();
+
+    // IMPORTANT! If modules allow imports, then we need to consider
+    // passing the resolution conetxt by calling `Scope::new(resolutions)`
     let mut scope = Scope::default();
     let items = from
         .items()
diff --git a/src/lib.rs b/src/lib.rs
@@ -610,7 +610,7 @@ pub(crate) mod tests {
 
     /// THE DEFAULT HELPER
     /// Automatically sets up the standard `lib` self-referencing dependency.
-    fn run_dependency_test(root_path: &str, lib_alias: &str) {
+    pub(crate) fn run_dependency_test(root_path: &str, lib_alias: &str) {
         let root_path = PathBuf::from(root_path);
         let lib_path = root_path.join(lib_alias);
         let main_path = root_path.join("main.simf");
@@ -630,7 +630,7 @@ pub(crate) mod tests {
     /// A helper function to run standard library dependency tests.
     /// `deps` expects an array of tuples: `(context_folder, alias, target_folder)`.
     /// Use `"."` for the `context_folder` if the context is the root test directory.
-    fn run_multi_lib_test(root_path: &str, deps: &[(&str, &str, &str)]) {
+    pub(crate) fn run_multi_lib_test(root_path: &str, deps: &[(&str, &str, &str)]) {
         let root_path = PathBuf::from(root_path);
         let main_path = root_path.join("main.simf");
 
@@ -1101,3 +1101,131 @@ fn main() {
         }
     }
 }
+
+#[cfg(test)]
+mod functional_tests {
+    use crate::tests::{run_dependency_test, run_multi_lib_test};
+
+    const VALID_TESTS_DIR: &str = "./functional-tests/valid-test-cases";
+    const ERROR_TESTS_DIR: &str = "./functional-tests/error-test-cases";
+
+    // Real test cases
+    #[test]
+    fn module_simple() {
+        run_dependency_test(format!("{}/module-simple", VALID_TESTS_DIR).as_str(), "lib");
+    }
+
+    #[test]
+    fn diamond_dependency_resolution() {
+        run_dependency_test(
+            format!("{}/diamond-dependency-resolution", VALID_TESTS_DIR).as_str(),
+            "lib",
+        );
+    }
+
+    #[test]
+    fn deep_reexport_chain() {
+        run_dependency_test(
+            format!("{}/deep-reexport-chain", VALID_TESTS_DIR).as_str(),
+            "lib",
+        );
+    }
+
+    #[test]
+    fn leaky_signature() {
+        run_dependency_test(
+            format!("{}/leaky-signature", VALID_TESTS_DIR).as_str(),
+            "lib",
+        );
+    }
+
+    #[test]
+    fn reexport_diamond() {
+        run_dependency_test(
+            format!("{}/reexport-diamond", VALID_TESTS_DIR).as_str(),
+            "lib",
+        );
+    }
+
+    #[test]
+    fn multi_lib_facade_resolution() {
+        run_multi_lib_test(
+            format!("{}/multi-lib-facade", VALID_TESTS_DIR).as_str(),
+            &[
+                (".", "api", "api"),
+                ("crypto", "math", "math"),
+                ("api", "crypto", "crypto"),
+                ("api", "math", "math"),
+            ],
+        );
+    }
+
+    #[test]
+    fn interleaved_waterfall() {
+        run_multi_lib_test(
+            format!("{}/interleaved-waterfall", VALID_TESTS_DIR).as_str(),
+            &[
+                (".", "orch", "orch"),
+                ("orch", "db", "db"),
+                ("orch", "auth", "auth"),
+                ("orch", "types", "types"),
+                ("db", "types", "types"),
+                ("auth", "types", "types"),
+                ("auth", "db", "db"),
+            ],
+        );
+    }
+
+    // Error tests
+    #[test]
+    #[should_panic(expected = "Circular dependency detected:")]
+    fn cyclic_dependency_error() {
+        run_dependency_test(
+            format!("{}/cyclic-dependency", ERROR_TESTS_DIR).as_str(),
+            "lib",
+        );
+    }
+
+    #[test]
+    #[should_panic(expected = "No such file or directory")]
+    fn file_not_found_error() {
+        run_dependency_test(
+            format!("{}/file-not-found", ERROR_TESTS_DIR).as_str(),
+            "lib",
+        );
+    }
+
+    #[test]
+    #[should_panic(expected = "No such file or directory")]
+    fn lib_not_found_error() {
+        run_dependency_test(format!("{}/lib-not-found", ERROR_TESTS_DIR).as_str(), "lib");
+    }
+
+    #[test]
+    #[should_panic(expected = "Item `SecretType` is private")]
+    fn private_type_visibility_error() {
+        run_dependency_test(
+            format!("{}/private-visibility", ERROR_TESTS_DIR).as_str(),
+            "lib",
+        );
+    }
+
+    #[test]
+    #[should_panic(expected = "The alias `add` was defined multiple times")]
+    fn name_collision_error() {
+        run_dependency_test(
+            format!("{}/name-collision", ERROR_TESTS_DIR).as_str(),
+            "lib",
+        );
+    }
+
+    // Reference to the following bug: https://github.com/BlockstreamResearch/SimplicityHL/issues/220
+    #[test]
+    #[should_panic(expected = "Type alias `A` was defined multiple times")]
+    fn type_alias_duplication_error() {
+        run_dependency_test(
+            format!("{}/type-alias-duplication", ERROR_TESTS_DIR).as_str(),
+            "lib",
+        );
+    }
+}

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+pub use lib::module_b::TypeB;`
	`2`	`+pub type TypeA = u32;`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+pub use lib::module_a::TypeA;`
	`2`	`+pub type TypeB = u32;`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+use lib::module_a::TypeA;`
	`2`	`+`
	`3`	`+fn main() {}`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+pub fn add(a: u32, b: u32) -> (bool, u32) {`
	`2`	`+ jet::add_32(a, b)`
	`3`	`+}`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+use lib::hidden::SecretType;`
	`2`	`+`
	`3`	`+fn main() {}`