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