on master help sign in
Fix Unlit to cope with documentation comment syntax
commit7fe382d86ff93aae18d34bdef65945dcf3703fa8 authorEdwin Brady <ecb10@st-andrews.ac.uk> dateThu 29 Nov 2012, 00:45 (14 years ago) parent32c8104
1 file changed+2−1
src/Idris/Unlit.hs+2−1
src/Idris/Unlit.hs+2−1
@@ -13,7 +13,8 @@ data LineType = Prog | Blank | Comm
1313ulLine ('>':' ':xs) = (Prog, xs)
1414ulLine ('>':xs) = (Prog, xs)
1515ulLine xs | all isSpace xs = (Blank, "")
16− | otherwise = (Comm, '-':'-':xs)
16+-- make sure it's not a doc comment
17+ | otherwise = (Comm, '-':'-':' ':'>':xs)
1718
1819check f l (a:b:cs) = do chkAdj f l (fst a) (fst b)
1920 check f (l+1) (b:cs)