Strip control codes and extended characters from a string: Difference between revisions
Content added Content deleted
Drkameleon (talk | contribs) (Undo revision 324775 by Drkameleon (talk)) |
(add Standard ML) |
||
Line 2,047: | Line 2,047: | ||
"abcdfoo" |
"abcdfoo" |
||
</pre> |
</pre> |
||
=={{header|Standard ML}}== |
|||
<lang sml>(* string -> string *) |
|||
val stripCntrl = concat o String.tokens Char.isCntrl |
|||
(* string -> string *) |
|||
val stripCntrlAndExt = concat o String.tokens (not o Char.isPrint)</lang> |
|||
=={{header|Tcl}}== |
=={{header|Tcl}}== |