search

GaloisInc / cryptol

Cryptol: The Language of Cryptography
https://galoisinc.github.io/cryptol/master/RefMan.html
BSD 3-Clause "New" or "Revised" License
1.14k stars 123 forks source link

Allow doctests to span multiple lines with a trailing \ like the REPL already supports #1757

Closed glguy closed 5 days ago

glguy commented 5 days ago

Additionally this allows empty doctest lines to be skipped without error

glguy commented 5 days ago

Docstrings were meant to work like the REPL - this was an omission in the initial implementation