41de3e7 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Fix compatibility with cheapskate-0.1.1

41de3e7Felix Yan9 years ago

idris.cabal+1−1

@@ -269,7 +269,7 @@ Library

269 , blaze-html >= 0.6.1.3 && < 0.10

270 , blaze-markup >= 0.5.2.1 && < 0.9

271 , bytestring < 0.11

272− , cheapskate < 0.1.1

272+ , cheapskate >= 0.1.1 && < 0.2

273 , code-page >= 0.1 && < 0.2

274 , containers >= 0.5 && < 0.6

275 , deepseq < 1.5

src/Idris/DeepSeq.hs−14

@@ -29,20 +29,6 @@ import Control.DeepSeq

29import Network.Socket (PortNumber)

31-- 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−

46instance NFData DynamicLib where

32instance NFData DynamicLib where

47 rnf (Lib x _) = rnf x `seq` ()

33 rnf (Lib x _) = rnf x `seq` ()