tests/lean/rawStringEOF.lean - third_party/github.com/leanprover/lean4 - Git at Google


            
            /-!

            
            # Testing an unterminated raw string literal

            
            -/


            #check r###"this is a raw string, unterminated"##
	/-!
	# Testing an unterminated raw string literal
	-/

	#check r###"this is a raw string, unterminated"##