From 78b0789cbc1830f7b7464238289e368f0de4d01c Mon Sep 17 00:00:00 2001
From: microproofs <kwhitemsg@gmail.com>
Date: Wed, 22 Nov 2023 18:02:21 -0500
Subject: [PATCH] chore: unit test for pub in validator module warnings closes
 #681

---
 crates/aiken-lang/src/tests/check.rs | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/crates/aiken-lang/src/tests/check.rs b/crates/aiken-lang/src/tests/check.rs
index 047aa419..e6815aa7 100644
--- a/crates/aiken-lang/src/tests/check.rs
+++ b/crates/aiken-lang/src/tests/check.rs
@@ -66,6 +66,25 @@ fn validator_illegal_return_type() {
     ))
 }
 
+#[test]
+fn validator_useless_pub() {
+    let source_code = r#"
+      type Datum {
+        thing: Int
+      }
+
+      validator {
+        pub fn foo(_d: Datum, _r, _c) {
+          True
+        }
+      }
+    "#;
+
+    let (warnings, _) = check_validator(parse(source_code)).unwrap();
+
+    assert!(matches!(warnings[0], Warning::PubInValidatorModule { .. }))
+}
+
 #[test]
 fn validator_illegal_arity() {
     let source_code = r#"