This method for entering a string involves no escape characters, so it can be used for easily inserting large chunks of text into a string without treating the characters
\ and
" specially. A series of more than 3 slashes can be represented before the end of the string by doubling all but the last two, and a series of 1 or more slashes can be represented at the end of the string by doubling each of them; this allows an arbitrary string to be represented.
i1 : /// \ " ///
o1 = \ "
|
i2 : ascii oo
o2 = {32, 92, 32, 34, 32}
o2 : List
|
i3 : ///-- //// -- /////////
o3 = -- /// -- ///
|
i4 : ///-- ////// -- ///////////
o4 = -- //// -- ////
|
i5 : //////////////
o5 = ////
|