derive Data and Typeable for ImplicitInfo
commit2fd3ebca0f68f5d2af4f9d1ea8b7595f078b37c6
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateTue 13 Jan 2015, 17:16 (12 years ago)
parent02d26ec
src/Idris/Core/TT.hs+1−1
@@ -676,7 +676,7 @@ deriving instance NFData Raw
676676!-}
677677
678678data ImplicitInfo = Impl { tcinstance :: Bool }
679− deriving (Show, Eq, Ord)
679+ deriving (Show, Eq, Ord, Data, Typeable)
680680
681681{-!
682682deriving instance Binary ImplicitInfo