From cdf801e2673840937af84dc0ebdb57f18507fdc8 Mon Sep 17 00:00:00 2001 From: Gaith Hallak Date: Thu, 12 Jan 2023 12:04:13 +0300 Subject: [PATCH] Update docs/sophia_features.md MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Radosław Rowicki <35342116+radrow@users.noreply.github.com> --- docs/sophia_features.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/sophia_features.md b/docs/sophia_features.md index 3e4ebe1..7fa0450 100644 --- a/docs/sophia_features.md +++ b/docs/sophia_features.md @@ -571,7 +571,7 @@ contract C = List.sum(List.map(???, [1,2,3])) ``` -The hole expression found on the last line of the above example will generate the error `` Found a hole of type `(int) => int` ``. Meaning that a function from `int` to `int` should be used instead of the `???` placeholder. +A hole expression found in the example above will generate the error `` Found a hole of type `(int) => int` ``. This says that the compiler expects a function from `int` to `int` in place of the `???` placeholder. ## Arithmetic