Skip to content

Commit

Permalink
Revert "Inferring transactional for anonymous function w/o explicit t…
Browse files Browse the repository at this point in the history
…ype"

This reverts commit 691d509.
  • Loading branch information
jclark committed Dec 17, 2020
1 parent 3a61817 commit bf2c6a7
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions lang/spec.html
Original file line number Diff line number Diff line change
Expand Up @@ -5524,9 +5524,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. Both the types of the parameters and the presence of
<code>isolated</code> and <code>transactional</code> qualifiers 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
Expand Down

1 comment on commit bf2c6a7

@jclark
Copy link
Collaborator Author

@jclark jclark commented on bf2c6a7 Dec 17, 2020

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Part of #267.

Please sign in to comment.