From e27de3d0c2aa62f3d0e4fd944e00f687c2854d53 Mon Sep 17 00:00:00 2001
From: Filip Gralinski <filipg@amu.edu.pl>
Date: Tue, 31 Aug 2021 21:25:19 +0200
Subject: [PATCH] Use nice metric names when sending announcements

---
 Handler/ShowChallenge.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Handler/ShowChallenge.hs b/Handler/ShowChallenge.hs
index 376ec0c..1a1497d 100644
--- a/Handler/ShowChallenge.hs
+++ b/Handler/ShowChallenge.hs
@@ -969,7 +969,7 @@ doCreateSubmission' _ userId challengeId challengeSubmissionData chan = do
                                                ++ " challenge by "
                                                ++ (fromMaybe "???" $ userName user)
                                                ++ ", "
-                                               ++ (T.pack $ show $ testMetric mainTest)
+                                               ++ (T.pack $ evaluationSchemeName $ testMetric mainTest)
                                                ++ ": "
                                                ++ (T.pack $ formatTheResult formattingOpts (SimpleRun s))
                                                ++ " ("
@@ -1091,6 +1091,7 @@ checkRepoAvailibility challengeId repoId chan = do
 challengeSubmissionWidget :: (ToMarkup a1, ToWidget App a2) => a2 -> a1 -> Challenge -> WidgetFor App ()
 challengeSubmissionWidget formWidget formEnctype challenge = $(widgetFile "challenge-submission")
 
+externalRepoInfo :: AppSettings -> WidgetFor site ()
 externalRepoInfo settings = $(widgetFile "external-repo")
 
 data ChallengeSubmissionData = ChallengeSubmissionData {