From 6b4bbd08826c7d8e0d17f0e3edb95b4f6c55c677 Mon Sep 17 00:00:00 2001
From: James Clark <jjc@jclark.com>
Date: Mon, 21 Sep 2020 13:54:53 +0700
Subject: [PATCH] Isolated for untyped anonymous functions

Part of #145.
---
 lang/spec.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lang/spec.html b/lang/spec.html
index 9e299bc4..3fdd9e92 100644
--- a/lang/spec.html
+++ b/lang/spec.html
@@ -5041,7 +5041,8 @@ <h3>Anonymous function expression</h3>
 </pre>
 <p>
 An infer-anonymous-function-expr can only be used in a context where a function
-type is expected. The types of the parameters are inferred from the expected
+type is expected. Both the types of the parameters and whether the function is
+isolated are inferred from the expected
 function type. The scope of the parameters is <code>expr-function-body</code>.
 The static type of the infer-anonymous-function-expr will be a function type
 whose return type is the static type of the <code>expression</code> in