diff --git a/src/Semantic/Task.hs b/src/Semantic/Task.hs index e832bad7f..4f4bc21fa 100644 --- a/src/Semantic/Task.hs +++ b/src/Semantic/Task.hs @@ -85,7 +85,7 @@ formatMessage colourize (Message time level message) = showTime time . showChar showLevel Warning = Assignment.withSGRCode colourize [SetColor Foreground Vivid Yellow, SetConsoleIntensity BoldIntensity] (showString "warning") showLevel Info = Assignment.withSGRCode colourize [SetConsoleIntensity BoldIntensity] (showString "info") showLevel Debug = Assignment.withSGRCode colourize [SetColor Foreground Vivid Cyan, SetConsoleIntensity BoldIntensity] (showString "debug") - showTime = showString . Time.formatTime Time.defaultTimeLocale (Time.iso8601DateFormat (Just "%Q")) + showTime = showString . Time.formatTime Time.defaultTimeLocale (Time.iso8601DateFormat (Just "%H:%M:%S%Q")) -- | A function to compute the 'Diff' for a pair of 'Term's with arbitrary syntax functor & annotation types.