GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-01 08:32:23 +03:00
Code Issues Projects Releases Wiki Activity

No plans to allow indented code fence blocks

Browse Source 
Support for the indented blocks isn't consistent, so it seems easier to just
avoid trying to support this feature.
This commit is contained in:
Trevor Elliott 2014-05-06 10:59:29 -07:00
parent 87042d4604
commit f1f1991ce0
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/Cryptol/Parser/Unlit.hs
View File

@ -97,7 +97,6 @@ markdown = blanks []
| otherwise = fenced (l : current) ls | otherwise = fenced (l : current) ls
-- XXX: the fences may be indented.
isOpenFence l = "```cryptol" `Text.isPrefixOf` l isOpenFence l = "```cryptol" `Text.isPrefixOf` l
isCloseFence l = "```" `Text.isPrefixOf` l isCloseFence l = "```" `Text.isPrefixOf` l
isBlank l = Text.all isSpace l isBlank l = Text.all isSpace l