From 2a1253cb52aa69eaf1b2e8fd458c97dfb7e7e51d Mon Sep 17 00:00:00 2001
From: KtorZ <5680256+KtorZ@users.noreply.github.com>
Date: Sat, 8 Feb 2025 16:23:34 +0100
Subject: [PATCH] Add additional test to check for Sampler alias formatting.

Signed-off-by: KtorZ <5680256+KtorZ@users.noreply.github.com>
---
 crates/aiken-lang/src/tipo/pretty.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/crates/aiken-lang/src/tipo/pretty.rs b/crates/aiken-lang/src/tipo/pretty.rs
index 1aa81ea5..017ecea2 100644
--- a/crates/aiken-lang/src/tipo/pretty.rs
+++ b/crates/aiken-lang/src/tipo/pretty.rs
@@ -685,6 +685,7 @@ mod tests {
             }),
             "Identity<fn(Bool) -> Bool>",
         );
+        assert_string!(Type::sampler(Type::int()), "Sampler<Int>");
     }
 
     #[test]