for review: deforestation [5/4]

[Fergus Henderson]

On 20-Feb-1998, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> +++ compiler_design.html	1998/02/19 22:12:20
> @@ -414,6 +414,25 @@
>  <li> pushing constraints as far left as possible (constraint.m);
>    this does not yet work.
>  
> +<li> deforestation and partial evaluation (deforest.m). This optimizes
> +  multiple traversals of data structures within a conjunction, and
> +  avoids creating intermediate data structures. It also performs
> +  loop unrolling where the clause used is known at compile time.

I suggest you add

	deforest.m makes use of the following sub-modules
	(`pd_' stands for "partial deduction"):

here.

> +  <ul>
> +  <li>
> +  pd_cost.m contains some predicates to estimate the improvement
> +  caused by deforest.m.
> +  <li>
> +  pd_debug.m produces debugging output.
> +  <li>
> +  pd_info.m contains a state type for deforestation.
> +  <li>
> +  pd_term.m contains predicates to check that the deforestation algorithm
> +  terminates.
> +  <li>
> +  pd_util.m contains various utility predicates.
> +  </ul>
> +
>  <li> issue warnings about unused arguments from predicates, and create
>    specialized versions without them (unused_args.m); type_infos are
>    often unused
> 

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.