Sounds like a recipe for creating documentation that gets out of sync quickly/has bugs of its own, if you ask me...
For instance, in the example, it seems weird multiplicity: (1 '*') when the method returns an empty collection if contact is nil (multiplicity 0)

Cheers,
Henry
On 23 Feb 2016, at 11:01 , Peter Uhn��k <i.uhnak@gmail.com> wrote:

> Because we may have code not present and still want to load the code.

I think it's just visual, because it's still referenced as string in the pragma itself.
For example

Person>>contact
<DCType: Contact multiplicity: #(1 '*')>
^ contact ifNil: [ contact := OrderedCollection new ]

But,
(Person>>#contact) pragmas first arguments first class == ByteSymbol

Does it fail to load otherwise?

Peter

On Tue, Feb 23, 2016 at 10:43 AM, Alexandre Bergel <alexandre.bergel@me.com> wrote:
Just emerging from holidays. Is there an effort to have type annotations? How these annotations are then used?

Alexandre


> On Feb 23, 2016, at 5:47 AM, stepharo <stepharo@free.fr> wrote:
>
> Hi
>
> I saw that something <return: #Point> or <return: Point>
> I do not know why but I have the impression that <return: #Point> is better.
> Because we may have code not present and still want to load the code.
>
> Stef
>

--
_,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
Alexandre Bergel  http://www.bergel.eu
^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.