Fix for stylish
(I keep forgetting this, sorry.)
commit5813103308ec49f36fee506bf8204d8d4e40f3d0
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateFri 26 Jan 2018, 10:02 (9 years ago)
parent01b9388
src/Idris/Core/TT.hs+1−1
@@ -581,7 +581,7 @@ tcname _ = False
581581
582582implicitable (NS n _) = False
583583implicitable (UN xs) | T.null xs = False
584− | otherwise = isLower (T.head xs) ||
584+ | otherwise = isLower (T.head xs) ||
585585 T.head xs == '_'
586586implicitable (MN _ x) = not (tnull x) && thead x /= '_'
587587implicitable _ = False