From 1dd2b92374b75ebcb72c7ffb295a61f5fed50355 Mon Sep 17 00:00:00 2001 From: SJost Date: Mon, 18 Feb 2019 22:38:52 +0100 Subject: [PATCH] attempt to fix build --- src/Handler/Users.hs | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/src/Handler/Users.hs b/src/Handler/Users.hs index f981d6a39..e5ff76fea 100644 --- a/src/Handler/Users.hs +++ b/src/Handler/Users.hs @@ -97,9 +97,11 @@ getUsersR = do if Set.null criterion then E.val True else -- TODO: why is this condition not needed? Set.foldr (\needle acc -> acc E.||. (user E.^. UserDisplayName) `eLike` needle) eFalse (criterion :: Set.Set Text) ) - , ( "matriculation", FilterColumn $ \user criterion -> if - | Set.null criterion -> E.val True :: E.SqlExpr (E.Value Bool) - | otherwise -> user E.^. UserMatrikelnummer `E.in_` E.valList (Set.toList criterion) + , ( "matriculation", FilterColumn $ \user (criterion :: Set.Set Text) -> if + | Set.null criterion -> eTrue -- TODO: why can this be eFalse and work still? + | otherwise -> + -- (user E.^. UserMatrikelnummer) `E.in_` (E.valList $ Set.toList criterion) + (user E.^. UserMatrikelnummer) `E.in_` (E.justList $ E.valList $ Set.toList criterion) ) , ( "school", FilterColumn $ \user criterion -> if | Set.null criterion -> E.val True :: E.SqlExpr (E.Value Bool)