on master help sign in
Fixed log display error.
commit3c9527dcbe464d23bcc9ee5cee3b2929eaaee7b7 authorJan de Muijnck-Hughes <jfdm@st-andrews.ac.uk> dateWed 26 Aug 2015, 10:42 (11 years ago) parent2df4ef6
1 file changed+1−1
libs/effects/Effect/Logging.idr+1−1
libs/effects/Effect/Logging.idr+1−1
@@ -145,7 +145,7 @@ instance Handler Logging IO where
145145 let res = and $ map (\x => elem x cs') (cats st)
146146 let prompt = if isNil (cats st)
147147 then unwords [show l, ":"]
148− else unwords [show l, ":", show (cats st)]
148+ else unwords [show l, ":", show (cats st), ":"]
149149 if res || isNil (cats st)
150150 then do
151151 putStrLn $ unwords [prompt, msg]