e97f02a · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Fix instance->implementation in display

commite97f02a5a589cb681d4d0eeb0c1814412e11fd25 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateWed 13 Jan 2016, 23:51 (11 years ago) parente81d6ac

1 file changed+1−1

unifiedsplit

src/Idris/Core/TT.hs+1−1

@@ -533,7 +533,7 @@ instance Show Name where

533533instance Show SpecialName where

534534 show (WhereN i p c) = show p ++ ", " ++ show c

535535 show (WithN i n) = "with block in " ++ show n

536− show (InstanceN cl inst) = showSep ", " (map T.unpack inst) ++ " instance of " ++ show cl

536+ show (InstanceN cl inst) = showSep ", " (map T.unpack inst) ++ " implementation of " ++ show cl

537537 show (MethodN m) = "method " ++ show m

538538 show (ParentN p c) = show p ++ "#" ++ T.unpack c

539539 show (CaseN fc n) = "case block in " ++ show n ++