[mercury-users] importing submodules

[Ralph Becket]

Michael Day, Monday,  2 December 2002:
> 
> > One advantage is that you don't need to put type class constraints all
> > over your code.
> 
> Perhaps it would be handy to have a mechanism similar to the recent 
> subtype proposals that combine a type and an inst, to be able to declare 
> constrained types to save (hah) typing.
> 
> :- type foo == T <= foo(T).
> 
> Probably wouldn't work though...

Well, you'd want the parameter to appear on the LHS.

It would be helpful to allow <= constraints on both the LHS and RHS.

This is an important case that we should cover.

We need a spare summer student.

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