git.iko.soy/Idris-dev
on master help sign in
Fix class->interface in HTML docs
374b18eEdwin Brady
CHANGELOG+1−1
compare with master
unifiedsplit
@@ -1,5 +1,5 @@
1New in 0.10:
1New in 0.10:
2−==============
2+============
3
3
4* 'class' and 'instance' are now deprecated keywords. They have been
4* 'class' and 'instance' are now deprecated keywords. They have been
5 replaced by 'interface' and 'implementation' respectively. This is to
5 replaced by 'interface' and 'implementation' respectively. This is to
src/Idris/IdrisDoc.hs+1−1
@@ -581,7 +581,7 @@ createOtherDoc ist (FunDoc fd) = createFunDoc ist fd
581
581
582createOtherDoc ist (ClassDoc n docstring fds _ _ _ _ c) = do
582createOtherDoc ist (ClassDoc n docstring fds _ _ _ _ c) = do
583 H.dt ! (A.id $ toValue $ show n) $ do
583 H.dt ! (A.id $ toValue $ show n) $ do
584− H.span ! class_ "word" $ do "class"; nbsp
584+ H.span ! class_ "word" $ do "interface"; nbsp
585 H.span ! class_ "name type"
585 H.span ! class_ "name type"
586 ! title (toValue $ show n)
586 ! title (toValue $ show n)
587 $ toHtml $ name $ nsroot n
587 $ toHtml $ name $ nsroot n