diff --git a/tests/issues/issue838.icry b/tests/issues/issue838.icry new file mode 100644 index 000000000..319dafde3 --- /dev/null +++ b/tests/issues/issue838.icry @@ -0,0 +1,7 @@ +// comment +/* comment */ +/* multi- \ + * line \ + * block \ + * comment \ + */ diff --git a/tests/issues/issue838.icry.stdout b/tests/issues/issue838.icry.stdout new file mode 100644 index 000000000..e773bc782 --- /dev/null +++ b/tests/issues/issue838.icry.stdout @@ -0,0 +1 @@ +Loading module Cryptol