diff --git a/spec.bs b/spec.bs index 3ceeb48..6e184bf 100644 --- a/spec.bs +++ b/spec.bs @@ -450,45 +450,47 @@ An internal observer is a [=struct=] with the following [=struct/item 1. Process |observer| as follows:
    -
    -
    If |observer| is an {{ObserverCallback}}
    -
    Set |internal observer|'s [=internal observer/next steps=] to these steps that take an {{any}} |value|: - 1. [=Invoke=] |observer| with |value|. +
  1. +
    +
    If |observer| is an {{ObserverCallback}}
    +
    Set |internal observer|'s [=internal observer/next steps=] to these steps that take an {{any}} |value|: + 1. [=Invoke=] |observer| with |value|. - If an exception |E| was thrown, then - [=report the exception=] |E|. -
    + If an exception |E| was thrown, then + [=report the exception=] |E|. +
    2. -
    If |observer| is an {{Observer}}
    -
    - 1. If |observer|'s {{Observer/next}} is not null, set |internal observer|'s [=internal - observer/next steps=] to these steps that take an {{any}} |value|: +
    If |observer| is an {{Observer}}
    +
    + 1. If |observer|'s {{Observer/next}} is not null, set |internal observer|'s [=internal + observer/next steps=] to these steps that take an {{any}} |value|: - 1. [=Invoke=] |observer|'s {{Observer/next}} with |value|. + 1. [=Invoke=] |observer|'s {{Observer/next}} with |value|. - If an exception |E| was thrown, then - [=report the exception=] |E|. + If an exception |E| was thrown, then + [=report the exception=] |E|. - 1. If |observer|'s {{Observer/error}} is not null, set |internal observer|'s [=internal - observer/error steps=] to these steps that take an {{any}} |error|: + 1. If |observer|'s {{Observer/error}} is not null, set |internal observer|'s [=internal + observer/error steps=] to these steps that take an {{any}} |error|: - 1. [=Invoke=] |observer|'s {{Observer/error}} with |error|. + 1. [=Invoke=] |observer|'s {{Observer/error}} with |error|. - If an exception |E| was thrown, then - [=report the exception=] |E|. + If an exception |E| was thrown, then + [=report the exception=] |E|. - 1. If |observer|'s {{Observer/complete}} is not null, set |internal observer|'s [=internal - observer/complete steps=] to these steps: + 1. If |observer|'s {{Observer/complete}} is not null, set |internal observer|'s [=internal + observer/complete steps=] to these steps: - 1. [=Invoke=] |observer|'s {{Observer/complete}}. + 1. [=Invoke=] |observer|'s {{Observer/complete}}. - If an exception |E| was thrown, then - [=report the exception=] |E|. -
    + If an exception |E| was thrown, then + [=report the exception=] |E|. + -
    If |observer| is an [=internal observer=]
    -
    Set |internal observer| to |observer|.
    -
    +
    If |observer| is an [=internal observer=]
    +
    Set |internal observer| to |observer|.
    + +
1. [=Assert=]: |internal observer|'s [=internal observer/error steps=] is either the [=default