[m-rev.] for review: make parsing tail recursive

Zoltan Somogyi zs at csse.unimelb.edu.au
Fri May 9 18:34:25 AEST 2008

On 07-May-2008, Paul Bone <pbone at csse.unimelb.edu.au> wrote:
> I thought that before the multi-cons-id switch arms it was still possible 
> to write:
> 	(
> 		( Var = fn1
>           	; Var = fn2 ),
> 		goal
> 	;
> 	...
> and goal would be duplicated by the complier, but the human didn't need to 
> duplicate goal, and the compiler would correctly understand the determinism 
> of the entire switch.

Yes, there was such a time, but before that, there was a time at which
the compiler would give you a determinism error for code like that.
The parser was written then.

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

More information about the reviews mailing list