Notes: noreturn syntaxHEADmain

1 files changed, 40 insertions, 0 deletions

diff --git a/notes/noreturn.txt b/notes/noreturn.txt
new file mode 100644
index 0000000..9d906b5
--- /dev/null
+++ b/notes/noreturn.txt
@@ -0,0 +1,40 @@
+noreturn functions
+==================
+
+Syntax 1:
++ short
+
+    func f
+        Int x
+    noreturn
+    code
+        ...
+    end
+
+
+Syntax 2, special "NoReturn" type:
+* Inspired by Python's type hints, but this would be a real type
+* the "NoReturn" type can't be used elsewhere.
+- one extra line
+
+    func f
+        Int x
+    return
+        NoReturn
+    code
+        ...
+    end
+
+
+Syntax 3, special "Never" type:
+* Inspired by Python's type hints, but this would be a real type
+- one extra line
+- the "Never" type can't be used elsewhere, so it could be confusing.
+
+    func f
+        Int x
+    return
+        Never
+    code
+        ...
+    end