15.4.1683  src/lib/x-kit/xclient/src/wire/xerror-well.pkg

## xerror-well.pkg
#
# Requests from app/widget code to the sequencer.
#
# For the big picture see the imp dataflow diagrams in
#
#     src/lib/x-kit/xclient/src/window/xclient-ximps.pkg
#

# Compiled by:
#     src/lib/x-kit/xclient/xclient-internals.sublib



stipulate
    include package   threadkit;                                                                # threadkit                                     is from   src/lib/src/lib/thread-kit/src/core-thread-kit/threadkit.pkg
    #
#   package xet =  xevent_types;                                                                # xevent_types                                  is from   src/lib/x-kit/xclient/src/wire/xevent-types.pkg
    package v1u =  vector_of_one_byte_unts;                                                     # vector_of_one_byte_unts                       is from   src/lib/std/src/vector-of-one-byte-unts.pkg
    package g2d =  geometry2d;                                                                  # geometry2d                                    is from   src/lib/std/2d/geometry2d.pkg
herein


    # This well is implemented in:
    #
    #     src/lib/x-kit/xclient/src/wire/xsequencer-ximp.pkg
    #
    package xerror_well {
        #
        Xerror    = { seqn: Unt,  msg: v1u::Vector };                                           # Sequence number, message-bytes.

        Xerror_Well
          =
          {
            take_xerror :                               Void -> Xerror,
            take_xerror':                               Mailop( Xerror )
          };
    };                                                                                          # package xerror_well
end;