[m-dev.] for review: another existential types & .int files bug fix

[David Glen JEFFERY]

On 03-Sep-1998, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> DJ, can you please review this one?
> 
> compiler/mercury_to_mercury.m:
> 	Fix yet another bug with incorrect parenthesization of
> 	pred declarations involving existential types:
> 	parentheses are needed if there are any existentially
> 	typed variables _or_ if there are any existential constraints.
> 	(The previous code used the first condition for the `('
> 	and the second condition for the `)', resulting in unmatched
> 	parentheses in the cases where these two conditions did
> 	not agree.)

That looks fine, thanks. Can you add a test case, please?


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) |  Marge: Did you just call everyone "chicken"?
PhD student,                    |  Homer: Noooo.  I swear on this Bible!
Department of Computer Science  |  Marge: That's not a Bible; that's a book of
University of Melbourne         |         carpet samples!
Australia                       |  Homer: Ooooh... Fuzzy.