Fix class->interface in HTML docs
commit374b18ef6fa61107d8252a6a09fb8237ecdba9d6
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateWed 20 Jan 2016, 23:21 (11 years ago)
parent6d9ef7b
CHANGELOG+1−1
@@ -1,5 +1,5 @@
11New in 0.10:
2−==============
2+============
33
44* 'class' and 'instance' are now deprecated keywords. They have been
55 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
581581
582582createOtherDoc ist (ClassDoc n docstring fds _ _ _ _ c) = do
583583 H.dt ! (A.id $ toValue $ show n) $ do
584− H.span ! class_ "word" $ do "class"; nbsp
584+ H.span ! class_ "word" $ do "interface"; nbsp
585585 H.span ! class_ "name type"
586586 ! title (toValue $ show n)
587587 $ toHtml $ name $ nsroot n