[m-rev.] Allow initialisation of solver type args in constructions

[Ralph Becket]

Ralph Becket, Friday, 11 March 2005:
> Estimated hours taken: 12
> Branches: main, release
> 
> Allow the initialisation of solver type variables in constructions.
> 
> compiler/modecheck_unify.m:
> 	Disallow partial constructions (i.e. where one or more arguments
> 	has inst free).  Instead, if we are currently inserting variable
> 	initialisation calls and all arguments of a construction are
> 	solver types, then insert initialisation calls for them.
> 
> tests/hard_coded/Mmakefile:
> tests/hard_coded/solver_construction_init_test.m:
> tests/hard_coded/solver_construction_init_test.exp:
> 	Added a test case.

Addendum: I've had to remove the modes of list.same_length using
output_list_skel (lists of free), which don't compile under this change
and are, anyway, unusable in practice.

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