[m-rev.] for review: deep profiling.

[Simon Taylor]

You haven't included the Mmakefile for the deep directory.

> Index: server.m
> ===================================================================
> +%
> +% Authors: conway, zs.
> +%
> +% This module contains the main server loop of the Mercury deep profiler:
> +% each iteration of the server loop servers up one web page.

s/servers/serves/g

> Index: startup.m
> ===================================================================
> +% This module contains the code for turning the raw list of nodes read in by
> +% deep.io.m into the data structure that deep.server.m needs to service
> +% requests for web pages. The algorithm it implements is documented in the
> +% deep profiling paper.
> +:- module startup.

The module names in the comment are incorrect.

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