fraport/fradrive-old
Archived
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Apply 1 suggestion(s) to 1 file(s)

Browse Source
This commit is contained in:
Sarah Vaupel 2020-08-10 11:53:19 +02:00
parent 18bd29b746
commit 139d848292
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Utils/Course.hs
View File

@ -105,7 +105,7 @@ isCourseApplicant muid AuthTagActive{..} cid maid = E.exists . E.from $ \courseA
E.just (courseApplication E.^. CourseApplicationUser) E.==. E.val muid E.just (courseApplication E.^. CourseApplicationUser) E.==. E.val muid
E.&&. courseApplication E.^. CourseApplicationCourse E.==. cid E.&&. courseApplication E.^. CourseApplicationCourse E.==. cid
E.&&. E.val (authTagIsActive AuthApplicant) E.&&. E.val (authTagIsActive AuthApplicant)
E.&&. maybe (E.val True) E.&&. maybe E.true
(\aid -> E.just aid E.==. courseApplication E.^. CourseApplicationAllocation) (\aid -> E.just aid E.==. courseApplication E.^. CourseApplicationAllocation)
maid maid