From 69f680e10a336c4f33414cfd55c13d41b68d735b Mon Sep 17 00:00:00 2001 From: Tim Engler Date: Sun, 6 Nov 2022 09:34:13 +0800 Subject: [PATCH] Update introapp.rst Further explain why the App passed to ``run`` can't throw an exception. --- docs/source/app/introapp.rst | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/docs/source/app/introapp.rst b/docs/source/app/introapp.rst index 9997eca18..40956cb99 100644 --- a/docs/source/app/introapp.rst +++ b/docs/source/app/introapp.rst @@ -103,5 +103,6 @@ Generalising the ``Path`` parameter with ``l`` means that we can invoke ``run`` for any application, whether the ``Path`` is ``NoThrow`` or ``MayThrow``. But, in practice, all applications given to ``run`` will not throw at the top level, because the only -exception type available is the type ``AppHasIO``. Any exceptions -will have been introduced and handled inside the ``App``. +exception type available is the type ``AppHasIO``, which is an empty data +type (it has no values). Any exceptions will have been introduced and handled +inside the ``App``.