on master help sign in
Fix compatibility with cheapskate-0.1.1

Remove duplicated instances with new cheapskate

commit41de3e76238f37f31763d25c0a6bb030c618ce1e authorFelix Yan <felixonmars@archlinux.org> dateThu 3 Aug 2017, 21:17 (9 years ago) parent8537689
2 files changed+1−15
idris.cabal+1−1 src/Idris/DeepSeq.hs−14
idris.cabal+1−1
@@ -269,7 +269,7 @@ Library
269269 , blaze-html >= 0.6.1.3 && < 0.10
270270 , blaze-markup >= 0.5.2.1 && < 0.9
271271 , bytestring < 0.11
272− , cheapskate < 0.1.1
272+ , cheapskate >= 0.1.1 && < 0.2
273273 , code-page >= 0.1 && < 0.2
274274 , containers >= 0.5 && < 0.6
275275 , deepseq < 1.5
src/Idris/DeepSeq.hs−14
@@ -29,20 +29,6 @@ import Control.DeepSeq
2929import Network.Socket (PortNumber)
3030
3131-- These types don't have Generic instances
32−instance NFData CT.Options where
33− rnf (CT.Options x1 x2 x3 x4) = rnf x1 `seq` rnf x2 `seq` rnf x3 `seq` rnf x4 `seq` ()
34−
35−instance NFData CT.ListType where
36− rnf (CT.Bullet c) = rnf c `seq` ()
37− rnf (CT.Numbered nw i) = rnf nw `seq` rnf i `seq` ()
38−
39−instance NFData CT.CodeAttr where
40− rnf (CT.CodeAttr a b) = rnf a `seq` rnf b `seq` ()
41−
42−instance NFData CT.NumWrapper where
43− rnf CT.PeriodFollowing = ()
44− rnf CT.ParenFollowing = ()
45−
4632instance NFData DynamicLib where
4733 rnf (Lib x _) = rnf x `seq` ()
4834