[m-rev.] diff: (2nd try) string splitting routines

[Julien Fischer]

On Fri, 2 Feb 2007, Ondrej Bojar wrote:

> (Extra comment for Ralph: split_at_string is useful for splitting at e.g. 
> "<tab>".)
>
> Estimated hours taken: 3
>
> A few handy functions for splitting a string added.
>
> library/string.m:
>    Added remove_suffix_if_present, split_at_separator, split_at_char,
>    split_at_string
>
> tests/hard_coded/string_split.m:
>    A simple test of split_at_* functions.
>
> tests/hard_coded/string_split.exp:
>    Expected results of the tests of split_at_* functions.
>
> tests/hard_coded/string_various.m:
>    Created. Added testcase for remove_suffix_if_present.
>
> tests/hard_coded/string_various.exp:
>    Created. Added results for remove_suffix_if_present.
>
>

The NEWS file also needs an entry for the newly added procedures.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------