Fix built with workaround
This commit is contained in:
parent
1dd2b92374
commit
cbd2a23a2c
@ -101,7 +101,7 @@ getUsersR = do
|
||||
| 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)
|
||||
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)
|
||||
|
||||
@ -41,7 +41,7 @@ argsDescr =
|
||||
, Option ['f'] ["fill"] (NoArg DBFill) "Fill database with example data"
|
||||
]
|
||||
|
||||
|
||||
|
||||
main :: IO ()
|
||||
main = do
|
||||
args <- map unpack <$> getArgs
|
||||
@ -141,7 +141,7 @@ fillDb = do
|
||||
maxMuster <- insert User
|
||||
{ userIdent = "max@campus.lmu.de"
|
||||
, userAuthentication = AuthLDAP
|
||||
, userMatrikelnummer = Nothing
|
||||
, userMatrikelnummer = Just "1299"
|
||||
, userEmail = "max@campus.lmu.de"
|
||||
, userDisplayName = "Max Musterstudent"
|
||||
, userSurname = "Musterstudent"
|
||||
@ -325,7 +325,7 @@ fillDb = do
|
||||
, sheetMarkingText = Nothing
|
||||
, sheetVisibleFrom = Just now
|
||||
, sheetActiveFrom = now
|
||||
, sheetActiveTo = (14 * nominalDay) `addUTCTime` now
|
||||
, sheetActiveTo = (14 * nominalDay) `addUTCTime` now
|
||||
, sheetSubmissionMode = CorrectorSubmissions
|
||||
, sheetUploadMode = Upload True
|
||||
, sheetHintFrom = Nothing
|
||||
|
||||
Loading…
Reference in New Issue
Block a user