[m-dev.] for review: Aditi updates[1]

Fergus Henderson fjh at cs.mu.OZ.AU
Thu Jun 17 04:05:55 AEST 1999


On 05-Jun-1999, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> 
> Index: compiler/base_type_layout.m
> @@ -1131,8 +1131,10 @@
>  			% argument for their real arity, and then type
>  			% arguments according to their types. 
>  			% polymorphism.m has a detailed explanation.
> -
> -			type_is_higher_order(Type, _PredFunc, _TypeArgs)
> +			% XXX should the pred_or_func or eval_method fields
> +			% change the type name?
> +			type_is_higher_order(Type, _PredFunc,
> +				_EvalMethod, _TypeArgs)

The answer to the question in your XXX comment is "no".
Your question is in fact answered by the comment immediately above it,
but unfortunately the answer is not sufficiently clear, and the
comments in polymorphism.m don't address higher-order functions.

Really the comments in polymorphism.m ought to be updated.

[... to be continued ...]

> Index: compiler/code_aux.m
-- 
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
--------------------------------------------------------------------------



More information about the developers mailing list