From b8a040bcf7bd337b7758b82060c402e1b8f7d47a Mon Sep 17 00:00:00 2001
From: Joris Dral <joris@well-typed.com>
Date: Wed, 11 Dec 2024 10:52:18 +0100
Subject: [PATCH] Fill in the proper expected exception in unions unit tests

---
 test/Test/Database/LSMTree/UnitTests.hs | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

diff --git a/test/Test/Database/LSMTree/UnitTests.hs b/test/Test/Database/LSMTree/UnitTests.hs
index ee3ff6aea..f4c121361 100644
--- a/test/Test/Database/LSMTree/UnitTests.hs
+++ b/test/Test/Database/LSMTree/UnitTests.hs
@@ -36,9 +36,7 @@ tests =
 
         -- Properties
 
-      , testProperty "prop_unions_0" $
-          -- TODO: enable once unions are implemented
-          QC.expectFailure prop_unions_0
+      , testProperty "prop_unions_0" $ prop_unions_0
       , testProperty "prop_unions_1" $
           -- TODO: enable once unions are implemented
           QC.expectFailure prop_unions_1
@@ -161,12 +159,8 @@ unit_snapshots =
 prop_unions_0 :: Property
 prop_unions_0 =
     QC.once $ QC.ioProperty $
-    assertException err $
+    assertException ErrUnionsZeroTables $
       void $ unions @_ @Key1 @Value1 @Blob1 V.empty
-  where
-    -- TODO: fill in once unions has an implementation
-    err :: LSMTreeError
-    err = error "unit_unions_0: unions has no implementation yet"
 
 -- | Unions of 1 table are equivalent to duplicate
 prop_unions_1 :: Property