Check-in [e6d31c3d8a]

Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:TIP 516: xref to implementation and some notes based on that experience
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256:e6d31c3d8a938b78c9b8b93bfb181e4c9d655a72596fe080c323b92d8af8dc57
User & Date: dkf 2018-09-08 12:53:27
Context
2018-09-11
08:16
Simplify the resolution protocol check-in: a35300bfa3 user: dkf tags: trunk
2018-09-08
12:53
TIP 516: xref to implementation and some notes based on that experience check-in: e6d31c3d8a user: dkf tags: trunk
2018-09-07
13:41
Created TIP 516: More OO Slot Operations check-in: 0299230758 user: dkf tags: trunk
Changes
Hide Diffs Unified Diffs Ignore Whitespace Patch

Changes to tip/516.md.

42
43
44
45
46
47
48











49
50
51

52
53
54
55
  * _slot_ `-remove` ?_item_ ...?

    This removes the _item_ (or items) from the list of items in the slot. If
    an _item_ is not present in the slot, this does nothing; it is not an
    error to remove a non-present item. If there are no such items in the
    arguments, this does nothing; it is not an error to remove no items.












# Implementation

To be done...


# Copyright

This document has been placed in the public domain.







>
>
>
>
>
>
>
>
>
>
>


<
>




42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61

62
63
64
65
66
  * _slot_ `-remove` ?_item_ ...?

    This removes the _item_ (or items) from the list of items in the slot. If
    an _item_ is not present in the slot, this does nothing; it is not an
    error to remove a non-present item. If there are no such items in the
    arguments, this does nothing; it is not an error to remove no items.

To support this, an extra internal operation is added:

  * _slot_ `Resolve` _list_

    This returns the items of _list_ with a resolution operation applied to
    them. The meaning of this operation will depend on the kind of values held
    in a particular slot, but for a slot of classes then the relevant type of
    resolution would be command resolution. (The main slot method
    implementation classes will ensure that this method is always called in a
    context where the resolution context is that of the caller.)

# Implementation


See the `tip-516` branch.

# Copyright

This document has been placed in the public domain.