[mercury-users] constructor class syntax

[Michael Day]

Anyone noticed that threads initiated by one person tend to consist solely
of replies by that same person? I'm sure there's a message in there
somewhere. Anyway,

> I can't see any use of expressing constraints on T, at this point. Would

Well actually now I can, not sure why I couldn't before:

:- class ordered_container(C(T)) <= container(C), ordered(T) where
	[
		func lowest_element(C(T)) = T,
		func highest_element(C(T)) = T,
		...
		and so forth
	].


Does that syntax look at all realistic, or possible?

Michael

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------