on master help sign in
Fixed log display error.
3c9527dJan de Muijnck-Hughes
libs/effects/Effect/Logging.idr+1−1
@@ -145,7 +145,7 @@ instance Handler Logging IO where
145 let res = and $ map (\x => elem x cs') (cats st)
145 let res = and $ map (\x => elem x cs') (cats st)
146 let prompt = if isNil (cats st)
146 let prompt = if isNil (cats st)
147 then unwords [show l, ":"]
147 then unwords [show l, ":"]
148− else unwords [show l, ":", show (cats st)]
148+ else unwords [show l, ":", show (cats st), ":"]
149 if res || isNil (cats st)
149 if res || isNil (cats st)
150 then do
150 then do
151 putStrLn $ unwords [prompt, msg]
151 putStrLn $ unwords [prompt, msg]