git.iko.soy/Idris-dev
on master help sign in
derive Data and Typeable for ImplicitInfo
2fd3ebcEdwin Brady
src/Idris/Core/TT.hs+1−1
compare with master
unifiedsplit
@@ -676,7 +676,7 @@ deriving instance NFData Raw
676!-}
676!-}
677
677
678data ImplicitInfo = Impl { tcinstance :: Bool }
678data ImplicitInfo = Impl { tcinstance :: Bool }
679− deriving (Show, Eq, Ord)
679+ deriving (Show, Eq, Ord, Data, Typeable)
680
680
681{-!
681{-!
682deriving instance Binary ImplicitInfo
682deriving instance Binary ImplicitInfo