on master help sign in
Fix for stylish
5813103Edwin Brady
src/Idris/Core/TT.hs+1−1
@@ -581,7 +581,7 @@ tcname _ = False
581
581
582implicitable (NS n _) = False
582implicitable (NS n _) = False
583implicitable (UN xs) | T.null xs = False
583implicitable (UN xs) | T.null xs = False
584− | otherwise = isLower (T.head xs) ||
584+ | otherwise = isLower (T.head xs) ||
585 T.head xs == '_'
585 T.head xs == '_'
586implicitable (MN _ x) = not (tnull x) && thead x /= '_'
586implicitable (MN _ x) = not (tnull x) && thead x /= '_'
587implicitable _ = False
587implicitable _ = False