CLAS

[Thorsten Zoerner]

>I asked
>	>Neither do I, as the "ugh" indicates.  Unifies is certainly dead
>wrong,
>	>because it does not have any connection with "making unique".  To all
>	>Clean list readers:  what _is_ a good word for making something unique
>	>so that the * annotation can correctly be used with it?
>
>W. Clodius suggests
>
>	distinguishes, isolates, differentiates, segregates, discriminates
>
>Trouble is, not one of them, not one single one, has an appropriate
>meaning.  We want a short clear agreed way to say "make a unique copy of
>(something)".  This applies to Mercury too, which shares Clean's idea of
>building uniqueness into the type system.

Okay, 'make a unique copy of something' is what I want to say - so I'll say it.

Thanks for the suggestions, thorsten.


o-------------------------------------------------------------------o
  T h o r s t e n   		Z o e r n e r
  Computing Science Institute   Catholic University of Nijmegen
  email : zoerner@cs.kun.nl 	The Netherlands
o-------------------------------------------------------------------o