@@ -255,8 +255,8 @@ ibc i (IBCPostulate n) f = return f { ibc_postulates = n : ibc_postulates f }
255255ibc i (IBCTotCheckErr fc err) f = return f { ibc_totcheckfail = (fc, err) : ibc_totcheckfail f }
256256ibc i (IBCParsedRegion fc) f = return f { ibc_parsedSpan = Just fc }
257257
258−process :: Bool -> -- ^ Reexporting
259− IBCFile -> FilePath -> Idris ()
258+process :: Bool -- ^ Reexporting
259+ -> IBCFile -> FilePath -> Idris ()
260260process reexp i fn
261261 | ver i /= ibcVersion = do iLOG "ibc out of date"
262262 ifail "Incorrect ibc version --- please rebuild"
@@ -472,8 +472,8 @@ pDefs reexp syms ds
472472pDocs :: [(Name, (Docstring D.DocTerm, [(Name, Docstring D.DocTerm)]))] -> Idris ()
473473pDocs ds = mapM_ (\ (n, a) -> addDocStr n (fst a) (snd a)) ds
474474
475−pAccess :: Bool -> -- ^ Reexporting?
476− [(Name, Accessibility)] -> Idris ()
475+pAccess :: Bool -- ^ Reexporting?
476+ -> [(Name, Accessibility)] -> Idris ()
477477pAccess reexp ds
478478 = mapM_ (\ (n, a_in) ->
479479 do let a = if reexp then a_in else Hidden