From 07b7c3b31babc0763199fe39db875298d2cc12a6 Mon Sep 17 00:00:00 2001
From: mlugg <mlugg@mlugg.co.uk>
Date: Sat, 15 Apr 2023 01:19:37 +0100
Subject: [PATCH] doc: clarifications to comptime section in langref after
 #14819

---
 doc/langref.html.in | 22 ++++++++--------------
 1 file changed, 8 insertions(+), 14 deletions(-)

diff --git a/doc/langref.html.in b/doc/langref.html.in
index 38e1d674fa..50807377cd 100644
--- a/doc/langref.html.in
+++ b/doc/langref.html.in
@@ -7048,8 +7048,10 @@ test "foo" {
           <li>All variables are {#syntax#}comptime{#endsyntax#} variables.</li>
           <li>All {#syntax#}if{#endsyntax#}, {#syntax#}while{#endsyntax#}, {#syntax#}for{#endsyntax#}, and {#syntax#}switch{#endsyntax#}
           expressions are evaluated at compile-time, or emit a compile error if this is not possible.</li>
-        <li>All function calls cause the compiler to interpret the function at compile-time, emitting a
-          compile error if the function tries to do something that has global run-time side effects.</li>
+          <li>All {#syntax#}return{#endsyntax#} and {#syntax#}try{#endsyntax#} expressions are invalid (unless the function itself is called at compile-time).</li>
+          <li>All code with runtime side effects or depending on runtime values emits a compile error.</li>
+          <li>All function calls cause the compiler to interpret the function at compile-time, emitting a
+          compile error if the function tries to do something that has global runtime side effects.</li>
       </ul>
       <p>
       This means that a programmer can create a function which is called both at compile-time and run-time, with
@@ -7071,9 +7073,7 @@ test "fibonacci" {
     try expect(fibonacci(7) == 13);
 
     // test fibonacci at compile-time
-    comptime {
-        try expect(fibonacci(7) == 13);
-    }
+    try comptime expect(fibonacci(7) == 13);
 }
       {#code_end#}
       <p>
@@ -7088,9 +7088,7 @@ fn fibonacci(index: u32) u32 {
 }
 
 test "fibonacci" {
-    comptime {
-        try expect(fibonacci(7) == 13);
-    }
+    try comptime expect(fibonacci(7) == 13);
 }
       {#code_end#}
       <p>
@@ -7111,9 +7109,7 @@ fn fibonacci(index: i32) i32 {
 }
 
 test "fibonacci" {
-    comptime {
-        try assert(fibonacci(7) == 13);
-    }
+    try comptime assert(fibonacci(7) == 13);
 }
       {#code_end#}
       <p>
@@ -7143,9 +7139,7 @@ fn fibonacci(index: i32) i32 {
 }
 
 test "fibonacci" {
-    comptime {
-        try assert(fibonacci(7) == 99999);
-    }
+    try comptime assert(fibonacci(7) == 99999);
 }
       {#code_end#}