From: Brian H. <bri...@ql...> - 2003-02-28 22:36:08
|
On Fri, 28 Feb 2003, Nicolas Cannasse wrote: (attribution lost) > > (* like perl's chomp function, remove trailing newline characters *) > > - val String.chomp : string -> string > > Uhm, why not, but this need some discuss on implementation since newline is > "\r\n" under windows and "\n" under *nix.... I'd recognize either: let chomp s = let leAn = String.length s in if ((len > 0) && (s.[len - 1] == '\n')) then if ((len > 1) && (s.[len - 2] == '\r')) then String.sub s 0 (len - 2) else String.sub s 0 (len - 1) else s ;; Just IMHO. Brian |