From cd2f5f9edec97c729c464a3d3bf774c721a2071c Mon Sep 17 00:00:00 2001 From: Keith Cirkel Date: Thu, 18 Jul 2024 21:28:41 +0100 Subject: [PATCH] report exceptions from teardown calls --- spec.bs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/spec.bs b/spec.bs index dd610b8..8b408cd 100644 --- a/spec.bs +++ b/spec.bs @@ -307,8 +307,8 @@ observable.subscribe({}, {signal: outerController.signal}); 1. [=Invoke=] |teardown|. - If an exception |E| was thrown, call - |subscriber|'s {{Subscriber/error()}} method with |E|. + If an exception |E| was thrown, then [=report + the exception=] |E|.

The {{Observable}} interface