[m-dev.] :- type (type).

[Mark Brown]

On 28-Jun-2005, Mark Brown <mark at cs.mu.OZ.AU> wrote:
> Another alternative, suggested by Zoltan, would be to merge the above two
> functors into one:
> 
> 	;	higher_order(list(type), maybe(type))
> 			% A type for higher order values.  If the second
> 			% argument is yes(T) then the values are functions
> 			% returning T, otherwise they are predicates.  The
> 			% kind is always `star'.

I've just realised that we also need to encode the purity and
lambda_eval_method for pred and func types.  So that should be:

 	;	higher_order(list(type), maybe(type), purity,
				lambda_eval_method)
 			% A type for higher order values.  If the second
 			% argument is yes(T) then the values are functions
 			% returning T, otherwise they are predicates.  The
 			% kind is always `star'.

Can anyone see anything else I've missed before I go ahead with this change?

Cheers,
Mark.

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------