Enable Union operations in StateMachine tests

dcoutts · dcoutts · commit 1aa5566bd251 · 2025-02-24T18:01:58.000Z
This currently fails due to lookups not being supported yet, but at
least it passes simpler cases without lookups.
diff --git a/test/Test/Database/LSMTree/StateMachine.hs b/test/Test/Database/LSMTree/StateMachine.hs
@@ -1582,11 +1582,9 @@ arbitraryActionWithVars _ label ctx (ModelState st _stats) =
         ]
      ++ [ (2,  fmap Some $ Union <$> genTableVar <*> genTableVar)
         | length tableVars <= 5 -- no more than 5 tables at once
-        , False -- TODO: enable once table union is implemented
         ]
      ++ [ (2,  fmap Some $ Unions <$> genUnionsTableVars)
         | length tableVars <= 5 -- no more than 5 tables at once
-        , False -- TODO: enable once table unions is implemented
         ]
 
     genActionsCursor :: [(Int, Gen (Any (LockstepAction (ModelState h))))]

Original file line number	Diff line number	Diff line change
`@@ -1582,11 +1582,9 @@ arbitraryActionWithVars _ label ctx (ModelState st _stats) =`
`1582`	`1582`	`]`
`1583`	`1583`	`++ [ (2, fmap Some $ Union <$> genTableVar <*> genTableVar)`
`1584`	`1584`	`\| length tableVars <= 5 -- no more than 5 tables at once`
`1585`		`- , False -- TODO: enable once table union is implemented`
`1586`	`1585`	`]`
`1587`	`1586`	`++ [ (2, fmap Some $ Unions <$> genUnionsTableVars)`
`1588`	`1587`	`\| length tableVars <= 5 -- no more than 5 tables at once`
`1589`		`- , False -- TODO: enable once table unions is implemented`
`1590`	`1588`	`]`
`1591`	`1589`
`1592`	`1590`	`genActionsCursor :: [(Int, Gen (Any (LockstepAction (ModelState h))))]`