tweag/nickel
1
1
Fork 0
mirror of https://github.com/tweag/nickel.git synced 2024-10-06 16:18:08 +03:00
Code Issues Projects Releases Wiki Activity

Update stdlib/contract.ncl

Browse Source 
Co-authored-by: Yann Hamdaoui <yann.hamdaoui@gmail.com>
This commit is contained in:
Mahmoud Mazouz 2022-07-25 17:46:41 +02:00 committed by Yann Hamdaoui
parent 446ddebd41
commit dcc422572f
No known key found for this signature in database
GPG Key ID: 96305DE11214ABE6
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
stdlib/contract.ncl
View File

@ -10,10 +10,10 @@
"$fail" = fun l t => %blame% l,
"$array" = fun elt l t =>
if %typeof% t == `Array then
%array_lazy_assume% (%go_array% l) t elt
else
%blame% l,
if %typeof% t == `Array then
%array_lazy_assume% (%go_array% l) t elt
else
%blame% l,
"$func" = fun s t l e =>
if %typeof% e == `Fun then