@@ -832,8 +832,9 @@ definitionList = fmap B.definitionList . fmap compactify'DL . sequence
832 <$> many1 (definitionListItem bulletListStart)
832 <$> many1 (definitionListItem bulletListStart)
834bulletList :: OrgParser (F Blocks)
834bulletList :: OrgParser (F Blocks)
835+bulletList = try $ do n <- lookAhead bulletListStart
835−bulletList = fmap B.bulletList . fmap compactify' . sequence
836+ fmap B.bulletList . fmap compactify' . sequence
836− <$> many1 (listItem bulletListStart)
837+ <$> many1 (listItem (bulletListCont n))
838orderedList :: OrgParser (F Blocks)
839orderedList :: OrgParser (F Blocks)
839orderedList = fmap B.orderedList . fmap compactify' . sequence
840orderedList = fmap B.orderedList . fmap compactify' . sequence
@@ -850,6 +851,13 @@ bulletListStart :: OrgParser Int
850bulletListStart = genericListStart bulletListMarker
851bulletListStart = genericListStart bulletListMarker
851 where bulletListMarker = pure <$> oneOf "*-+"
852 where bulletListMarker = pure <$> oneOf "*-+"
854+-- parses bullet list marker at a known indent level
855+bulletListCont :: Int -> OrgParser Int
857+ -- Unindented lists are legal, but they can't use '*' bullets
858+ | n <= 1 = oneOf "+-" >> return n
859+ | otherwise = count (n-1) spaceChar >> oneOf "+-*" >> return n
853orderedListStart :: OrgParser Int
861orderedListStart :: OrgParser Int
854orderedListStart = genericListStart orderedListMarker
862orderedListStart = genericListStart orderedListMarker
855 -- Ordered list markers allowed in org-mode
863 -- Ordered list markers allowed in org-mode