ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-21 22:17:19 +03:00
Code Issues Projects Releases Wiki Activity

Fix doc build

Browse Source
This commit is contained in:
Edwin Brady 2014-12-13 18:26:28 +00:00
parent 51febe053e
commit ec7a6a72c1
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Idris/IBC.hs
View File

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