Corrector removed

models

@@ -80,18 +80,6 @@ Lecturer
     user         UserId
     course       CourseId
     UniqueLecturer user course
-Corrector                  -- deprecated
-    user         UserId
-    course       CourseId
-    load         Load 
-    -- SELECT submissionID FROM Tutorial, TutorialUser, Submission, Sheet
-    -- WHERE ( tutorialTutor = correctorUserId
-    --      && tutorialCourse = correctorCourseId
-    --      && tutorialUserTutorial = tutorialId 
-    --      && submissionUser = tutorialUserUser
-    --      && sheetId = SubmissionSheet
-    --      && sheetCourse = correctorCourseId
-    --      )
 CourseParticipant
     course          CourseId
     user            UserId

src/Foundation.hs

@@ -753,6 +753,12 @@ pageActions (HomeR) =
       , menuItemRoute = AdminTestR
       , menuItemAccessCallback' = return True
       }
+  , NavbarAside $ MenuItem
+      { menuItemLabel = "Impressum"
+      , menuItemIcon  = Just "book"
+      , menuItemRoute = VersionR
+      , menuItemAccessCallback' = return True
+      }
   ]
 
 pageActions _ = []

src/Handler/Profile.hs

@@ -84,9 +84,11 @@ getProfileR = do
                 return (course ^. CourseShorthand, course ^. CourseTerm)
             )
             <*>
-            (E.select $ E.from $ \(corrector `E.InnerJoin` course) -> do
-                E.where_ $ corrector ^. CorrectorUser E.==. E.val uid
-                E.on $ corrector ^. CorrectorCourse E.==. course ^. CourseId
+            (E.select $ E.from $ \(sheet `E.InnerJoin` corrector `E.InnerJoin` course) -> do
+                E.on $ sheet ^. SheetCourse E.==. course    ^. CourseId
+                E.on $ sheet ^. SheetId     E.==. corrector ^. SheetCorrectorSheet
+                E.where_ $ corrector ^. SheetCorrectorUser E.==. E.val uid
+
                 return (course ^. CourseShorthand, course ^. CourseTerm)
             )
             <*>