[m-rev.] For review: ensure proper initialisation of pretty_printer

Peter Wang novalazy at gmail.com
Tue Apr 27 10:56:46 AEST 2010

On 27 April 2010 10:39, Ralph Becket <rafe at csse.unimelb.edu.au> wrote:
> Hmm, the formatter_map type is
>        map(string, map(int, func(univ, list(type_desc)) = doc))
> which, according to the reference manual corresponds to the Java type
>        Tree234<string, Tree234<int, ???>>

It should be:

    tree234.Tree234_2<java.lang.Integer, /* closure */ java.lang.Object[]>>

> Alas the reference manual doesn't appear to specify how higher order
> types are described in Java (at least, I can't find any mention of it).

Yes, perhaps we should describe it.


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