Fix example

circuithub · Oct 10, 2017 · ca72d82 · ca72d82
1 parent 458f67a
commit ca72d82
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/doc/Example.hs b/doc/Example.hs
@@ -67,8 +67,9 @@ heavyParts = proc _ -> do
 existsExample :: Query (Part Expr)
 existsExample = proc _ -> do
   part <- queryTable -< ()
-  (| exists (do otherPart <- queryTable -< ()
-                where_ -< partWeight otherPart >. partWeight part) |)
+  (| restrictExists
+       (do otherPart <- queryTable -< ()
+           where_ -< partWeight otherPart >. partWeight part) |)
   returnA -< part
 
 data Supplier f = Supplier