[mercury-users] literature polymorphic recursive calls

[Ralph Becket]

Tom Schrijvers, Wednesday, 22 June 2005:
> 
>  I guess Mercury takes a third
> approach: it does multiple iterations to handle some non-problematic
> recursive definitions. What happens if the limit is reached? I should try
> it :)

Well, even HM checkers can take an exponential amount of time in the
worst case!  In practice this problem just doesn't arise (at least, not
in my experience).
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------