can't handle multiple raw code block
Seasawher opened this issue · comments
the following test code fails: (this is minimal test to reproduce this bug...)
#eval runTest
(title := "multiple raw code blocks")
[
"/-",
"```lean",
"/-- greeting -/",
"def foo := \"Hello World!\"",
"```",
"",
"```lean",
"/-! ### second code block -/",
"",
"def one := 1",
"```",
"-/",
]
[
"```lean",
"/-- greeting -/",
"def foo := \"Hello World!\"",
"```",
"",
"```lean",
"/-! ### second code block -/",
"",
"def one := 1",
"```",
]