string_update.sapl 238 Bytes
Newer Older
Laszlo Domoszlai's avatar
Laszlo Domoszlai committed
1
2
3
main = string.Start
string.Start = <{StdString.:=}> (<{StdString.:=}> string.str (_Tuple2 0 'h')) (_Tuple2 6 'w')
string.str = "Hello World!"
Laszlo Domoszlai's avatar
Laszlo Domoszlai committed
4
<{StdString.:=}> !s_0 !_x_1 = case _x_1 (_Tuple2 i_10 c_11 -> string_update_copy s_0 i_10 c_11)