@@ -900,7 +900,7 @@ showImp impl tm = se 10 tm where
900 se p (PPi (Exp l s _) n ty sc)
900 se p (PPi (Exp l s _) n ty sc)
901 | n `elem` allNamesIn sc || impl
901 | n `elem` allNamesIn sc || impl
902 = bracket p 2 $
902 = bracket p 2 $
903− if l then "|(" else "(" ++
903+ (if l then "|(" else "(") ++
904 show n ++ " : " ++ se 10 ty ++
904 show n ++ " : " ++ se 10 ty ++
905 ") " ++ st ++
905 ") " ++ st ++
906 "-> " ++ se 10 sc
906 "-> " ++ se 10 sc
@@ -909,7 +909,7 @@ showImp impl tm = se 10 tm where
909 Static -> "[static] "
909 Static -> "[static] "
911 se p (PPi (Imp l s _) n ty sc)
911 se p (PPi (Imp l s _) n ty sc)
912− | impl = bracket p 2 $ if l then "|{" else "{" ++
912+ | impl = bracket p 2 $ (if l then "|{" else "{") ++
913 show n ++ " : " ++ se 10 ty ++
913 show n ++ " : " ++ se 10 ty ++
914 "} " ++ st ++ "-> " ++ se 10 sc
914 "} " ++ st ++ "-> " ++ se 10 sc
915 | otherwise = se 10 sc
915 | otherwise = se 10 sc