tweag/nickel
1
1
Fork 0
mirror of https://github.com/tweag/nickel.git synced 2024-10-05 07:37:09 +03:00
Code Issues Projects Releases Wiki Activity

Update doc/manual/typing.md

Browse Source 
Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>
This commit is contained in:
Yann Hamdaoui 2021-12-08 17:06:23 +01:00 committed by GitHub
parent 2beb885a40
commit 8fbc6b2ad5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc/manual/typing.md
View File

@ -127,7 +127,7 @@ error: Incompatible types
= These types are not compatible
```
That's already better! The error now points at the call site, and inside our
This is already better! The error now points at the call site, and inside our
anonymous functions, telling us it is expected to return a boolean. What's more,
we just had to give the top-level annotation `List Num`. Nickel performs type
inference, so that you don't have to write the type for `filter`, the filtering