Add tests to ensure declare returns nil. Fixes #477

Convex-Dev · Dec 15, 2023 · d6e0218 · d6e0218
1 parent f574b0b
commit d6e0218
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/convex-core/src/test/java/convex/core/lang/CoreTest.java b/convex-core/src/test/java/convex/core/lang/CoreTest.java
@@ -3805,6 +3805,10 @@ public void testDeclare() {
 		// Declare requires symbols only at compile time
 		assertNotError(step("(declare count)"));
 
+		// Declare returns null in all cases, see #477
+		assertNull(eval("(declare a)"));
+		assertNull(eval("(declare a b)"));
+
 		assertCastError(step("(declare ~'count)")); // TODO: sanity check??
 		assertCastError(step("(declare 1)"));
 		assertCastError(step("(declare foo 1)"));