[mercury-users] Strange behavior for io__format

[Ralph Becket]

Pieter Laeremans, Tuesday,  3 December 2002:
> 
> Shouldn't the compiler warn for this kind of error ?

Well, we could check cases like this where both format string and
string_poly list are statically decidable, but it's currently too
small an issue for us to have time to worry about.  Doing so would
also effectively make string__format a builtin, which is not
particularly desirable.

- Ralph

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------