From 5cf5a064d34d4225e9a1f99c8e193709b3019514 Mon Sep 17 00:00:00 2001
From: Yingbo Ma <mayingbo5@gmail.com>
Date: Wed, 17 Jan 2024 14:09:31 -0500
Subject: [PATCH] Stronger tests

---
 test/macro.jl | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/test/macro.jl b/test/macro.jl
index 75d4b4d9a..5d9f417a0 100644
--- a/test/macro.jl
+++ b/test/macro.jl
@@ -161,7 +161,12 @@ end
 
 @variables t y(t)
 yy = Symbolics.variable(:y, T = Symbolics.FnType{Tuple{Any}, Real})
-yyy = yy(Symbolics.value(t))
+yyy = yy(t)
 @test isequal(yyy, y)
 @test yyy isa Num
 @test y isa Num
+yy = Symbolics.variable(:y, T = Symbolics.FnType{Tuple, Real})
+yyy = yy(t)
+@test !isequal(yyy, y)
+@variables y(..)
+@test isequal(yyy, y(t))