@@ -22,6 +22,7 @@ import Paths_idris
2222import qualified Cheapskate.Types as CT
2323
2424import Data.Binary
25+import Data.Functor
2526import Data.Vector.Binary
2627import Data.List as L
2728import Data.Maybe (catMaybes)
@@ -168,9 +169,7 @@ entries i = catMaybes [Just $ toEntry "ver" 0 (encode $ ver i),
168169 makeEntry "ibc_patdefs" (ibc_patdefs i),
169170 makeEntry "ibc_postulates" (ibc_postulates i),
170171 makeEntry "ibc_externs" (ibc_externs i),
171− case ibc_parsedSpan i of
172− Nothing -> Nothing
173− Just s -> Just $ toEntry "ibc_parsedSpan" 0 (encode s),
172+ toEntry "ibc_parsedSpan" 0 . encode <$> ibc_parsedSpan i,
174173 makeEntry "ibc_usage" (ibc_usage i),
175174 makeEntry "ibc_exports" (ibc_exports i),
176175 makeEntry "ibc_autohints" (ibc_autohints i)]