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/contracts.md

Browse Source 
Co-authored-by: Arnaud Spiwack <arnaud.spiwack@tweag.io>
This commit is contained in:
Yann Hamdaoui 2022-02-18 16:23:39 +01:00 committed by GitHub
parent efd5e414d5
commit d79573d950
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/contracts.md
View File

@ -67,7 +67,7 @@ A custom contract is a function of two arguments:
- A `label`. Provided by the interpreter, the label contains tracking information
for error reporting. Its main usage is to be passed to `contracts.blame` or
`contracts.blame_with` when the contract isn't satisfied.
- The tested value.
- The value being checked.
Upon success, the contract must return the original value. It may seem strange
and kinda pointless for now, but we will see the motivation behind this design