[m-dev.] feature request -- empty/1 pred in string library

[Simon Taylor]

On 26-Mar-2003, Douglas Auclair <dauclair at msn.com> wrote:
> I was doing some programming with strings and was surprised to find that 
> the string library does not have an empty/1 semideterministic predicate.  
> This would be especially useful in higher-order programming:
> 
> Content = filter(isnt(empty), ListOfStrings).

Content = filter(isnt(builtin__unify("")), ListOfStrings).

Simon.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------