[m-dev.] for review: type specialization (relative) [2]

[Fergus Henderson]

On 20-Apr-1999, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> diff --recursive -u ./compiler/prog_io_pragma.m /home/pgrad/stayl/mercury0/compiler/prog_io_pragma.m
> --- ./compiler/prog_io_pragma.m	Tue Apr 20 12:01:18 1999
> +++ /home/pgrad/stayl/mercury0/compiler/prog_io_pragma.m	Thu Apr 15 11:20:16 1999
> @@ -644,25 +614,26 @@
>      ->
>  	Result = Result0
>      ;
> -	Result = error("syntax error in `pragma termination_info'", ErrorTerm)
> +	Result = error("syntax error in `:- pragma termination_info'",
> +		ErrorTerm)
>      ).

That should be "syntax error in `:- pragma termination_info' declaration"
                                                             ^^^^^^^^^^^

> --- ./doc/reference_manual.texi	Tue Apr 20 12:01:18 1999
> +++ /home/pgrad/stayl/mercury0/doc/reference_manual.texi	Tue Mar 30 11:31:11 1999
...
> +Predicates or functions which make use of type class method calls
> +may also be candidates for specialization. Again, this is most effective
> +when the called type class methods are small enough to be inlined.

I suggest s/small enough/simple enough/

> + at node Implementation specific details
> + at subsection Implementation specific details
> +
> +The University of Melbourne Mercury compiler performs user-requested type
> +specializations when invoked with @samp{--user-guided-type-specialization},
> +which is enabled at optimization level @samp{-O2} or higher.

Hmm, the log message said `-O3' or higher.  Which is it?

I think it would be OK to enable this at `-O2' (the default).

-- 
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.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------